Showing 1–3 of 3 results for author: Namet, O

PORGY: Strategy-Driven Interactive Transformation of Graphs

Authors: Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Olivier Namet, Bruno Pinaud

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 feature… ▽ More 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. △ Less

Submitted 13 February, 2011; originally announced February 2011.

Comments: In Proceedings TERMGRAPH 2011, arXiv:1102.2268

Journal ref: EPTCS 48, 2011, pp. 54-68

Strategic programming on graph rewriting systems

Authors: Maribel Fernández, Olivier Namet

Abstract: We describe a strategy language to control the application of graph rewriting rules, and show how this language can be used to write high-level declarative programs in several application areas. This language is part of a graph-based programming tool built within the port-graph transformation and visualisation environment PORGY. We describe a strategy language to control the application of graph rewriting rules, and show how this language can be used to write high-level declarative programs in several application areas. This language is part of a graph-based programming tool built within the port-graph transformation and visualisation environment PORGY. △ Less

Submitted 27 December, 2010; originally announced December 2010.

Comments: In Proceedings IWS 2010, arXiv:1012.5337

Journal ref: EPTCS 44, 2010, pp. 1-20

Graph Creation, Visualisation and Transformation

Authors: Maribel Fernández, Olivier Namet

Abstract: We describe a tool to create, edit, visualise and compute with interaction nets - a form of graph rewriting systems. The editor, called GraphPaper, allows users to create and edit graphs and their transformation rules using an intuitive user interface. The editor uses the functionalities of the TULIP system, which gives us access to a wealth of visualisation algorithms. Interaction nets are not o… ▽ More We describe a tool to create, edit, visualise and compute with interaction nets - a form of graph rewriting systems. The editor, called GraphPaper, allows users to create and edit graphs and their transformation rules using an intuitive user interface. The editor uses the functionalities of the TULIP system, which gives us access to a wealth of visualisation algorithms. Interaction nets are not only a formalism for the specification of graphs, but also a rewrite-based computation model. We discuss graph rewriting strategies and a language to express them in order to perform strategic interaction net rewriting. △ Less

Submitted 22 March, 2010; originally announced March 2010.

Journal ref: EPTCS 21, 2010, pp. 1-11