Model-versioning-in-the-large: Algebraic foundations and the tile notation

TitleModel-versioning-in-the-large: Algebraic foundations and the tile notation
Publication TypeConference Paper
Year of Publication2009
AuthorsDiskin, Z., K. Czarnecki, and M. Antkiewicz
Conference Name2009 ICSE Workshop on Comparison and Versioning of Software Models (CVSM)
PublisherIEEE
Conference LocationVancouver, BC, Canada
ISBN Number978-1-4244-3714-6
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.

URLhttp://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5071715
DOI10.1109/CVSM.2009.5071715
AttachmentSize
CVSM_at_ICSE09_Zinovy_Xiong_Czarnecki.pdf167.88 KB
cvsm09-presentation.pdf343.55 KB