Angela Barriga, Adrian Rutle & Rogardt Heldal (2019):
Personalized and Automatic Model Repairing using Reinforcement Learning.
In: 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS Companion.
IEEE,
pp. 175–181,
doi:10.1109/MODELS-C.2019.00030.
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.
Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers & Fernando Orejas (2014):
M-Adhesive Transformation Systems with Nested Application Conditions. Part 1: Parallelism, Concurrency and Amalgamation.
Mathematical Structures in Computer Science 24,
doi:10.1017/S0960129512000357.
Hartmut Ehrig, Ulrike Golas & Frank Hermann (2010):
Categorical Frameworks for Graph Transformation and HLR Systems based on the DPO Approach.
Bulletin of the EATCS 112,
pp. 111–121.
Available at http://eatcs.org/beatcs/index.php/beatcs/article/view/158.
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/S0960129508007202.
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/978-3-030-04771-9_31.
Reiko Heckel & Gabriele Taentzer (2020):
Graph Transformation for Software Engineers - With Applications to Model-Based Development and Domain-Specific Language Engineering.
Springer,
doi:10.1007/978-3-030-43916-3.
Jens Kosiol, Daniel Strüber, Gabriele Taentzer & Steffen Zschaler (2020):
Graph Consistency as a Graduated Property - Consistency-Sustaining and -Improving Graph Transformations.
In: Fabio Gadducci & Timo Kehrer: Graph Transformation - 13th International Conference, ICGT,
Lecture Notes in Computer Science 12150.
Springer,
pp. 239–256,
doi:10.1007/978-3-030-51372-6_14.
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, Jens Kosiol, Thorsten Arendt & Gabriele Taentzer (2020):
Constructing optimized constraint-preserving application conditions for model transformation rules.
J. Log. Algebraic Methods Program. 114,
pp. 100564,
doi:10.1016/j.jlamp.2020.100564.
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-61473-1_12.
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.
Object Management Group (2014):
Object Constraint Language, Version 2.4, OCL (February 2014).
Available at https://www.omg.org/spec/OCL/2.4/.
Fernando Orejas & Leen Lambers (2010):
Symbolic Attributed Graphs for Attributed Graph Transformation.
Electronic Communications of the EASST 30,
doi:10.14279/tuj.eceasst.30.405.
Karl-Heinz Pennemann (2009):
Development of Correct Graph Transformation Systems.
Universität Oldenburg.
Christopher M. Poskitt & Detlef Plump (2013):
Verifying Total Correctness of Graph Programs.
Electronic Communications of the EASST 61,
doi:10.14279/tuj.eceasst.61.827.
Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu & Lars Michael Kristensen (2015):
A Diagrammatic Approach to Model Completion.
In: Proceedings of the 4th Workshop on the Analysis of Model Transformations,
CEUR Workshop Proceedings 1500.
CEUR-WS.org,
pp. 56–65.
Available at http://ceur-ws.org/Vol-1500/paper7.pdf.
Hendrik Radke, Thorsten Arendt, Jan Steffen Becker, Annegret Habel & Grabriele Taentzer (2018):
Translating Essential OCL Invariants to Nested Graph Constraints for Generating Instances of Meta-models.
Science of Computer Programming 152,
pp. 38–62,
doi:10.1016/j.scico.2017.08.006.
Christian Sandmann & Annegret Habel (2019):
Rule-based Graph Repair.
In: Proceedings Tenth International Workshop on Graph Computation Models, GCM@STAF 2019,
EPTCS 309,
pp. 87–104,
doi:10.4204/EPTCS.309.5.
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-030-16722-6_9.
Shane Sendall & Wojtek Kozaczynski (2003):
Model Transformation: The Heart and Soul of Model-Driven Software Development.
IEEE Software 20(5),
pp. 42–45,
doi:10.1109/MS.2003.1231150.
David Steinberg, Frank Budinsky, Ed Merks & Marcelo Paternostro (2008):
Eclipse Modeling Framework (The Eclipse Series).
Addison-Wesley Professional.
Gabriele Taentzer (2012):
Instance Generation from Type Graphs with Arbitrary Multiplicities.
Electronic Communications of the EASST 47,
doi:10.14279/tuj.eceasst.47.727.
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/978-3-662-54494-5_16.
Guido Wachsmuth (2007):
Metamodel Adaptation and Model Co-adaptation.
In: Erik Ernst: ECOOP 2007 - Object-Oriented Programming, 21st European Conference,
LNCS 4609.
Springer,
pp. 600–624,
doi:10.1007/978-3-540-73589-2_28.
Xiaoliang Wang (2016):
Towards Correct Modelling and Model Transformation in DPF.
University of Bergen.