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.
Type de document :
Poster
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

Littérature citée [6 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00617547
Contributeur : Bruno Pinaud <>
Soumis le : lundi 29 août 2011 - 14:57:24
Dernière modification le : jeudi 11 janvier 2018 - 06:22:12
Document(s) archivé(s) le : mardi 13 novembre 2012 - 09:35:56

Fichier

porgy.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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〉

Partager

Métriques

Consultations de la notice

321

Téléchargements de fichiers

267