Conference
Model-versioning-in-the-large: algebraic foundations and the tile notation
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 …
Authors
Diskin Z; Czarnecki K; Antkiewicz M
Pagination
pp. 1-6
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
May 1, 2009
DOI
10.1109/cvsm.2009.5071715
Name of conference
2009 ICSE Workshop on Comparison and Versioning of Software Models