PORGY: strategy-driven interactive transformation of graphs

Andrei, O. , Fernandez, M., Kirchner, H., Melancon, G., Namet, O. and Pinaud, B. (2011) PORGY: strategy-driven interactive transformation of graphs. Electronic Proceedings in Theoretical Computer Science, 48, pp. 54-68. (doi: 10.4204/EPTCS.48.7)

Full text not currently available from Enlighten.


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.

Item Type:Articles
Glasgow Author(s) Enlighten ID:Andrei, Dr Oana
Authors: Andrei, O., Fernandez, M., Kirchner, H., Melancon, G., Namet, O., and Pinaud, B.
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
College/School:College of Science and Engineering > School of Computing Science
Journal Name:Electronic Proceedings in Theoretical Computer Science
Journal Abbr.:EPTCS
Publisher:Open Publishing Association
Published Online:14 February 2011

University Staff: Request a correction | Enlighten Editors: Update this record