@conference {110, title = {Model-versioning-in-the-large: Algebraic foundations and the tile notation}, booktitle = {2009 ICSE Workshop on Comparison and Versioning of Software Models (CVSM)}, year = {2009}, pages = {7 - 12}, publisher = {IEEE}, organization = {IEEE}, address = {Vancouver, BC, Canada}, 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.}, isbn = {978-1-4244-3714-6}, doi = {10.1109/CVSM.2009.5071715}, url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=\&arnumber=5071715}, attachments = {http://gsd.uwaterloo.ca/sites/default/files/CVSM_at_ICSE09_Zinovy_Xiong_Czarnecki.pdf , http://gsd.uwaterloo.ca/sites/default/files/cvsm09-presentation.pdf}, author = {Diskin, Zinovy and Krzysztof Czarnecki and Micha{\l} Antkiewicz} }