P. Brosch, G. Kappel, P. Langer, M. Seidl, K. Wieland, M. Wimmer: An Introduction to Model Versioning, International School on Formal Methods for the Design of Computer, Communcation, and Software Systems, Bertinoro, Italy, 18.06.2012 - 23.06.2012; in Formal Methods for Model-Driven Engineering, M. Bernardo, V. Cortellessa, A. Pierantonio (Hrg.); Springer, LNCS 7320 (2012), ISSN: 0302-9743; pages 336 - 398. Doi: 10.1007/978-3-642-30982-3_10
With the emergence of model-driven engineering (MDE), software models are considered as central artifacts in the software engineering process, going beyond their traditional use as sketches. In MDE, models rather act as the single source of information for automatically generating executable software. This shift poses several new research challenges. One of these challenges constitutes model versioning, which targets at enabling efficient team-based development of models. This compelling challenge induced a very active research community, who yielded remarkable methods and techniques ranging from model differencing to merging of models.
In this tutorial, we give an introduction to the foundations of model versioning, the underlying technologies for processing models and their evolution, as well as the state of the art in model versioning. Thereby, we aim at equipping students and researchers alike that are new to this domain with enough information for commencing to contribute to this challenging research area.