SLE 2012 paper:
Bridging the Chasm between Executable Metamodeling and Models of Computation

Benoît Combemale, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger, Benoît Baudry

DOI: 10.1007/978-3-642-36089-3_11
T1C: Behavioural Semantics
- It targets executable semantics of DSLs by combining domain actions (in metamodels) with scheduling semantics (MoCs).
T1D: Composition
- The contribution is explicitly about modularly composing two semantic facets (metamodel + MoC) into one executable definition.
T2C: Variability
- The framework supports semantic variability by allowing different MoCs for the same metamodel and reuse of MoCs across DSLs.
T3C: DSLs
- The work is motivated by (and framed around) domain-specific languages and their executable definitions.

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.