Graphs are widely used to represent structural information in the form
of objects and connections between them. Graph transformation is the
rule-based manipulation of graphs, an increasingly important concept in
computer science and related fields. This is the first textbook
treatment of the algebraic approach to graph transformation, based on
algebraic structures and category theory.
Part I is an introduction to the classical case of graph and typed graph
transformation. In Part II basic and advanced results are first shown
for an abstract form of replacement systems, so-called adhesive
high-level replacement systems based on category theory, and are then
instantiated to several forms of graph and Petri net transformation
systems. Part III develops typed attributed graph transformation, a
technique of key relevance in the modeling of visual languages and in
model transformation. Part IV contains a practical case study on model
transformation and a presentation of the AGG (attributed graph grammar)
tool environment. Finally the appendix covers the basics of category
theory, signatures and algebras.
The book addresses both research scientists and graduate students in
computer science, mathematics and engineering.