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
Université Sciences et Technologies - Bordeaux 1, Inria Bordeaux - Sud-Ouest, École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), CNRS - Centre National de la Recherche Scientifique : UMR
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
Conf. on Visual Analytics Science and Technology (VAST), 2011 IEEE (Poster Abstract), Oct 2011, Providence, United States. pp.293-294, 2011, 〈http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6102480〉. 〈10.1109/VAST.2011.6102480〉
Liste complète des métadonnées

Cited literature [6 references]  Display  Hide  Download

https://hal.inria.fr/inria-00617547
Contributor : Bruno Pinaud <>
Submitted on : Monday, August 29, 2011 - 2:57:24 PM
Last modification on : Thursday, January 11, 2018 - 6:22:12 AM
Document(s) archivé(s) le : Tuesday, November 13, 2012 - 9:35:56 AM

File

porgy.pdf
Files produced by the author(s)

Identifiers

Citation

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, 〈http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6102480〉. 〈10.1109/VAST.2011.6102480〉. 〈inria-00617547〉

Share

Metrics

Record views

357

Files downloads

278