Skip to Main content Skip to Navigation
New interface
Conference papers

Weaving executability into object-oriented meta-languages

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

Cited literature [16 references]  Display  Hide  Download
Contributor : Jean-Marc Jézéquel Connect in order to contact the contributor
Submitted on : Wednesday, February 27, 2013 - 11:54:56 AM
Last modification on : Friday, February 4, 2022 - 3:15:34 AM
Long-term archiving on: : Tuesday, May 28, 2013 - 4:55:07 AM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads