Published: 3rd December 2020
DOI: 10.4204/EPTCS.330
ISSN: 2075-2180

EPTCS 330

Proceedings of the Eleventh International Workshop on
Graph Computation Models
Online-Workshop, 24th June 2020

Edited by: Berthold Hoffmann and Mark Minas

Preface
VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems
Nils Weidmann, Anthony Anjorin and James Cheney
1
Graph Repair and its Application to Meta-Modeling
Christian Sandmann
13
Modeling Adverse Conditions in the Framework of Graph Transformation Systems
Okan Özkan
35
An Algebraic Graph Transformation Approach for RDF and SPARQL
Dominique Duval, Rachid Echahed and Frédéric Prost
55
Graph Surfing in Reaction Systems from a Categorial Perspective
Hans-Jörg Kreowski and Aaron Lye
71
Encoding Incremental NACs in Safe Graph Grammars using Complementation
Andrea Corradini, Maryam Ghaffari Saadat and Reiko Heckel
88
Weak Greibach Normal Form for Hyperedge Replacement Grammars
Tikhon Pshenitsyn
108
Efficient Computation of Graph Overlaps for Rule Composition: Theory and Z3 Prototyping
Nicolas Behr, Reiko Heckel and Maryam Ghaffari Saadat
126
Reversibility and Composition of Rewriting in Hierarchies
Russ Harmer and Eugenia Oshurko
145
A Fast Graph Program for Computing Minimum Spanning Trees
Brian Courtehoute and Detlef Plump
163
Verifying Graph Programs with First-Order Logic
Gia S. Wulandari and Detlef Plump
181

Preface

This volume contains the post-proceedings of the Eleventh International Workshop on Graph Computation Models (GCM 2020). Due to the restrictions related to COVID-19, GCM 2020 was held as an online workshop on June 24, 2020.

Graphs are common mathematical structures that are visual and intuitive. They constitute a natural and seamless way for system modelling in science, engineering and beyond, including computer science, biology, business process modelling, etc. Graph computation models constitute a class of very high-level models where graphs are first-class citizens. The aim of the International GCM Workshop series is to bring together researchers interested in all aspects of computation models based on graphs and graph transformation. It promotes the cross-fertilizing exchange of ideas and experiences among senior and young researchers from the different communities interested in the foundations, applications, and implementations of graph computation models and related areas.

Previous editions of GCM series were held in Natal, Brazil (2006), Leicester, UK (2008), Enschede, The Netherlands (2010), Bremen, Germany (2012), York, UK (2014), L'Aquila, Italy (2015), Wien, Austria (2016), Marburg, Germany (2017), Toulouse, France (2018), and Eindhoven, The Netherlands (2019).

These post-proceedings contain revised versions of eleven selected papers from the GCM 2020 proceedings. All submissions were subject to careful refereeing. The topics of accepted papers range over a wide spectrum, including theoretical aspects of graph transformation, verification and parsing techniques as well as application issues of graph computation models.

We would like to thank all the people who contributed to the success of GCM 2020, especially the Program Committee and the additional reviewers for their valuable contributions to the selection process, as well as the contributing authors without whom this volume would not exist.

GCM 2020 Program Committee

Additional Reviewers

Berthold Hoffmann and Mark Minas
Program Committee Co-Chairs
Bremen and Munich, November 2020