CVSM Bibliography, Entry [ DiCA2009CVSM ]

Diskin, Zinovy; Czarnecki, Krzysztof; Antkiewicz, Michal: Model Versioning-in-the-large: Algebraic Foundations And The Tile Notation;
p.7-12 in: Proc. 2009 ICSE Workshop on Comparison and Versioning of Software Models, May 17, 2009, Vancouver; IEEE, Catalog Number CFP0923G; 2009
Library Entries: ACM Digital Library
Deskriptoren: CVSM, CVSM09

Abstract: Model-versioning-in-the-large is concerned with complex scenarios involving multiple updates and multiple replicas of a model. The paper introduces tile systems as rephrasing of double categories in model versioning terms, and shows that the tile language enables a very general formalization of versioning concepts. The formalization makes the concepts amenable to algebraic analysis and provides a convenient notation for version system designers. It also allows one to formulate algebraic laws that a correct versioning system must or may want to satisfy.