«

»

Bridging the Chasm between Executable Metamodeling and Models of Computation

by Benoit Combemale, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger, Benoit Baudry
Abstract:
The complete and executable definition of a Domain Specific Language (DSL) includes the specification of two essential facets: a model of the domain-specific concepts with actions and their semantics; and 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 combine a metamodel and a MoC in a modular fashion. This allows (i) the complete and executable definition of a DSL, (ii) the reuse of a given MoC for different domain-specific metamodels, and (iii) the use of different MoCs for a given metamodel, to account for variants of a DSL.
Reference:
Bridging the Chasm between Executable Metamodeling and Models of Computation (Benoit Combemale, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger, Benoit Baudry), In 5th International Conference on Software Language Engineering (SLE 2012), Springer, 2012.
Bibtex Entry:
@inproceedings{combemale:hal-00725643,
	Abstract = {{The complete and executable definition of a Domain Specific Language (DSL) includes the specification of two essential facets: a model of the domain-specific concepts with actions and their semantics; and 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 combine a metamodel and a MoC in a modular fashion. This allows (i) the complete and executable definition of a DSL, (ii) the reuse of a given MoC for different domain-specific metamodels, and (iii) the use of different MoCs for a given metamodel, to account for variants of a DSL.}},
	Address = {Dresden, Allemagne},
	Author = {Combemale, Benoit and Hardebolle, C{'e}cile and Jacquet, Christophe and Boulanger, Fr{'e}d{'e}ric and Baudry, Benoit},
	Booktitle = {{5th International Conference on Software Language Engineering (SLE 2012)}},
	Publisher = {Springer},
	Series = {LNCS},
	Title = {{Bridging the Chasm between Executable Metamodeling and Models of Computation}},
	Url = {http://hal.inria.fr/hal-00725643},
	Year = {2012},
	Bdsk-Url-1 = {http://hal.inria.fr/hal-00725643}}