Concurrency-aware eXecutable Domain-Specific Modeling Languages as Models of Concurrency

Florent Latombe (1) , Xavier Crégut (1, 2) , Marc Pantel (1, 2)

1 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
2 Toulouse INP - Institut National Polytechnique (Toulouse)

To deal with the increasing complexity of modern highly-concurrent systems, the GEMOC concurrency-aware eXecutable Domain-Specific Modeling Languages (xDSMLs) approach proposes to make explicit, in the operational semantics model, the concurrency concerns using a Model of Concur-rency (MoC). This approach initially provides only one MoC: Event Structures, based on a MoCCML model. But this MoC is not the best fit for all concurrency paradigms used in xDSMLs, resulting in complex models which are difficult to maintain or analyze. Moreover, extending the approach with new MoCs is complex: many elements must be integrated, and fit into the APIs used by the implementation. We propose to seamlessly define and integrate new MoCs through a recursive definition of the concurrency-aware xDSML approach, enabling the use of previously-defined xDSMLs as MoCs. This allows xDSMLs to always rely on an adequate MoC which also comes tooled with the generic execution and debugging facilities provided by the concurrency-aware approach. We illustrate our approach on the definition of fUML in the GEMOC Studio, an Eclipse-based language workbench.

Mots clés: Executable Modeling Language; Model of Computation MoC; Operational semantics

Domaines: Génie logiciel [cs.SE]; Langage de programmation [cs.PL]

Florent Latombe, Xavier Crégut, Marc Pantel. Concurrency-aware eXecutable Domain-Specific Modeling Languages as Models of Concurrency. 2nd International Workshop on Executable Modeling (EXE 2016), Oct 2016, Saint-Malo, France. pp.12-18. ⟨hal-01357001⟩