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

Authors:
Zinovy Diskin;Krzysztof Czarnecki;Michal Antkiewicz
Affiliations:
Generative Software Development Lab, University of Waterloo, Canada;Generative Software Development Lab, University of Waterloo, Canada;Generative Software Development Lab, University of Waterloo, Canada
Venue:
CVSM '09 Proceedings of the 2009 ICSE Workshop on Comparison and Versioning of Software Models
Year:
2009

Citing 7
Cited 7

Differences between versions of UML diagrams

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Optimistic replication

ACM Computing Surveys (CSUR)
Parallel Changes: Detecting Semantic Interferences

COMPSAC '05 Proceedings of the 29th Annual International Computer Software and Applications Conference - Volume 01
UMLDiff: an algorithm for object-oriented design differencing

Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Exploiting schemas in data synchronization

Journal of Computer and System Sciences
Difference computation of large models

Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Towards automatic model synchronization from model transformations

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering

Bidirectional Transformations: A Cross-Discipline Perspective

ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
From state- to delta-based bidirectional model transformations

ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Symmetric lenses

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Model synchronization: mappings, tiles, and categories

GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
A formal resolution strategy for operation-based conflicts in model versioning using graph modifications

FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Linguistic foundations for bidirectional transformations: invited tutorial

PODS '12 Proceedings of the 31st symposium on Principles of Database Systems
A fundamental approach to model versioning based on graph modifications: from theory to implementation

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

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.