PORGY: Strategy-Driven Interactive Transformation of Graphs

Oana Andrei
(School of Computing Science, University of Glasgow)
Maribel Fernández
(King's College London)
Hélène Kirchner
(INRIA Bordeaux Sud-Ouest)
Guy Melançon
(INRIA Bordeaux Sud-Ouest)
Olivier Namet
(King's College London)
Bruno Pinaud
(INRIA Bordeaux Sud-Ouest)

This paper investigates the use of graph rewriting systems as a modelling tool, and advocates the embedding of such systems in an interactive environment. One important application domain is the modelling of biochemical systems, where states are represented by port graphs and the dynamics is driven by rules and strategies. A graph rewriting tool's capability to interactively explore the features of the rewriting system provides useful insights into possible behaviours of the model and its properties. We describe PORGY, a visual and interactive tool we have developed to model complex systems using port graphs and port graph rewrite rules guided by strategies, and to navigate in the derivation history. We demonstrate via examples some functionalities provided by PORGY.

In Rachid Echahed: Proceedings 6th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2011), Saarbrücken, Germany, 2nd April 2011, Electronic Proceedings in Theoretical Computer Science 48, pp. 54–68.
Published: 11th February 2011.

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