GReTA seminar #28: "Tutorial on Graph Transformation Concepts and Applications - Part 2"
Channel: GReTA Seminar
Date: 11/03/2022

Speaker:

Gabriele Taentzer (Fachbereich Mathematik und Informatik, Philipps-Universität Marburg, Germany)


Abstract:

This tutorial will be based on the book on "Graph Transformation for Software Engineers" co-authored with Reiko Heckel, University of Leicester, appeared at Springer in 2020. It is the first textbook that explains the most commonly used concepts, notations, techniques and applications of graph transformation in general, broadly accessible terms, without focusing on one particular mathematical representation or implementation approach. While the first part of the book introduces into the fundamentals in a precise, yet informal way, aiming to provides a comprehensive and systematic survey of the concepts, notations and techniques of graph transformation, the second part presents and discusses a range of applications to both model-based software engineering and domain-specific language engineering. The variety of these applications demonstrate how broadly graphs and graph transformations can be used to model, analyse and implement complex software systems and languages. The second part of this tutorial gives an overview of all the applications presented in the book and presents one topic, the detecting of inconsistent requirements, in more detail. The book is available from [Springer](https://link.springer.com/book/10.1007/978-3-030-43916-3), and a free authors' copy is available [here](http://graph-transformation-for-software-engineers.org/).


About the GReTA seminars:

The GReTA – Graph TRansformation Theory and Applications virtual seminar series aims to serve as a platform for the international graph rewriting community, to promote recent developments and trends in the field, and to permit a regular networking and interaction between members of this community. Seminars are held twice a month in the form of Zoom sessions (some of which will be live-streamed to YouTube). Please refer to http://www.irif.fr/~greta for further details (including information on how to register for participating in the Zoom meetings).