Bridging the Chasm between Executable Metamodeling and Models of Computation

Benoit Combemale 1 Cécile Hardebolle 2 Christophe Jacquet 2 Frédéric Boulanger 2 Benoit Baudry 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
2 INFO - Département Informatique
E3S - Supélec Sciences des Systèmes [Gif-sur-Yvette]
Abstract : The complete and executable definition of a Domain Specific Language (DSL) relies on the specification of two essential facets: a model of the domain-specific concepts with actions and their semantics; a scheduling model that orchestrates the actions of a domain-specific model. Metamodels can capture the former facet, while Models of Computation (MoCs) capture the latter facet. Unfortunately, theories and tools for metamodeling and MoCs have evolved independently, creating a cultural and technical chasm between the two communities. Consequently, there is currently no framework to explicitly model and compose both facets of a DSL. This paper introduces a new framework to bridge a metamodel and a MoC in a modular fashion. This bridge allows (i) the complete and executable definition of a DSL, (ii) the reuse of MoCs for different domain-specific metamodels, and (iii) the use of different MoCs for a given metamodel, to cope with variation points of a DSL.
Type de document :
Communication dans un congrès
Krzysztof Czarnecki and Goerel Hedin. 5th International Conference, SLE 2012, Sep 2012, Desden, Germany. Springer, 7745 (12), pp.184-203, 2013, Lecture Notes in Computer Science
Liste complète des métadonnées


https://hal-supelec.archives-ouvertes.fr/hal-00905067
Contributeur : Frédéric Boulanger <>
Soumis le : vendredi 15 novembre 2013 - 17:31:29
Dernière modification le : vendredi 13 janvier 2017 - 14:20:59
Document(s) archivé(s) le : lundi 17 février 2014 - 16:51:29

Fichier

2012BridgingTheChasm.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00905067, version 1

Citation

Benoit Combemale, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger, Benoit Baudry. Bridging the Chasm between Executable Metamodeling and Models of Computation. Krzysztof Czarnecki and Goerel Hedin. 5th International Conference, SLE 2012, Sep 2012, Desden, Germany. Springer, 7745 (12), pp.184-203, 2013, Lecture Notes in Computer Science. <hal-00905067>

Partager

Métriques

Consultations de
la notice

810

Téléchargements du document

255