POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An Algorithm for Subgraph Isomorphism
Journal of the ACM (JACM)
The AGG approach: language and environment
Handbook of graph grammars and computing by graph transformation
Proceedings of the 22nd international conference on Software engineering
An open graph visualization system and its applications to software engineering
Software—Practice & Experience - Special issue on discrete algorithm engineering
A Fast Adaptive Layout Algorithm for Undirected Graphs
GD '94 Proceedings of the DIMACS International Workshop on Graph Drawing
Encoding linear logic with interaction combinators
Information and Computation
A Graph Rewriting Programming Language for Graph Drawing
VL '98 Proceedings of the IEEE Symposium on Visual Languages
Task taxonomy for graph visualization
Proceedings of the 2006 AVI workshop on BEyond time and errors: novel evaluation methods for information visualization
IEEE Transactions on Visualization and Computer Graphics
The Graph Programming Language GP
CAI '09 Proceedings of the 3rd International Conference on Algebraic Informatics
A Nested Model for Visualization Design and Validation
IEEE Transactions on Visualization and Computer Graphics
A Port Graph Calculus for Autonomic Computing and Invariant Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
IEEE Transactions on Visualization and Computer Graphics
A Model and Analysis of the AKAP Scaffold
Electronic Notes in Theoretical Computer Science (ENTCS)
Animation, Small Multiples, and the Effect of Mental Map Preservation in Dynamic Graphs
IEEE Transactions on Visualization and Computer Graphics
GrGen: a fast SPO-based graph rewriting tool
ICGT'06 Proceedings of the Third international conference on Graph Transformations
A strategy language for graph rewriting
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
RuleBender: Integrated visualization for biochemical rule-based modeling
BIOVIS '11 Proceedings of the 2011 IEEE Symposium on Biological Data Visualization
Hi-index | 0.00 |
Graph rewriting systems (GRSs) operate on graphs by substituting local patterns according to a set of rewriting rules. The apparent simplicity of GRSs hides an incredible complexity and turns the study of these systems into an involved task requiring high-level expertise. We designed PORGY, an interactive visual environment to fully support GRSs related tasks, exploiting a long historical tradition of GRSs with node-link representations of graphs. PORGY enables rule-based modeling and simulation steering through graphical representations and direct manipulation of all GRSs components. This paper contributes a design study and task taxonomy relevant to the interactive visualization of GRSs. © 2012 Wiley Periodicals, Inc. (This work was supported by INRIA's Associate team program and the EVIDEN project (ANR 2010-JCJC-0201-01).)