A Design Pattern for Executable DSML

Benoit Combemale 1, * Xavier Crégut 2 Marc Pantel 2
* Auteur correspondant
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Model executability is now a key concern in model-driven engineering, mainly to support early validation and verification (V&V). Some approaches have allowed to weave executability into metamodels, defining executable domain-specific modeling languages (DSML). Then, model validation may be achieved by direct interpretation of the conforming models. Other approaches address model executability by model compilation, allowing to reuse the virtual machines or V&V tools existing in the target domain. Nevertheless, systematic methods are not available to help the language designer in the definition of such an execution semantics and related support tools. For instance, simulators are mostly hand-crafted in a tool specific manner for each DSML. In this paper, we propose to reify the elements commonly used to support execution in a DSML. We infer a design pattern (called Executable DSML pattern) providing a general reusable solution for the expression of the executability concerns in DSML. It favors flexibility and improves reusability in the definition of semantics-based tools for DSML. We illustrate how this pattern can be applied to V&V and models at runtime, and give insights on the development of generic and generative tools for model animators.
Type de document :
Rapport
[Research Report] RR-8063, 2012, pp.19
Liste complète des métadonnées


https://hal.inria.fr/inria-00540648
Contributeur : Benoit Combemale <>
Soumis le : lundi 10 septembre 2012 - 10:54:28
Dernière modification le : vendredi 13 janvier 2017 - 14:21:31
Document(s) archivé(s) le : vendredi 16 décembre 2016 - 11:52:16

Fichier

rr-xdsml-2012.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00540648, version 3

Citation

Benoit Combemale, Xavier Crégut, Marc Pantel. A Design Pattern for Executable DSML. [Research Report] RR-8063, 2012, pp.19. <inria-00540648v3>

Partager

Métriques

Consultations de
la notice

251

Téléchargements du document

314