The GEMOC Initiative On the Globalization of Modeling Languages

Transcription

1 The GEMOC Initiative On the Globalization of Modeling Languages Benoit Combemale (Inria & Univ. Rennes 1)

2 SOFTWARE COLUMN SECTION TECHNOLOGIES TITLE Coordinating domain-specific modeling languages provides support for language heterogeneity in software-intensive systems development and runtime management. n the software and sys- I tems modeling community, domain-specific modeling language (DSML) research is focused on providing technologies for developing languages and tools that allow domain experts to develop system solutions efficiently. Unfortunately, it s very difficult for software and systems engineers to reason about information spread across models describing different system aspects because of the current lack of support for explicitly relating concepts expressed in different DSMLs. Here, we describe a research initiative that broadens the DSML research focus beyond independent DSML development to one that supports globalized DSMLs that is, DSMLs that facilitate coordination of work across Benoit Combemale, Inria and Univerity of Rennes Julien DeAntoni, University of Nice Sophia-Antipolis Benoit Baudry, Inria Robert B. France, Colorado State University Jean-Marc Jézéquel, University of Rennes Jeff Gray, University of Alabama different domains of expertise. of major system artifacts (for example, test cases and implementations) DOMAIN-SPECIFIC from models. MODELING LANGUAGES In MDE, a model describes an Model-driven engineering (MDE) aspect of a system and is typically aims to reduce the accidental complexity associated with developing purposes. Separation of concerns created for specific development complex software-intensive systems. 1 is supported through the use of different modeling languages, each A primary source of this complexity is the wide gap between the providing constructs based on abstractions that are specific to an high-level concepts used by domain experts to express their specific aspect of a system. For example, generalized stochastic Petri nets can be needs and the low-level abstractions provided by general-purpose used to create performance models, programming languages. 2 Manually whereas the notation provided by the bridging this gap, particularly in the Simulink tool is adapted to simulation models. MDE technologies also presence of changing requirements, is costly in terms of both time and provide support for manipulating effort. MDE approaches this problem models, such as for querying, transforming, merging, and analyzing through the use of modeling techniques that support separation of (including executing) models. Modeling languages are thus at MDE s concerns and automated generation core. 68 COMPUTER Published by the IEEE Computer Society /14/$ IEEE Globalization of Modeling Languages DSMLs are developed in an independent manner to meet the specific needs of domain experts, DSMLs should also have an associated framework that regulates interactions needed to support collaboration and work coordination across different system domains. Globalizing Modeling Languages Benoit Combemale, Julien DeAntoni, Benoit Baudry, Robert B. France, Jean-Marc Jezequel, Jeff Gray, "Globalizing Modeling Languages," Computer, vol. 47, no. 6, pp , June,

3 SOFTWARE COLUMN SECTION TECHNOLOGIES TITLE Coordinating domain-specific modeling languages provides support for language heterogeneity in software-intensive systems development and runtime management. n the software and sys- I tems modeling community, domain-specific modeling language (DSML) research is focused on providing technologies for developing languages and tools that allow domain experts to develop system solutions efficiently. Unfortunately, it s very difficult for software and systems engineers to reason about information spread across models describing different system aspects because of the current lack of support for explicitly relating concepts expressed in different DSMLs. Here, we describe a research initiative that broadens the DSML research focus beyond independent DSML development to one that supports globalized DSMLs that is, DSMLs that facilitate coordination of work across Benoit Combemale, Inria and Univerity of Rennes Julien DeAntoni, University of Nice Sophia-Antipolis Benoit Baudry, Inria Robert B. France, Colorado State University Jean-Marc Jézéquel, University of Rennes Jeff Gray, University of Alabama different domains of expertise. of major system artifacts (for example, test cases and implementations) DOMAIN-SPECIFIC from models. MODELING LANGUAGES In MDE, a model describes an Model-driven engineering (MDE) aspect of a system and is typically aims to reduce the accidental complexity associated with developing purposes. Separation of concerns created for specific development complex software-intensive systems. 1 is supported through the use of different modeling languages, each A primary source of this complexity is the wide gap between the providing constructs based on abstractions that are specific to an high-level concepts used by domain experts to express their specific aspect of a system. For example, generalized stochastic Petri nets can be needs and the low-level abstractions provided by general-purpose used to create performance models, programming languages. 2 Manually whereas the notation provided by the bridging this gap, particularly in the Simulink tool is adapted to simulation models. MDE technologies also presence of changing requirements, is costly in terms of both time and provide support for manipulating effort. MDE approaches this problem models, such as for querying, transforming, merging, and analyzing through the use of modeling techniques that support separation of (including executing) models. Modeling languages are thus at MDE s concerns and automated generation core. 68 COMPUTER Published by the IEEE Computer Society /14/$ IEEE Globalization of Modeling Languages Supporting coordinated use of modeling languages leads to what we call the globalization of modeling languages, that is, the use of multiple modeling languages to support coordinated development of diverse aspects of a system. Globalizing Modeling Languages Benoit Combemale, Julien DeAntoni, Benoit Baudry, Robert B. France, Jean-Marc Jezequel, Jeff Gray, "Globalizing Modeling Languages," Computer, vol. 47, no. 6, pp , June,

