GReTA seminar #29: "Tutorial on Graph Transformation Concepts and Applications - Part 3"
Channel: GReTA Seminar
Date: 2022-03-25

Speaker:

Reiko Heckel (Department of Informatics, University of Leicester, UK)


Abstract:

This is the 3rd in a series of tutorials based on the book on /Graph Transformation for Software Engineers/ co-authored with Gabi Taentzer at the University of Marburg.
 
The first tutorial in this series introduced the fundamental concepts and notations based on Part 1 of the book. The second tutorial provided an overview of the applications in Part 2 and covered in more detail the detection of inconsistent functional requirements,
 
In this third tutorial we will focus on the use of graph transformation rules as /visual contracts/, to model services from both a provider’s and requester’s point of view, and match required with provided services. We also describe how to reverse engineer visual contracts from service implementations in Java.
 
The book is available to buy from Springer (https://link.springer.com/book/10.1007/978-3-030-43916-3) and a free PDF copy  can be found at the authors’ website (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).