Pierre-Alain Muller, Franck Fleurey, and Jean-Marc Jézéquel (2005)
Weaving Executability into Object-Oriented Meta-Languages
In: Proceedings of MODELS/UML'2005, edited by L. Briand, S. Kent. Springer, Montego Bay, Jamaica, pages 264-278.
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 aspectoriented 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.