A formalisation of the copy-modify-merge approach to version control in MDE
From MaRDI portal
Publication:710677
DOI10.1016/J.JLAP.2009.10.003zbMATH Open1204.68075OpenAlexW2062898449MaRDI QIDQ710677FDOQ710677
Uwe Wolter, Alessandro Rossini, Yngve Lamo, Adrian Rutle
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
Recommendations
- Conflict detection for model versioning based on graph modifications
- Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness
- Unified versioning using resource description framework
- Odyssey-SCM: An integrated software configuration management infrastructure for UML models
- scientific article; zbMATH DE number 1104383
Cites Work
- Title not available (Why is that?)
- Fundamentals of algebraic graph transformation
- A diagrammatic logic for object-oriented visual modeling
- Title not available (Why is that?)
- Fundamental Approaches to Software Engineering
- Generalized sketches as a framework for completeness theorems. I-III
- Constant Complements, Reversibility and Universal View Updates
- Objects, components, models and patterns. 46th international conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30--July 4, 2008. Proceedings.
Cited In (7)
- Category-theoretic approach to software systems design
- Fibred amalgamation, descent data, and Van Kampen squares in topoi
- A reasoning system for satisfiability of diagrammatic specifications
- A formal approach to the specification and transformation of constraints in MDE
- A formalisation of deep metamodelling
- Towards Development with Multi-version Models: Detecting Merge Conflicts and Checking Well-Formedness
- Composition of multilevel domain-specific modelling languages
This page was built for publication: A formalisation of the copy-modify-merge approach to version control in MDE
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q710677)
