A Category-Theoretical Approach to the Formalisation of
Version Control in MDE;
Proc. 12th Intl. Conf. Fundamental
Approaches to Software Engineering (FASE 2009),
Held as Part of the Joint European Conferences on
Theory and Practice of Software, ETAPS 2009, York,
UK, March 22-29, 2009;
LNiCS 5503, Springer;
ACM Digital Library,
Abstract: n Model-Driven Engineering (MDE) models are the
primary artefacts of the software development process. Similar to
other software artefacts, models undergo a complex evolution
during their life cycles. Version control is one of the key
techniques which enables developers to tackle this complexity.
Traditional version control systems are based on the
copy-modify-merge paradigm which is not fully exploited in MDE
because of the lack of model-specific techniques. In this paper
we give a formalisation of the copy-modify-merge paradigm in MDE.
In particular, we analyse how common models and merge models can
be defined by means of category-theoretical constructions.
Moreover, we show how the properties of those constructions can
be used to identify model differences and conflicting