CVSM Bibliography, Entry [ RuRLW2009FASE ]


Rutle, Adrian; Rossini, Alessandro; Lamo, Yngve; Wolter, Uwe: A Category-Theoretical Approach to the Formalisation of Version Control in MDE;
p.64-78 in: 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; 2009
Library Entries: ACM Digital Library, springerlink
Deskriptoren: CVSM

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 modifications.