A formalisation of the copy-modify-merge approach to version control in MDE

DOI10.1016/j.jlap.2009.10.003zbMath1204.68075OpenAlexW2062898449MaRDI QIDQ710677

Alessandro Rossini, Yngve Lamo, Adrian Rutle, U. E. Wolter

Publication date: 22 October 2010

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2009.10.003

zbMATH Keywords

category theorymodel-driven engineeringdiagram predicate frameworkversion control system

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items

Category-theoretic approach to software systems design, A formal approach to the specification and transformation of constraints in MDE, A formalisation of deep metamodelling, Composition of multilevel domain-specific modelling languages, Fibred amalgamation, descent data, and Van Kampen squares in topoi

Cites Work

• Unnamed Item
• Unnamed Item
• Generalized sketches as a framework for completeness theorems. I-III
• Objects, components, models and patterns. 46th international conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30--July 4, 2008. Proceedings.
• Fundamentals of algebraic graph transformation
• A Diagrammatic Logic for Object-Oriented Visual Modeling
• Fundamental Approaches to Software Engineering
• Constant Complements, Reversibility and Universal View Updates