Petri nets: an introduction
Communicating sequential processes
Communicating sequential processes
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Process algebra
Cone Trees: animated 3D visualizations of hierarchical information
CHI '91 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Graph Drawing: Algorithms for the Visualization of Graphs
Graph Drawing: Algorithms for the Visualization of Graphs
Graph Visualization and Navigation in Information Visualization: A Survey
IEEE Transactions on Visualization and Computer Graphics
Interactive Visualization of State Transition Systems
IEEE Transactions on Visualization and Computer Graphics
Multilevel Visualization of Clustered Graphs
GD '96 Proceedings of the Symposium on Graph Drawing
Research report: Interacting with huge hierarchies: beyond cone trees
INFOVIS '95 Proceedings of the 1995 IEEE Symposium on Information Visualization
ASK-GraphView: A Large Scale Graph Visualization System
IEEE Transactions on Visualization and Computer Graphics
Bridging the Semantic Gap: Visualizing Transition Graphs with User-Defined Diagrams
IEEE Computer Graphics and Applications
Verified design of an automated parking garage
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Hi-index | 0.01 |
A transition system can be used to model the behaviour of a software system. A popular way of analysing this behaviour is by studying the corresponding transition system. An interactive visualization technique for showing the global structure of a transition system has been proposed by Van Ham et al. This technique clusters states and forms these clusters into a 3D structure similar to a cone tree, with the emphasis on symmetry. The technique has been used by analysts to study real-world systems. In this paper we solve a number of problems related to the symmetry of the visual representation and the misrepresentation of cluster sizes. This results in more effective and less misleading visualizations. In addition, we also extend the original technique by providing simulation facilities and a more effective state and cluster marking technique. These enhance the way in which a user can interact with the visualization.