University of Cambridge

Logic
&
Semantics

Introduction to Algebraic Graph Transformation

By Hartmut Ehrig (Technische Universität Berlin).

Graphs and graph transformations are powerful visual concepts and techniques to model all kind of systems in Computer Science and related areas. In this lecture we give an introduction to the algebraic approach of graph transformation, called double-pushout (DPO) - approach, and a short overview of related approaches and main application areas. We present main concepts and results concerning parallelism, consistency and application conditions. Finally we make some remarks concerning relative pushouts used by Milner and others in the new framework of bigraphical reactive systems.