Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework

Maribel Fernández
(King's College London, Department of Informatics, Strand, London WC2R 2LS, UK)
Hélène Kirchner
(Inria, Domaine de Voluceau, Rocquencourt BP 105, 78153 Le Chesnay Cedex, France)
Bruno Pinaud
(Bordeaux University, LaBRI CNRS UMR5800, 33405 Talence Cedex, France)

We present strategic portgraph rewriting as a basis for the implementation of visual modelling and analysis tools. The goal is to facilitate the specification, analysis and simulation of complex systems, using port graphs. A system is represented by an initial graph and a collection of graph rewriting rules, together with a user-defined strategy to control the application of rules. The strategy language includes constructs to deal with graph traversal and management of rewriting positions in the graph. We give a small-step operational semantics for the language, and describe its implementation in the graph transformation and visualisation tool PORGY.

In Dragan Bošnački, Stefan Edelkamp, Alberto Lluch Lafuente and Anton Wijs: Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014), Grenoble, France, 5th April 2014, Electronic Proceedings in Theoretical Computer Science 159, pp. 15–29.
Published: 29th July 2014.

ArXived at: http://dx.doi.org/10.4204/EPTCS.159.3 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org