Formalizing and Managing Evolution in Model-Driven Engineering

Like traditional program code, software models are not resistant to change, but evolve over time by undergoing continuous extensions, corrections, and modifications. In model-driven engineering (MDE), evolution is multidimensional leading to the model management tasks of synchronization, versioning, and co-evolution. Whereas each of these tasks has recently received increased research interest, a systematic comparison and evaluation of the different approaches is missing. Within the FAME project, we aim at establishing a uniform framework characterizing changes and their impacts. The resulting findings will provide the basis for a suite of efficient techniques for avoiding unexpected side-effects of evolution. We will use different, well-explored formalisms with powerful inference engines exploiting concise semantic definitions of the modeling languages. By this, FAME will contribute to reliable change propagation indispensable for automatic quality assurance in MDE.

More information:


01.01.2011 - 31.12.2014


Funded by the Wiener Wissenschafts-, Forschungs- und Technologiefonds (WWTF) under grant ICT10-018.


Martina Seidl
Dipl.-Ing. Dr.techn.
    Petra Kaufmann
    Mag.a rer.soc.oec. rer.soc.oec.
    Gerti Kappel
    Gerti Kappel Mag.a techn.