HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Poster communications

PORGY: Interactive and Visual Reasoning with Graph Rewriting Systems

Bruno Pinaud 1, 2 Jonathan Dubois 1, 2 Guy Melançon 2, 1
1 GRAVITE - Graph Visualization and Interactive Exploration
CNRS - Centre National de la Recherche Scientifique : UMR, École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Inria Bordeaux - Sud-Ouest, Université Sciences et Technologies - Bordeaux 1
Abstract : Graph rewriting systems have long been around in theoretical computer science, and are used as a computing model in discrete mathematics, algebra, mathematical logic or even linguistics. Graph rewriting systems operate on graphs by substituting local patterns. Starting from an initial graph, the system iterates transformation rules in a non necessarily deterministic way. The combination of rule applications turn the study of such a system into an involved task requiring high level expertise. The inherent complexity of graph rewriting systems motivated the use of graphical diagrams, even by experts, to convey ideas and theoretical concepts. In these situations, users are not experts in theoretical computer science but rather focus on how a graph rewriting system behaves as a model of the problem they study. Questions emerging from the target application nevertheless translate into questions about the rewriting system. The goal of this work is to allow users to experiment with a graph rewriting system, and reason about the system or the model it supports based on graphical representations of all its components. Visually reasoning about the system, domain experts are able to abstract and refine models, use simulation and deduction to compute or check postulated properties and make testable predictions about possible outcomes. PORGY possesses genuine features and appears to be the first system to offer multiple coordinated views, allowing users to visualize and manipulate the system at both a global and local scale.
Document type :
Poster communications
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download

Contributor : Bruno Pinaud Connect in order to contact the contributor
Submitted on : Monday, August 29, 2011 - 2:57:24 PM
Last modification on : Monday, December 20, 2021 - 4:50:10 PM
Long-term archiving on: : Tuesday, November 13, 2012 - 9:35:56 AM


Files produced by the author(s)




Bruno Pinaud, Jonathan Dubois, Guy Melançon. PORGY: Interactive and Visual Reasoning with Graph Rewriting Systems. Conf. on Visual Analytics Science and Technology (VAST), 2011 IEEE (Poster Abstract), Oct 2011, Providence, United States. pp.293-294, 2011, ⟨10.1109/VAST.2011.6102480⟩. ⟨inria-00617547⟩



Record views


Files downloads