Weaving executability into object-oriented meta-languages - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2005

Weaving executability into object-oriented meta-languages


Nowadays, object-oriented meta-languages such as MOF (Meta-Object Facility) are increasingly used to specify domain-specific languages in the model-driven engineering community. However, these meta-languages focus on structural specifications and have no built-in support for specifications of operational semantics. In this paper we explore the idea of using aspect- oriented modeling to add precise action specifications with static type checking and genericity at the meta level, and examine related issues and possible solutions. We believe that such a combination would bring significant benefits to the community, such as the specification, simulation and testing of operational semantics of metamodels. We present requirements for such statically-typed meta-languages and rationales for the aforementioned benefits.
Fichier principal
Vignette du fichier
Muller05a.pdf (187.91 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00795095 , version 1 (27-02-2013)


  • HAL Id : hal-00795095 , version 1


Pierre-Alain Muller, Franck Fleurey, Jean-Marc Jézéquel. Weaving executability into object-oriented meta-languages. Proceedings of MODELS/UML'2005, Oct 2005, Montego Bay, Jamaica. ⟨hal-00795095⟩
1393 View
707 Download


Gmail Facebook Twitter LinkedIn More