Published: 22nd December 2017
DOI: 10.4204/EPTCS.263
ISSN: 2075-2180

EPTCS 263

Proceedings Third Workshop on
Graphs as Models
Uppsala, Sweden, 23rd April 2017

Edited by: Timo Kehrer and Alice Miller

Preface
Timo Kehrer and Alice Miller
Analysing the Performance of GPU Hash Tables for State Space Exploration
Nathan Cassee and Anton Wijs
1
Rewriting in Free Hypergraph Categories
Fabio Zanasi
16
Features of Agent-based Models
Reiko Heckel, Alexander Kurz and Edmund Chattoe-Brown
31
On the Scalability of the GPUexplore Explicit-State Model Checker
Nathan Cassee, Thomas Neele and Anton Wijs
38

Preface

Graphs are used as models in many areas of computer science and computer engineering. For example graphs are used to represent syntax, control and data flow, dependency, state spaces, models such as UML and other types of domain-specific models, and social networks. In all of these examples, the graph serves as an intuitive yet mathematically precise foundation for many purposes, both in theory building as well as in practical applications. Graph-based models serve as an abstract communication medium and are used to describe various concepts and phenomena. Moreover, once such graph-based models are constructed, they can be analyzed and transformed to verify the correctness of static and dynamic properties, to discover new properties, to deeply study a particular domain of interest or to produce new equivalent and/or optimized versions of graph-based models.

The Graphs as Models (GaM) workshop series combines the strengths of two pre-existing workshop series: GT-VMT (Graph Transformation and Visual Modelling Techniques) and GRAPHITE (Graph Inspection and Traversal Engineering), but also solicits research from other related areas, such as social network analysis. GaM offers a platform for exchanging new ideas and results for active researchers in these areas, with a particular aim of boosting inter- and transdisciplinary research exploiting new applications of graphs as models in any area of computational science.

This year (2017), the third edition of the GaM workshop was co-located with the European Joint Conferences on Theory and Practice of Software 2017 (ETAPS'17), held in Uppsala, Sweden. We finally accepted four high-quality papers:, two full papers, one work-in-progress paper, and one tool demonstration paper. The contributions cover diverse approaches to using graphs as models and demonstrate the inter- and trans-disciplinary character of the workshop: Cassee and Wijs present their tool GPUExplore, a model checker which utilizes General Purpose Graphics Processors (GPUs) in order to significantly speed-up exhaustive state space exploration. A full research paper by the same authors reports about experimental results on using different implementations of hash tables within GPUExplore to efficiently keep track of already explored states. In his full paper Zanasi presents theoretical work on the interpretation of string diagram rewriting in hypergraph categories as double-pushout rewriting of hypergraphs, and shows that it enjoys decidability of confluence for terminating rewriting systems. Finally, Heckel, Kurz and Chattoe-Brown present their vision of a methodological framework for agent-based modeling in the sociology domain. Their key idea is to systematically express the factors that might affect the cognition and interactions of social actors by using feature models and graph transformation systems.

Besides having the aforementioned contributions, we were delighted to welcome three excellent speakers to the workshop to give invited talks. Yu-Fang Chen reported on his ongoing research on the commutativity problem of MapReduce Programs, investigating whether the output of a reducer is independent of the order of its inputs. Pierre Boutillier presented an overview of Kappa, an extensive graph rewriting formalism for structural systems biology which is capable of handling huge amounts of data on how molecules interact in cells. Finally, Michele Sevegnani reflected on past and current research on Bigraphs and Bigraphical Reactive Systems, once introduced by Robin Milner as a universal modeling formalism for representing the spatial configuration of physical and virtual objects, their interaction capabilities and their temporal evolution.

We would like to thank the ETAPS organization team, particularly the local organizers, for the excellent organization and service, and for making sure everything went smoothly. In addition, we would also take the chance to thank the program committee for their hard work, the GaM steering committee, particularly Barbara König, Arend Rensink and Anton Wijs, for all of their helpful support, as well as the participants of the workshop, including all authors and invited speakers, for their contributions and the fruitful and inspiring discussions during the workshop.


Timo Kehrer and Alice Miller


Program Commitee

Luciano Baresi, Politecnico di Milano
Paolo Bottoni, Sapienza University Rome
Dimitrios Christopoulos, Modul University Vienna
Andrea Corradini, University of Pisa
Stefan Edelkamp, University of Bremen
Andrew Fish, University of Brighton
Reiko Heckel, University of Leicester
Keijo Heljanko, Aalto University
Barbara König, University of Essen-Duisburg
Christian Krause, SAP Innovation Center Potsdam
Leen Lambers, Hasso-Plattner-Institut, Universität Potsdam
Renaud Lambiotte, University of Namur
Yngve Lamo, University of Bergen
Frédéric Lang, INRIA Grenoble Rhône-Alpes
Juan de Lara, Universidad Autonoma de Madrid
Mieke Massink, CNR-ISTI Pisa
Ugo Montanari, University of Pisa
Gethin Norman, University of Glasgow
Julia Padberg, HAW Hamburg
Detlef Plump, University of York
Arend Rensink, University of Twente
Leila Ribeiro, Universidade Federal do Rio Grande do Sul
Andy Schürr, TU Darmstadt
Scott Smolka, Stony Brook University
Daniel Strüber, University of Koblenz and Landau
Bernhard Westfechtel, University of Bayreuth
Anton Wijs, University of Eindhoven
Tim Willemse, Eindhoven University of Technology