Tutorial Introduction to Graph Transformation

This tutorial is intended as a general introduction to graph transformation for participants to the conference or its satellite events who are not familiar with the mainstream approaches and concepts of the area. The tutorial will start with an informal introduction to the basic concepts of graph transformation, such as graphs, rules, transformations, discussing semantic choices such as the handling of dangling edges during rewriting, and extensions such as attributes, types, or inheritance.

In the second part, the tutorial will give a survey of typical applications of graph transformation, for example as a specification language and semantic model for concurrent and distributed systems, as a model transformation language for defining syntax, semantics, and manipulation of visual models, etc.

Finally, the tutorial will go into some details about the theory of (in particular) the algebraic approach to graph transformation, its formal foundations and relevant theory and tools. This shall enable the participants to better appreciate the conference and its satellite events.