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.
Description
an emof extention to support actions is presented. the kermeta environment allows creating metalanguages mof compliance.
%0 Conference Paper
%1 Muller05a
%A Pierre-Alain, Muller
%A Fleurey, Franck
%A Jézéquel, Jean-Marc
%B Proceedings of MODELS/UML'2005
%C Montego Bay, Jamaica
%D 2005
%E Briand, S. Kent L.
%I Springer
%K mof aspect ocl kermeta uml metalanguage metamodel
%P 264-278
%T Weaving Executability into Object-Oriented Meta-Languages
%U http://fparreiras/papers/weavingexecutabilityoometalang.pdf
%X 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.
@inproceedings{Muller05a,
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 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.},
added-at = {2006-10-05T00:06:28.000+0200},
address = {Montego Bay, Jamaica},
author = {Pierre-Alain, Muller and Fleurey, Franck and J\éz\équel, Jean-Marc},
biburl = {https://www.bibsonomy.org/bibtex/2e19a091578d4df92f9dc4388582cb1c9/fparreiras},
booktitle = {Proceedings of MODELS/UML'2005},
description = {an emof extention to support actions is presented. the kermeta environment allows creating metalanguages mof compliance.},
editor = {Briand, S. Kent L.},
interhash = {28d91685e7e694f021cb20132ab1320e},
intrahash = {e19a091578d4df92f9dc4388582cb1c9},
keywords = {mof aspect ocl kermeta uml metalanguage metamodel},
pages = {264-278},
publisher = {Springer},
series = {LNCS},
timestamp = {2006-10-05T00:06:28.000+0200},
title = {Weaving Executability into Object-Oriented Meta-Languages},
url = {http://fparreiras/papers/weavingexecutabilityoometalang.pdf},
year = 2005
}