Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness

DOI10.1007/978-3-031-09843-7_7MaRDI QIDQ6487308zbMATH OpenFDO

Authors Matthias Barkowsky, Holger Giese

Publication date 7 December 2022

Full work available at URL https://doi.org/10.1007/978-3-031-09843-7_7

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• A formalisation of the copy-modify-merge approach to version control in MDE
• Conflict detection for model versioning based on graph modifications

Cites work

• Fundamentals of algebraic graph transformation
• scientific article; zbMATH DE number 2016074 (Why is no real title available?)
• Metric temporal graph logic over typed attributed graphs

Cited in

(2)

• Conflict detection for model versioning based on graph modifications
• A formalisation of the copy-modify-merge approach to version control in MDE

This page was built for publication: Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness

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