Published: 10th April 2015
DOI: 10.4204/EPTCS.181
ISSN: 2075-2180

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

Additional Reviewers

GaM Steering Committee