Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadatas

Cited literature [5 references]  Display  Hide  Download

https://hal.univ-brest.fr/hal-00842789
Contributor : Mickaël Kerboeuf <>
Submitted on : Tuesday, July 9, 2013 - 2:27:15 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:22 PM
Document(s) archivé(s) le : Thursday, October 10, 2013 - 4:09:56 AM

File

microdif.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

351

Files downloads

380