Our extensive industrial collaboration enables us to do research with immediate application to software development practices in realistic settings.
Model-versioning-in-the-large: Algebraic foundations and the tile notation
|Title||Model-versioning-in-the-large: Algebraic foundations and the tile notation|
|Publication Type||Conference Paper|
|Year of Publication||2009|
|Authors||Diskin, Z., K. Czarnecki, and M. Antkiewicz|
|Conference Name||2009 ICSE Workshop on Comparison and Versioning of Software Models (CVSM)|
|Conference Location||Vancouver, BC, Canada|
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.