PORGY: Strategy-Driven Interactive Transformation of Graphs
arXiv:1102.2654 · doi:10.4204/EPTCS.48.7
Abstract
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 Proceedings TERMGRAPH 2011, arXiv:1102.2268
References in corpus (1)
Cited by in corpus (11)
- A new graphical calculus of proofs
- Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework
- Attributed Hierarchical Port Graphs and Applications
- Towards a GPU-based implementation of interaction nets
- A Language for Describing Optimization Strategies
- A rewriting point of view on strategies
- Generic Strategies for Chemical Space Exploration
- Extending the Interaction Nets Calculus by Generic Rules
- A Simple Parallel Implementation of Interaction Nets in Haskell
- A Graphical Framework for the Category-Based Metamodel for Access Control and Obligations
- Bigraphical Nets