References

  1. 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.
  2. 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.
  3. Hartmut Ehrig, Karsten Ehrig, Ulrike Prange & Gabriele Taentzer (2006): Fundamentals of Algebraic Graph Transformation. EATCS Monographs of Theoretical Computer Science. Springer, doi:10.1007/3-540-31188-2.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. Object Management Group (2014): Object Constraint Language, Version 2.4, OCL (February 2014). Available at https://www.omg.org/spec/OCL/2.4/.
  16. 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.
  17. Karl-Heinz Pennemann (2009): Development of Correct Graph Transformation Systems. Universität Oldenburg.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. 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.
  23. 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.
  24. David Steinberg, Frank Budinsky, Ed Merks & Marcelo Paternostro (2008): Eclipse Modeling Framework (The Eclipse Series). Addison-Wesley Professional.
  25. Gabriele Taentzer (2012): Instance Generation from Type Graphs with Arbitrary Multiplicities. Electronic Communications of the EASST 47, doi:10.14279/tuj.eceasst.47.727.
  26. 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.
  27. 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.
  28. Xiaoliang Wang (2016): Towards Correct Modelling and Model Transformation in DPF. University of Bergen.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org