A kernel transformation language for metamodel evolution and reversible model co-evolution

Mickaël Kerboeuf 1 Paola Vallejo 1 Jean-Philippe Babau 2
2 Lab-STICC_UBO_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance, UBO - Université de Brest
Abstract : This report defines MicroDif, a kernel transformation language for metamodel evolution and reversible model co-evolution. To begin with, a kernel subset of Ecore is highlighted and formally defined thanks to a suitable denotational semantics. Then MicroDif is formally defined upon this subset. In a first step, the focus is put on metamodel evolution provided by a set of refactoring operators. In a second step, the focus is put on model co-evolution which is intended to be reversible thanks to a dedicated pair of transformations respectively called migration and recontextualization. Each MicroDif operator is also provided with a dedicated predicate which explains the sufficient conditions for a model to remain valid after these transformations.
Type de document :
Rapport
2013
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger

http://hal.univ-brest.fr/hal-00842789
Contributeur : Mickaël Kerboeuf <>
Soumis le : mardi 9 juillet 2013 - 14:27:15
Dernière modification le : mardi 16 janvier 2018 - 15:54:23
Document(s) archivé(s) le : jeudi 10 octobre 2013 - 04:09:56

Fichier

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

Identifiants

  • HAL Id : hal-00842789, version 1

Citation

Mickaël Kerboeuf, Paola Vallejo, Jean-Philippe Babau. A kernel transformation language for metamodel evolution and reversible model co-evolution. 2013. 〈hal-00842789〉

Partager

Métriques

Consultations de la notice

290

Téléchargements de fichiers

277