A Category-Theoretical Approach to the Formalisation of Version Control in MDE

@inproceedings{Rutle2009ACA,
  title={A Category-Theoretical Approach to the Formalisation of Version Control in MDE},
  author={Adrian Rutle and Alessandro Rossini and Yngve Lamo and Uwe Wolter},
  booktitle={FASE},
  year={2009}
}
In Model-Driven Engineering (MDE) models are the primary artefacts of the software development process. Similar to other software artefacts, models undergo a complex evolution during their life cycles. Version control is one of the key techniques which enables developers to tackle this complexity. Traditional version control systems are based on the copy-modify-merge paradigm which is not fully exploited in MDE because of the lack of model-specific techniques. In this paper we give a… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 23 CITATIONS

Data Validation Constraints in MDE

VIEW 6 EXCERPTS
CITES BACKGROUND

Diagram predicate framework: A formal approach to MDE

VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND

Modeling and Analysis of Indian Carnatic Music Using Category Theory

  • IEEE Transactions on Systems, Man, and Cybernetics: Systems
  • 2018
VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 16 REFERENCES

A Tentative Analysis of the Factors Affecting the Industrial Adoption of MDE

A. Rutle, A. Rossini
  • ChaMDE 2008: 1 International Workshop on Challenges in Model-Driven Software Engineering,
  • 2008
VIEW 1 EXCERPT

Generalized Sketches: Towards a Universal Logic for Diagrammatic Modeling in Software Engineering

U. Wolter, Z. Diskin
  • ACCAT Workshop 2007, satellite event of ETAPS 2007: European Joint Conferences on Theory and Practice of Software (to appear)
  • 2007
VIEW 1 EXCERPT