A kernel transformation language for metamodel evolution and reversible model co-evolution - Université de Bretagne Occidentale
Reports Year : 2013

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

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.
Fichier principal
Vignette du fichier
microdif.pdf (1.54 Mo) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-00842789 , version 1

Cite

Mickaël Kerboeuf, Paola Vallejo, Jean-Philippe Babau. A kernel transformation language for metamodel evolution and reversible model co-evolution. 2013. ⟨hal-00842789⟩
159 View
366 Download

Share

More