A kernel transformation language for metamodel evolution and reversible model co-evolution - Université de Bretagne Occidentale
Rapport Année : 2013

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

Résumé

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.
Fichier principal
Vignette du fichier
microdif.pdf (1.54 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00842789 , version 1 (09-07-2013)

Identifiants

  • HAL Id : hal-00842789 , version 1

Citer

Mickaël Kerboeuf, Paola Vallejo, Jean-Philippe Babau. A kernel transformation language for metamodel evolution and reversible model co-evolution. 2013. ⟨hal-00842789⟩
160 Consultations
369 Téléchargements

Partager

More