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.
Type de document :
Communication dans un congrès
Proceedings of MODELS/UML'2005, Oct 2005, Montego Bay, Jamaica. 2005
Liste complète des métadonnées


https://hal.inria.fr/hal-00795095
Contributeur : Jean-Marc Jézéquel <>
Soumis le : mercredi 27 février 2013 - 11:54:56
Dernière modification le : vendredi 13 janvier 2017 - 14:21:33
Document(s) archivé(s) le : mardi 28 mai 2013 - 04:55:07

Fichier

Muller05a.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00795095, version 1

Collections

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. 2005. <hal-00795095>

Partager

Métriques

Consultations de
la notice

400

Téléchargements du document

300