arXiv:1712.08345v1 [cs.LO] 22 Dec 2017
|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 Hypegraph 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|
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.