Skip to Main content Skip to Navigation
Conference papers

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
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [38 references]  Display  Hide  Download
Contributor : Frédéric Boulanger Connect in order to contact the contributor
Submitted on : Friday, November 15, 2013 - 5:31:29 PM
Last modification on : Tuesday, June 15, 2021 - 4:28:22 PM
Long-term archiving on: : Monday, February 17, 2014 - 4:51:29 PM


Files produced by the author(s)


  • HAL Id : hal-00905067, version 1


Benoit Combemale, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger, Benoit Baudry. Bridging the Chasm between Executable Metamodeling and Models of Computation. 5th International Conference, SLE 2012, Sep 2012, Desden, Germany. pp.184-203. ⟨hal-00905067⟩



Les métriques sont temporairement indisponibles