Gábor Bergmann (2014):
Translating OCL to Graph Patterns.
In: Model-Driven Engineering Languages and Systems (MODELS 2014),
LNCS,
pp. 670–686,
doi:10.1007/978-3-319-11653-2_41.
Enrico Biermann, Claudia Ermel & Gabriele Taentzer (2012):
Formal foundation of consistent EMF model transformations by algebraic graph transformation.
Software and System Modeling 11(2),
pp. 227–250,
doi:10.1007/s10270-011-0199-7.
Yurong Cheng, Lei Chen, Ye Yuan & Guoren Wang (2018):
Rule-Based Graph Repairing: Semantic and Efficient Repairing Methods.
In: 34th IEEE International Conference on Data Engineering, ICDE 2018,,
pp. 773–784,
doi:10.1109/ICDE.2018.00075.
Hartmut Ehrig, Claudia Ermel, Ulrike Golas & Frank Hermann (2015):
Graph and Model Transformation - General Framework and Applications.
Monographs in Theoretical Computer Science.
Springer,
doi:10.1007/978-3-662-47980-3.
Annegret Habel & Karl-Heinz Pennemann (2009):
Correctness of High-Level Transformation Systems Relative to Nested Conditions.
Mathematical Structures in Computer Science 19,
pp. 245–296,
doi:10.1017/S0960129500001353.
Annegret Habel & Detlef Plump (2001):
Computational Completeness of Programming Languages Based on Graph Transformation.
In: Foundations of Software Science and Computation Structures (FOSSACS 2001),
Lecture Notes in Computer Science 2030,
pp. 230–245,
doi:10.1007/BFb0017401.
Annegret Habel & Christian Sandmann (2018):
Graph Repair by Graph Programs.
In: Graph Computation Models (GCM 2018),
Lecture Notes in Computer Science 11176,
pp. 431–446,
doi:10.1007/s10009-018-0496-3.
Michael Löwe (1993):
Algebraic Approach to Single-Pushout Graph Transformation.
Theoretical Computer Science 109,
pp. 181–224,
doi:10.1016/0304-3975(93)90068-5.
Nuno Macedo, Jorge Tiago & Alcino Cunha (2017):
A Feature-Based Classification of Model Repair Approaches.
IEEE Trans. Software Eng. 43(7),
pp. 615–640,
doi:10.1109/TSE.2016.2620145.
Nebras Nassar, Hendrik Radke & Thorsten Arendt (2017):
Rule-Based Repair of EMF Models: An Automated Interactive Approach.
In: Theory and Practice of Model Transformation (ICMT 2017),
Lecture Notes in Computer Science 10374,
pp. 171–181,
doi:10.1007/978-3-319-21145-9_10.
Christian Nentwich, Wolfgang Emmerich & Anthony Finkelstein (2003):
Consistency Management with Repair Actions.
In: Software Engineering.
IEEE Computer Society,
pp. 455–464,
doi:10.1109/ICSE.2003.1201223.
Karl-Heinz Pennemann (2009):
Development of Correct Graph Transformation Systems.
Universität Oldenburg.
Detlef Plump (2005):
Confluence of Graph Transformation Revisited.
In: Processes, Terms and Cycles: Steps on the Road to Infinity,
Lecture Notes in Computer Science 3838,
pp. 280–308,
doi:10.1007/BF00289616.
Hendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel & Grabriele Taentzer (2018):
Translating Essential OCL Invariants to Nested Graph Constraints for Generating nstances of Meta-models.
Science of Computer Programming 152,
pp. 38–62,
doi:10.1016/j.scico.2017.08.006.
Sven Schneider, Leen Lambers & Fernando Orejas (2019):
A Logic-Based Incremental Approach to Graph Repair.
In: Fundamental Approaches to Software Engineering - (FASE 2019),
Lecture Notes in Computer Science 11424,
pp. 151–167,
doi:10.1007/978-3-662-54494-5_16.
Andy Schürr (1994):
Specification of Graph Translators with Triple Graph Grammars.
In: Graph-Theoretic Concepts in Computer Science, 20th International Workshop, WG '94, Herrsching, Germany, June 16-18, 1994, Proceedings,
pp. 151–163.
Available at https://doi.org/10.1007/3-540-59071-4_45.
Gabriele Taentzer, Manuel Ohrndorf, Yngve Lamo & Adrian Rutle (2017):
Change-Preserving Model Repair.
In: Fundamental Approaches to Software Engineering (ETAPS 2017),
Lecture Notes in Computer Science 10202,
pp. 283–299,
doi:10.1007/11880240_15.
eptcs@eptcs.org