Tutorial on Graph Transformation Concepts and Applications

Abstract

The tutorial will be based on the book on “Graph Transformation for Software Engineers” co-authored with Gabriele Taentzer at Philipps-Universität Marburg appeared at Springer last year. 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. In this spirit, the talk will cover 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 book is available from Springer, and a free authors' copy is available here.

Date
Friday, January 14, 2022 15:00 Europe/Paris
Event
GReTA seminar
Zoom registration: click here! Please consider joining the meeting already within the 15min prior to the start of the seminar to ensure your setup is functioning properly. You may connect with either the Zoom web or Zoom desktop clients.

Please note that the meeting will be recorded and live-streamed to YouTube:

Reiko Heckel
Reiko Heckel
Professor in Software Engineering

Reiko joined the University of Leicester in 2004 as Reader, was appointed Professor in Software Engineering in 2007 and served as Head of Department 2014-2018. He is the Director of Postgraduate Teaching and Data Analytics Lead of the Leicester Innovation Hub, the university’s shop window to local industry. Before coming to Leicester, Reiko held academic positions in Paderborn and Dortmund. He studied Computer Science at the Technical Universities of Dresden and Berlin and received his PhD (Dr.-Ing.) from the TU Berlin in 1998. Reiko is known for his work on model-based development, reengineering and testing, model transformations and the semantics of modelling languages. He published extensively on graph transformation, its concurrency theory, timed and stochastic variants, modularity and refinement. Reiko is chair of the Steering Committee the International Conference on Graph Transformation (ICGT) and president of the European Association for Software Science and Technology (EASST). He was co-chair of FASE 2006, ICGT 2008 as well as CALCO 2013. He is a member of the IFIP WG 1.3 - Foundations of System Specification.