Authors:
El Hadji Bassirou Toure
1
;
Ibrahima Fall
1
;
Alassane Bah
1
;
Mamadou S. Camara
1
;
Mandicou Ba
1
and
Ahmad Fall
2
Affiliations:
1
École Supérieure Polytechnique, ESP, Dakar, Senegal, Université Cheikh Anta Diop de Dakar, UCAD University, Dakar, Senegal, Institut de Recherche pour le Développement, IRD Institute, Dakar and Senegal
;
2
École Supérieure Polytechnique, ESP, Dakar, Senegal, Université Cheikh Anta Diop de Dakar, UCAD University, Dakar and Senegal
Keyword(s):
Software Configuration Management, MDE, Megamodeling, DSML, Design By Contract.
Related
Ontology
Subjects/Areas/Topics:
Languages, Tools and Architectures
;
Model-Driven Software Development
;
Software Engineering
;
Syntax and Semantics of Modeling Languages
Abstract:
Model Driven Engineering (MDE) provides the concept of a runtime megamodel to represent the dynamic structure of a given system, to which it is causally connected. A system changes at runtime therefore implies frequent and dynamic changes of its related megamodel. In a previous work we have proposed to automate change management through a runtime megamodel evolution management approach. In such an approach, a megamodel manipulation, a kind of programming in-the-large activity, is considered as a mega-program which is modified throughout Global Operation Models (GOMs). Then we proposed a safe execution of GOMs as the solution for megamodel consistency preserving during evolution. In this work, we propose LAMEME, a domain-specific language for the management and the evolution of megamodels, and its axiomatic semantics. LAMEME gives the possibility to express an evolving megamodel as a mega-program and therefore defines a framework that supports our previously proposed approach.