PORGY: Strategy-Driven Interactive Transformation of Graphs

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...

Full description

Bibliographic Details
Main Authors: Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Olivier Namet, Bruno Pinaud
Format: Article
Language:English
Published: Open Publishing Association 2011-02-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1102.2654v1
_version_ 1811317817442566144
author Oana Andrei
Maribel Fernández
Hélène Kirchner
Guy Melançon
Olivier Namet
Bruno Pinaud
author_facet Oana Andrei
Maribel Fernández
Hélène Kirchner
Guy Melançon
Olivier Namet
Bruno Pinaud
author_sort Oana Andrei
collection DOAJ
description 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.
first_indexed 2024-04-13T12:14:58Z
format Article
id doaj.art-5cbb71ef019d4316a2bb7ef85a9427e6
institution Directory Open Access Journal
issn 2075-2180
language English
last_indexed 2024-04-13T12:14:58Z
publishDate 2011-02-01
publisher Open Publishing Association
record_format Article
series Electronic Proceedings in Theoretical Computer Science
spelling doaj.art-5cbb71ef019d4316a2bb7ef85a9427e62022-12-22T02:47:23ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802011-02-0148Proc. TERMGRAPH 2011546810.4204/EPTCS.48.7PORGY: Strategy-Driven Interactive Transformation of GraphsOana AndreiMaribel FernándezHélène KirchnerGuy MelançonOlivier NametBruno PinaudThis 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.http://arxiv.org/pdf/1102.2654v1
spellingShingle Oana Andrei
Maribel Fernández
Hélène Kirchner
Guy Melançon
Olivier Namet
Bruno Pinaud
PORGY: Strategy-Driven Interactive Transformation of Graphs
Electronic Proceedings in Theoretical Computer Science
title PORGY: Strategy-Driven Interactive Transformation of Graphs
title_full PORGY: Strategy-Driven Interactive Transformation of Graphs
title_fullStr PORGY: Strategy-Driven Interactive Transformation of Graphs
title_full_unstemmed PORGY: Strategy-Driven Interactive Transformation of Graphs
title_short PORGY: Strategy-Driven Interactive Transformation of Graphs
title_sort porgy strategy driven interactive transformation of graphs
url http://arxiv.org/pdf/1102.2654v1
work_keys_str_mv AT oanaandrei porgystrategydriveninteractivetransformationofgraphs
AT maribelfernandez porgystrategydriveninteractivetransformationofgraphs
AT helenekirchner porgystrategydriveninteractivetransformationofgraphs
AT guymelancon porgystrategydriveninteractivetransformationofgraphs
AT oliviernamet porgystrategydriveninteractivetransformationofgraphs
AT brunopinaud porgystrategydriveninteractivetransformationofgraphs