Conflict detection for model versioning based on graph modifications

DOI10.1007/978-3-642-15928-2_12MaRDI QIDQ4931312zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

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

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
• scientific article; zbMATH DE number 7456055 (Why is no real title available?)
• 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

Describes a project that uses

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)