doi: 10.7873/DATE.2015.1052

Towards a Meta-Language for the Concurrency Concern in DSLs

Julien Deantoni3,e, Issa Papa Diallo1,a, Ciprian Teodorov1,b, Joel Champeau1,c and Benoit Combemale2,d

1Lab-STICC - ENSTA Bretagne, France.

2University of Rennes 1 / INRIA, France.

3University of Nice Sophia Antipolis, France.


Concurrency is of primary interest in the development of complex software-intensive systems, as well as the deployment on modern platforms. Furthermore, Domain-Specific Languages (DSLs) are increasingly used in industrial processes to separate and abstract the various concerns of complex systems. However, reifying the definition of the DSL concurrency remains a challenge. This not only prevents leveraging the concurrency concern of a particular domain or platform, but it also hinders: a) the development of a complete understanding of the DSL semantics; b) the effectiveness of concurrency-aware analysis techniques; c) the analysis of the deployment on parallel architectures. In this paper, we introduce the key ideas leading toward MoCCML, a dedicated meta-language for formally specifying the concurrency concern within the definition of a DSL. The concurrency constraints can reflect the knowledge in a particular domain, but also the constraints of a particular platform. MoCCML comes with a complete language workbench to help a DSL designer in the definition of the concurrency directly within the concepts of the DSL itself, and a generic workbench to simulate and analyze any model conforming to this DSL. MoCCML is illustrated on the definition of an lightweight extension of SDF (Synchronous Data Flow [1]).

Full Text (PDF)