Conflict detection for model versioning based on graph modifications

DOI10.1007/978-3-642-15928-2_12zbMATH Open1306.68091OpenAlexW1525885244MaRDI QIDQ4931312FDOQ4931312

Authors: Philip Langer, Manuel Wimmer, Gabriele Taentzer, Claudia Ermel 

Publication date: 4 October 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://depositonce.tu-berlin.de/handle/11303/11358

Recommendations

• Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness
• A formalisation of the copy-modify-merge approach to version control in MDE
• Characterizing conflicts between rule application and rule evolution in graph transformation systems
• Incremental concurrent model synchronization using triple graph grammars
• Conflict Detection for Graph Transformation with Negative Application Conditions

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (5)

• On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
• A formalisation of the copy-modify-merge approach to version control in MDE
• Title not available (Why is that?)
• Characterizing conflicts between rule application and rule evolution in graph transformation systems
• Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness

Uses Software

• AGG

This page was built for publication: Conflict detection for model versioning based on graph modifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4931312)