Fundamentals of Algebraic Graph Transformation

- Graph Transformation Systems

- General Introduction

- Graphs, Typed Graphs, and the Gluing Construction

- Graph Transformation Systems

- Adhesive High-Level Replacement Categories and Systems

- Adhesive High-Level Replacement Categories

- Adhesive High-Level Replacement Systems

- Embedding and Local Confluence

- Constraints and Application Conditions

- Typed Attributed Graph Transformation Systems

- Typed Attributed Graphs

- Typed Attributed Graph Transformation Systems

- Embedding and Local Confluence for Typed AGT Systems

- Adhesive HLR Categories for Typed Attributed Graphs

- Constraints, Application Conditions and Termination for Typed AGT Systems

- Typed Attributed Graph Transformation with Inheritance

- Case Study on Model Transformation, and Tool Support by AGG

- Case Study on Model Transformation

- Implementation of Typed Attributed Graph Transformation by AGG

The first author, Prof. Hartmut Ehrig, has been one of the key figures in this specific field over the last few decades.

He has written over 200 articles for refereed publications in the last 30 years (http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/e/Ehrig:Hartmut.html).

He has edited many LNCS proceedings volumes over the last 20 years, including: LNCS 3393 (http://www.springer.com/3-540-24936-2), LNCS 3256 (http://www.springer.com/3-540-23207-9), LNCS 3147 (http://www.springer.com/3-540-23135-8), LNCS 2505 (http://www.springer.com/3-540-44310-X), LNCS 2472 (http://www.springer.com/3-540-20538-1), LNCS 2128 (http://www.springer.com/3-540-43067-9), LNCS 1764 (http://www.springer.com/3-540-67203-6), LNCS 1073 (http://www.springer.com/3-540-61228-9), LNCS 776 (http://www.springer.com/3-540-57787-4), LNCS 534 (http://www.springer.com/3-540-54496-8), LNCS 532 (http://www.springer.com/3-540-54478-X), LNCS 393 (http://www.springer.com/3-540-51722-7), LNCS 291 (http://www.springer.com/3-540-18771-5). These LNCS volumes deal with his particular areas of expertise: Petri nets, graph transformations, category theory, graph grammars, type specification, and software modelling and specification techniques.

He was the subject of the recent LNCS Festschrift: Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, LNCS 3393, Kreowski et al., 2005 (http://www.springer.com/3-540-24936-2).

Prof. Ehrig wrote two previous books for Springer's EATCS series: (i) "Fundamentals of Algebraic Specification 2 -- Module Specifications and Constraints", EATCS Monographs Series, Hartmut Ehrig, Bernd Mahr, 1990, http://www.springer.com/3-540-51799-5; this sold 1151 copies. (ii) "Fundamentals of Algebraic Specification 1 -- Equations and Initial Semantics", EATCS Monographs Series, Hartmut Ehrig, Bernd Mahr, http://www.springer.com/3-540-13718-1.

He has been a key promoter of the relevant research area of

From the reviews:



"A general theory of graph transformations ... has been developed. ... It is a very clear exposition of this material, spanning the breadth from underlying mathematics to an applications case study. ... The authors have done a very good job of presenting an area in which many different threads of research have developed in to a general theory ... . The book provides a helpful roadmap to the published research in the area, and a systematic treatment that emphasizes the fundamentals ... ." (Charles J. Colbourn, Zentralblatt MATH, Vol. 1095 (21), 2006)