4 SOFTWARE COLUMN SECTION TECHNOLOGIES TITLE Coordinating domain-specific modeling languages provides support for language heterogeneity in software-intensive systems development and runtime management. n the software and sys- I tems modeling community, domain-specific modeling language (DSML) research is focused on providing technologies for developing languages and tools that allow domain experts to develop system solutions efficiently. Unfortunately, it s very difficult for software and systems engineers to reason about information spread across models describing different system aspects because of the current lack of support for explicitly relating concepts expressed in different DSMLs. Here, we describe a research initiative that broadens the DSML research focus beyond independent DSML development to one that supports globalized DSMLs that is, DSMLs that facilitate coordination of work across Benoit Combemale, Inria and Univerity of Rennes Julien DeAntoni, University of Nice Sophia-Antipolis Benoit Baudry, Inria Robert B. France, Colorado State University Jean-Marc Jézéquel, University of Rennes Jeff Gray, University of Alabama different domains of expertise. of major system artifacts (for example, test cases and implementations) DOMAIN-SPECIFIC from models. MODELING LANGUAGES In MDE, a model describes an Model-driven engineering (MDE) aspect of a system and is typically aims to reduce the accidental complexity associated with developing purposes. Separation of concerns created for specific development complex software-intensive systems. 1 is supported through the use of different modeling languages, each A primary source of this complexity is the wide gap between the providing constructs based on abstractions that are specific to an high-level concepts used by domain experts to express their specific aspect of a system. For example, generalized stochastic Petri nets can be needs and the low-level abstractions provided by general-purpose used to create performance models, programming languages. 2 Manually whereas the notation provided by the bridging this gap, particularly in the Simulink tool is adapted to simulation models. MDE technologies also presence of changing requirements, is costly in terms of both time and provide support for manipulating effort. MDE approaches this problem models, such as for querying, transforming, merging, and analyzing through the use of modeling techniques that support separation of (including executing) models. Modeling languages are thus at MDE s concerns and automated generation core. 68 COMPUTER Published by the IEEE Computer Society /14/$ IEEE Globalization of Modeling Language Context: new emerging DSML in open world impossible a priori unification require a posteriori globalization Objective: socio-technical coordination to support interactions across different system aspects Language-based support for technical integration of multiples domains Language-based support for social translucence Globalizing Modeling Languages Benoit Combemale, Julien DeAntoni, Benoit Baudry, Robert B. France, Jean-Marc Jezequel, Jeff Gray, "Globalizing Modeling Languages," Computer, vol. 47, no. 6, pp , June,

5 The GEMOC Initiative An open and international initiative to coordinate (between members) disseminate (on behalf the members) worldwide R&D efforts on the globalization of modeling languages - 5

6 The GEMOC Studio Language Workbench Design and compose your executable DSMLs Modeling Workbench Edit, simulate and animate your heterogeneous models - 6

7 The GEMOC Community Canada United States - 7

8 GEMOC: The Projects CNRS GDR GPL Specific Action 2011 Survey of the techniques and tools to compose DSMLs and their respectives MoCs Partners: IRISA (Triskell), I3S (Aoste) Cf. ANR INS GEMOC A Language Workbench for Heterogeneous Modeling and Analysis of Complex Software-Intensive Systems Partners: Inria (DiverSE), I3S (Aoste), IRIT, ENSTA-Bretagne, Thales, Obeo Cf. CNRS PICS MBSAR Travel funds for permanent staff and PhD students Partners: IRISA (DiverSE), CSU Cf. ICT COST Action MPM4CPS Promote the sharing of foundations, techniques, and tools and to provide educational resources, to both academia and industry Cf.

9 Concurrent execution of heterogeneous models (ANR Project, #ANR-12-INSE-0011) DSML Specification and Coordination Abstract syntax (domain model) Concrete syntax (static and dynamic) Operational semantics Composition operators Heterogeneous Modeling and Simulation/ Animation Graphical and textual modeling Concurrent execution Trace management Graphical animation Breakthroughs: modular and explicit definition of the behavioral semantics of modeling languages, incl. concurrency [APSEC 12, SLE 12, SLE 13] dedicated meta-languages [DATE 15] explicit behavioral interface of modeling languages [GEMOC 13] integration of modeling languages for heterogeneous model coordination [Computer'14, Dagstuhl #14412] Visit - 9

10 Join us! The GEMOC Initiative Advisory Board: Benoit Combemale, Robert B. France, Jeff Gray and Jean-Marc Jézéquel