Version models for software configuration management
ACM Computing Surveys (CSUR)
A State-of-the-Art Survey on Software Merging
IEEE Transactions on Software Engineering
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Detecting model inconsistency through operation-based model construction
Proceedings of the 30th international conference on Software engineering
Towards software configuration management for unified models
Proceedings of the 2008 international workshop on Comparison and versioning of software models
Towards odyssey-VCS 2: improvements over a UML-based version control system
Proceedings of the 2008 international workshop on Comparison and versioning of software models
A Category-Theoretical Approach to the Formalisation of Version Control in MDE
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
Correctness of high-level transformation systems relative to nested conditions†
Mathematical Structures in Computer Science
Incremental Detection of Model Inconsistencies Based on Model Operations
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
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
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Structured merge with auto-tuning: balancing precision and performance
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
An introduction to model versioning
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
AGG 2.0 --- new features for specifying and analyzing algebraic graph transformations
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Turning Conflicts into Collaboration
Computer Supported Cooperative Work
Model-based tool support for consistent three-way merging of EMF models
Proceedings of the workshop on ACadeMics Tooling with Eclipse
Detection and resolution of conflicting change operations in version management of process models
Software and Systems Modeling (SoSyM)
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
In model-driven engineering, models are primary artifacts and can evolve heavily during their life cycle. Therefore, versioning of models is a key technique which has to be offered by an integrated development environment for model-driven engineering. In contrast to textbased versioning systems we present an approach which takes abstract syntax structures in model states and operational features into account. Considering the abstract syntax of models as graphs, we define model revisions as graph modifications which are not necessarily rule-based. Building up on the DPO approach to graph transformations, we define two different kinds of conflict detection: (1) the check for operation-based conflicts, and (2) the check for state-based conflicts on results of merged graph modifications.