@inbook{67972571644442c0bf6e1f8a90aeb169,
title = "A tutorial on graph transformation",
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.",
keywords = "2019 OA procedure, Tutorial, Graph transformation",
author = "Barbara K{\"o}nig and Dennis Nolte and Julia Padberg and Arend Rensink",
year = "2018",
month = feb,
day = "7",
doi = "10.1007/978-3-319-75396-6_5",
language = "English",
isbn = "978-3-319-75395-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "83--104",
editor = "Reiko Heckel and Gabriele Taentzer",
booktitle = "Graph Transformation, Specifications, and Nets",
address = "Germany",
}