A kernel transformation language for metamodel evolution and reversible model co-evolution
type: Dataset
description: 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.
landing page: https://hal.univ-brest.fr/hal-00842789
keyword: d22-d213
keyword: infoeu-reposemanticsreport
keyword: infoinfo-secomputer-science-cssoftware-engineering-csse
keyword: metamodel-evolution-model-co-evolution-refactoring-reversible-migration-dsml-tool-support-model-tran
keyword: reports
issued: 2026-05-10T10:12:00.609456
modified: 2026-05-10T10:12:00.609462
language: en
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

A kernel transformation language for metamodel evolution and reversible model co-evolution
type: Distribution
format: HTML
access URL: https://hal.univ-brest.fr/hal-00842789
issued: 2026-05-10T10:12:00.612223
modified: 2026-05-10T10:12:00.600899