Weaving Concurrency in eXecutable Domain-Specific Modeling Languages

Florent Latombe 1 Xavier Crégut 1 Benoît Combemale 2 Julien Deantoni 3, 4, 5 Marc Pantel 1
2 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
4 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : The emergence of modern concurrent systems (e.g., Cyber-Physical Systems or the Internet of Things) and highly-parallel platforms (e.g., many-core, GPGPU pipelines, and distributed platforms) calls for Domain-Specific Modeling Languages (DSMLs) where concurrency is of paramount importance. Such DSMLs are intended to propose constructs with rich concurrency semantics, which allow system designers to precisely define and analyze system behaviors. However , specifying and implementing the execution semantics of such DSMLs can be a difficult, costly and error-prone task. Most of the time the concurrency model remains implicit and ad-hoc, embedded in the underlying execution environment. The lack of an explicit concurrency model prevents: the precise definition, the variation and the complete understanding of the semantics of the DSML, the effective usage of concurrency-aware analysis techniques, and the exploitation of the concurrency model during the system refinement (e.g., during its allocation on a specific platform). In this paper, we introduce a concurrent executable metamodeling approach, which supports a modular definition of the execution semantics , including the concurrency model, the semantic rules, and a well-defined and expressive communication protocol between them. Our approach comes with a dedicated metalanguage to specify the communication protocol, and with an execution environment to simulate executable models. We illustrate and validate our approach with an implementation of fUML, and discuss the modularity and applicability of our approach.
Type de document :
Communication dans un congrès
8th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2015, Pittsburg, United States. ACM, 2015, 〈http://www.sleconf.org/2015/〉
Liste complète des métadonnées

Littérature citée [34 références]  Voir  Masquer  Télécharger

Contributeur : Benoit Combemale <>
Soumis le : mardi 25 août 2015 - 14:43:29
Dernière modification le : vendredi 16 novembre 2018 - 01:39:30
Document(s) archivé(s) le : jeudi 26 novembre 2015 - 13:51:03


Fichiers produits par l'(les) auteur(s)


Distributed under a Creative Commons Paternité - Pas d'utilisation commerciale - Pas de modification 4.0 International License


  • HAL Id : hal-01185911, version 1



Florent Latombe, Xavier Crégut, Benoît Combemale, Julien Deantoni, Marc Pantel. Weaving Concurrency in eXecutable Domain-Specific Modeling Languages. 8th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2015, Pittsburg, United States. ACM, 2015, 〈http://www.sleconf.org/2015/〉. 〈hal-01185911〉



Consultations de la notice


Téléchargements de fichiers