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...
Main Authors: | , , , , , |
---|---|
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 |