Weaving executability into object-oriented meta-languages - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

Weaving executability into object-oriented meta-languages

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-00795095 , version 1

Citer

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⟩
1414 Consultations
732 Téléchargements

Partager

Gmail Facebook X LinkedIn More