Skip to Main content Skip to Navigation
Conference papers

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

Abstract : 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.
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download

https://hal.inria.fr/hal-01357001
Contributor : Florent Latombe <>
Submitted on : Sunday, August 28, 2016 - 6:16:11 PM
Last modification on : Wednesday, June 9, 2021 - 10:00:27 AM

File

exe2016.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01357001, version 1

Citation

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⟩

Share

Metrics

Record views

272

Files downloads

61