EPTCS 181

Proceedings
Graphs as Models
London, UK, 11-12 April 2015

Edited by: Arend Rensink and Eduardo Zambon

Preface Arend Rensink and Eduardo Zambon
Confluence Detection for Transformations of Labelled Transition Systems Anton Wijs	1
!-Graphs with Trivial Overlap are Context-Free Aleks Kissinger and Vladimir Zamdzhiev	16
Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model Alexander Heußner, Christopher M. Poskitt, Claudio Corrodi and Benjamin Morandi	32
A Reference Interpreter for the Graph Programming Language GP 2 Christopher Bak, Glyn Faulkner, Detlef Plump and Colin Runciman	48
A Visual Analytics Approach to Compare Propagation Models in Social Networks Jason Vallet, Hélène Kirchner, Bruno Pinaud and Guy Melançon	65
Dynamic Programming on Nominal Graphs Nicklas Hoch, Ugo Montanari and Matteo Sammartino	80
Improved Conflict Detection for Graph Transformation with Attributes Géza Kulcsár, Frederik Deckwerth, Malte Lochau, Gergely Varró and Andy Schürr	97
Detecting and Refactoring Operational Smells within the Domain Name System Marwan Radwan and Reiko Heckel	113
Aggregation by Provenance Types: A Technique for Summarising Provenance Graphs Luc Moreau	129

Preface

This volume contains the proceedings of the (first) Graphs as Models 2015 workshop, held on 10-11 April 2015 in London, U.K., as a satellite workshop of ETAPS 2015, the European Joint Conferences on Theory and Practice of Software.

Graphs are used as models in all areas of computer science: examples are state space graphs, control flow graphs, syntax graphs, UML-type models of all kinds, network layouts, social networks, dependency graphs, and so forth. Used to model a particular phenomenon or process, graphs are then typically analysed to find out properties of the modelled subject, or transformed to construct other types of models.

The new Graphs as Models (GaM) workshop combines the strengths of two pre-existing workshop series: GT-VMT (Graph Transformation and Visual Modelling Techniques) and GRAPHITE (Graph Inspection and Traversal Engineering).

For the workshop, we received 15 submissions, three of which reported work in progress (which we had called for as a special category, to be initially accepted only for presentation). Nine papers were eventually accepted, including two of the work-in-progress papers; the latter two also appear in this volume, after an additional round of revision and reviewing.

For the workshop we were pleased to attract an invited presentation:

Network Analysis of Online Communities-Applications and Tools
by Heinz Ulrich Hoppe, University of Duisburg-Essen

We would like to thank the authors of the submitted papers, the invited speaker, the members of the programme committee, and their subreviewers for their contribution to both the meeting and this volume. We also thank the ETAPS Steering Committee for hosting GaM 2015.

Arend Rensink and Eduardo Zambon
April 2015

Programme Committee

Vicente Acuña, University of Chile, Chile
Dragan Bošnacki, TU Eindhoven, Netherlands
Mohammad Dashti, ETH Zurich, Switzerland
Stefan Edelkamp, University of Bremen, Germany
Gregor Engels, University of Paderborn, Germany
Holger Giese, Hasso Plattner Institute, Germany
Henri Hansen, Tampere University of Technology, Finland
Reiko Heckel, University of Leicester, England
Keijo Heljanko, Aalto University, Finland
Frank Hermann, Carmeq GmbH (VW), Germany
Barbara König, University of Duisburg-Essen, Germany
Christian Krause, SAP Innovation Center Potsdam, Germany
Jochen Küster, Bielefeld University of Applied Sciences, Germany
Yngve Lamo, Bergen University, Norway
Juan de Lara, Universidad Autónoma de Madrid, Spain
Alberto Lluch-Lafuente, Technical University of Denmark, Denmark
Alice Miller, University of Glasgow, Scotland
Mark Minas, Universität der Bundeswehr München, Germany
Leila Ribeiro, Federal University of Rio Grande do Sul, Brazil
Andy Schürr, TU Darmstadt, Germany
Gabriele Taentzer, Philipps-Universität Marburg, Germany
Matthias Tichy, Chalmers University of Technology, Sweden
Dániel Varró, Budapest University of Technology and Economics, Hungary
Bernhard Westfechtel, University of Bayreuth, Germany
Anton Wijs, RWTH Aachen University, Germany & TU Eindhoven, Netherlands

Additional Reviewers

Stefan Heindorf
Abdullah Alqahtani
Gergely Varro
Dennis Nolte
Johannes Dyck
Nico Nachtigall
Susann Gottmann
Sander de Putter
Juho Lauri
Grischa Liebel
Jun Pang
Oszkár Semeráth

GaM Steering Committee