A Tutorial on Graph Transformation

Graph transformation or graph rewriting has been developed for nearly 50 years and has become a mature and manifold formal technique. Basically, rewrite rules are used to manipulate graphs. These rules are given by a left-hand side and a right-hand side graph and the application comprises matching the left-hand side and replacing it with the right-hand side of the rule.

[1]  Hartmut Ehrig,et al.  Graph-Grammars: An Algebraic Approach , 1973, SWAT.

[2]  Hartmut Ehrig,et al.  Introduction to the Algebraic Theory of Graph Grammars (A Survey) , 1978, Graph-Grammars and Their Application to Computer Science and Biology.

[3]  Ernest J. H. Chang,et al.  An improved algorithm for decentralized extrema-finding in circular configurations of processes , 1979, CACM.

[4]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[5]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1: Equations and Initial Semantics , 1985 .

[6]  Wolfgang Reisig,et al.  Petri Nets , 1985, EATCS Monographs on Theoretical Computer Science.

[7]  Martin Wirsing,et al.  Algebraic Specification , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[8]  Jean-Pierre Jouannaud,et al.  Rewrite Systems , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[9]  Jan van Leeuwen,et al.  Formal models and semantics , 1990 .

[10]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series) , 1992 .

[11]  Michael Löwe,et al.  Algebraic Approach to Single-Pushout Graph Transformation , 1993, Theor. Comput. Sci..

[12]  Reiko Heckel,et al.  Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach , 1997, Handbook of Graph Grammars.

[13]  Grzegorz Rozenberg,et al.  Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .

[14]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution , 1999 .

[15]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools , 1999 .

[16]  Annegret Habel,et al.  Graph Transformation for Specification and Programming , 1999, Sci. Comput. Program..

[17]  Gabriele Taentzer.  AGG: A Tool Environment for Algebraic Graph Transformation , 1999, AGTIVE.

[18]  Wan Fokkink,et al.  Introduction to Process Algebra , 1999, Texts in Theoretical Computer Science. An EATCS Series.

[19]  Ulrich Nickel,et al.  The FUJABA environment , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[20]  Robin Milner,et al.  Deriving Bisimulation Congruences for Reactive Systems , 2000, CONCUR.

[21]  Davide Sangiorgi,et al.  The Pi-Calculus - a theory of mobile processes , 2001 .

[22]  Enno Ohlebusch,et al.  Term Rewriting Systems , 2002 .

[23]  Juan de Lara,et al.  AToM3: A Tool for Multi-formalism and Meta-modelling , 2002, FASE.

[24]  Dániel Varró,et al.  VIATRA - visual automated transformations for formal verification and validation of UML models , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.

[25]  Arend Rensink.  The GROOVE Simulator: A Tool for State Space Generation , 2003, AGTIVE.

[26]  Reiko Heckel,et al.  Graph Transformation in a Nutshell , 2006, FoVMT.

[27]  Robin Milner,et al.  Bigraphs and mobile processes (revised) , 2004 .

[28]  Arend Rensink,et al.  Representing First-Order Logic Using Graphs , 2004, ICGT.

[29]  Hartmut Ehrig,et al.  Fundamental Theory for Typed Attributed Graph Transformation , 2004, ICGT.

[30]  Detlef Plump,et al.  Towards Graph Programs for Graph Algorithms , 2004, ICGT.

[31]  D. Galloway.  Should surgeons still sit an exit examination , 2005 .

[32]  Pawel Sobocinski,et al.  Adhesive and quasiadhesive categories , 2005, RAIRO Theor. Informatics Appl..

[33]  Barbara König,et al.  Augur - A Tool for the Analysis of Graph Transformation Systems , 2005, Bull. EATCS.

[34]  Annegret Habel,et al.  Nested Constraints and Application Conditions for High-Level Structures , 2005, Formal Methods in Software and Systems Modeling.

[35]  Hans-Jörg Kreowski,et al.  Some Essentials of Graph Transformation , 2006, Recent Advances in Formal Languages and Applications.

[36]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation , 2006, Monographs in Theoretical Computer Science. An EATCS Series.

[37]  Hartmut Ehrig,et al.  Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts , 2006, Mathematical Structures in Computer Science.

[38]  Barbara König,et al.  Towards the Verification of Attributed Graph Transformation Systems , 2008, ICGT.

[39]  Raheel Ahmad,et al.  The π-Calculus: A theory of mobile processes , 2008, Scalable Comput. Pract. Exp..

[40]  Arend Rensink,et al.  Repotting the Geraniums: On Nested Graph Transformation Rules , 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[41]  Arend Rensink,et al.  Modelling and analysis using GROOVE , 2010, International Journal on Software Tools for Technology Transfer.

[42]  Fernando Orejas,et al.  Symbolic graphs for attributed graph constraints , 2011, J. Symb. Comput..

[43]  Bruno Courcelle,et al.  Graph Structure and Monadic Second-Order Logic - A Language-Theoretic Approach , 2012, Encyclopedia of mathematics and its applications.

[44]  Christopher D. Thompson-Walsh,et al.  Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models , 2012, FSTTCS.

[45]  Thomas Vogel,et al.  Graph Transformations for MDE, Adaptation, and Models at Runtime , 2012, SFM.

[46]  Hartmut Ehrig,et al.  Graph and Model Transformation , 2015, Monographs in Theoretical Computer Science. An EATCS Series.

[47]  Hartmut Ehrig,et al.  Graph and Model Transformation: General Framework and Applications , 2015 .

[48]  Jan Willem Klop,et al.  Term Rewriting Systems: From Church-Rosser to Knuth-Bendix and Beyond , 1990, ICALP.

[49]  Julia Padberg,et al.  Overview of Reconfigurable Petri Nets , 2018, Graph Transformation, Specifications, and Nets.