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 |
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
- Barbara König, University of Duisburg-Essen
- Anton Wijs, University of Eindhoven
- Stefan Edelkamp, University of Bremen
- Juan de Lara, University of Madrid
- Frank Hermann, Carmeq GmbH (VW), Germany