kirancodes.me
To Proof Maintenance & Beyond!

Consistency-preserving edit scripts in model versioning

Timo Kehrer, Udo Kelter, Gabriele Taentzer

Abstract

In model-based software development, models are iteratively evolved. To optimally support model evolution, developers need adequate tools for model versioning tasks, including comparison, patching, and merging of models. A significant disadvantage of tools currently available is that they display, and operate with, low-level model changes which refer to internal model representations and which can lead to intermediate inconsistent states. Higher-level consistency-preserving edit operations including refactorings are better suited to explain changes or to resolve conflicts. This paper presents an automatic procedure which transforms a low-level difference into an executable edit script which uses consistency-preserving edit operations only. Edit scripts support consistent model patching and merging on a higher abstraction level. Our approach to edit script generation has been evaluated in a larger real-world case study.

BibTeX
@inproceedings{Kehrer-al:ASE13,
  author    = {Timo Kehrer and
               Udo Kelter and
               Gabriele Taentzer},
  title     = {Consistency-preserving edit scripts in model versioning},
  booktitle = {ASE},
  pages     = {191--201},
  publisher = {{IEEE}},
  year      = {2013},
}

Related papers