Weaving executability into object-oriented meta-languages

Pierre-Alain Muller 1 Franck Fleurey 2 Jean-Marc Jézéquel 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
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 metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/hal-00795095
Contributor : Jean-Marc Jézéquel <>
Submitted on : Wednesday, February 27, 2013 - 11:54:56 AM
Last modification on : Friday, November 16, 2018 - 1:23:29 AM
Long-term archiving on : Tuesday, May 28, 2013 - 4:55:07 AM

File

Muller05a.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00795095, version 1

Citation

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⟩

Share

Metrics

Record views

1153

Files downloads

540