Graph Creation, Visualisation and Transformation

Maribel Fernández
(King's College London)
Olivier Namet
(King's College London)

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.

In Ian Mackie and Anamaria Martins Moreira: Proceedings Tenth International Workshop on Rule-Based Programming (RULE 2009), Brasília, Brazil , 28th June 2009, Electronic Proceedings in Theoretical Computer Science 21, pp. 1–11.
Published: 30th March 2010.

ArXived at: https://dx.doi.org/10.4204/EPTCS.21.1 bibtex PDF

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org