A Category-Theoretical Approach to the Formalisation of Version Control in MDE

Authors:
Adrian Rutle;Alessandro Rossini;Yngve Lamo;Uwe Wolter
Affiliations:
Bergen University College, Bergen, Norway 5020;University of Bergen, Bergen, Norway 5020;Bergen University College, Bergen, Norway 5020;University of Bergen, Bergen, Norway 5020
Venue:
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Year:
2009

Citing 5
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
A Category-theoretic Approach to Syntactic Software Merging

ICSM '05 Proceedings of the 21st IEEE International Conference on Software Maintenance
Weaving models in conflict detection specifications

Proceedings of the 2007 ACM symposium on Applied computing
Managing Model Conflicts in Distributed Development

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
A diagrammatic approach to model transformations

Proceedings of the 2008 Euro American Conference on Telematics and Information Systems

A formal approach to three-way merging of EMF models

Proceedings of the 1st International Workshop on Model Comparison in Practice
Conflict detection for model versioning based on graph modifications

ICGT'10 Proceedings of the 5th international conference on Graph transformations
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
A formalisation of constraint-aware model transformations

FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Concurrent model synchronization with conflict resolution based on triple graph grammars

FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Model-based tool support for consistent three-way merging of EMF models

Proceedings of the workshop on ACadeMics Tooling with Eclipse
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

In Model-Driven Engineering (MDE) models are the primary artefacts of the software development process. Similar to other software artefacts, models undergo a complex evolution during their life cycles. Version control is one of the key techniques which enables developers to tackle this complexity. Traditional version control systems are based on the copy-modify-merge paradigm which is not fully exploited in MDE because of the lack of model-specific techniques. In this paper we give a formalisation of the copy-modify-merge paradigm in MDE. In particular, we analyse how common models and merge models can be defined by means of category-theoretical constructions. Moreover, we show how the properties of those constructions can be used to identify model differences and conflicting modifications.