### Abstract

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. In this contribution we give a tutorial on graph transformation that explains the so-called double-pushout approach to graph transformation in a rigorous, but non-categorical way, using a gluing construction. We explicate the definitions with several small examples. We also introduce attributes and attributed graph transformation in a lightweight form. The paper is concluded by a more extensive example on a leader election protocol, the description of tool support and pointers to related work.

Original language | English |
---|---|

Title of host publication | Graph Transformation, Specifications, and Nets |

Subtitle of host publication | In Memory of Hartmut Ehrig |

Editors | Reiko Heckel, Gabriele Taentzer |

Publisher | Springer |

Pages | 83-104 |

Number of pages | 22 |

ISBN (Electronic) | 978-3-319-75396-6 |

ISBN (Print) | 978-3-319-75395-9 |

DOIs | |

Publication status | E-pub ahead of print/First online - 7 Feb 2018 |

### Publication series

Name | Lecture Notes in Computer Science |
---|---|

Volume | 10800 |

ISSN (Print) | 0302-9743 |

ISSN (Electronic) | 1611-3349 |

### Fingerprint

### Keywords

- Graph Transformation
- Tutorial

### Cite this

*Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig*(pp. 83-104). (Lecture Notes in Computer Science; Vol. 10800). Springer. https://doi.org/10.1007/978-3-319-75396-6_5

}

*Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig.*Lecture Notes in Computer Science, vol. 10800, Springer, pp. 83-104. https://doi.org/10.1007/978-3-319-75396-6_5

**A tutorial on graph transformation.** / König, Barbara; Nolte, Dennis; Padberg, Julia; Rensink, Arend.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

TY - CHAP

T1 - A tutorial on graph transformation

AU - König, Barbara

AU - Nolte, Dennis

AU - Padberg, Julia

AU - Rensink, Arend

PY - 2018/2/7

Y1 - 2018/2/7

N2 - 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. In this contribution we give a tutorial on graph transformation that explains the so-called double-pushout approach to graph transformation in a rigorous, but non-categorical way, using a gluing construction. We explicate the definitions with several small examples. We also introduce attributes and attributed graph transformation in a lightweight form. The paper is concluded by a more extensive example on a leader election protocol, the description of tool support and pointers to related work.

AB - 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. In this contribution we give a tutorial on graph transformation that explains the so-called double-pushout approach to graph transformation in a rigorous, but non-categorical way, using a gluing construction. We explicate the definitions with several small examples. We also introduce attributes and attributed graph transformation in a lightweight form. The paper is concluded by a more extensive example on a leader election protocol, the description of tool support and pointers to related work.

KW - Graph Transformation

KW - Tutorial

UR - http://www.scopus.com/inward/record.url?scp=85041850755&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-75396-6_5

DO - 10.1007/978-3-319-75396-6_5

M3 - Chapter

SN - 978-3-319-75395-9

T3 - Lecture Notes in Computer Science

SP - 83

EP - 104

BT - Graph Transformation, Specifications, and Nets

A2 - Heckel, Reiko

A2 - Taentzer, Gabriele

PB - Springer

ER -