Interactive Visualization of State Transition Systems

A new method for the visualization of state transition systems is presented. Visual information is reduced by clustering nodes, forming a tree structure of related clusters. This structure is visualized in three dimensions with concepts from cone trees and emphasis on symmetry. A number of interactive options are provided as well, allowing the user to superimpose detail information on this tree structure. The resulting visualization enables the user to relate features in the visualization of the state transition graph to semantic concepts in the corresponding process and vice versa.

[1]  Robert J. Hendley,et al.  Narcissus: visualising information , 1995 .

[2]  André Arnold,et al.  Finite transition systems - semantics of communicating systems , 1994, Prentice Hall international series in computer science.

[3]  Jock D. Mackinlay,et al.  Cone Trees: animated 3D visualizations of hierarchical information , 1991, CHI.

[4]  Rick Kazman,et al.  Research report. Interacting with huge hierarchies: beyond cone trees , 1995, Proceedings of Visualization 1995 Conference.

[5]  Mitsuhiko Toda,et al.  Methods for Visual Understanding of Hierarchical System Structures , 1981, IEEE Transactions on Systems, Man, and Cybernetics.

[6]  Ieee Standards Board.  IEEE Standard for a High Performance Serial Bus-Amendment 1 , 2000 .

[7]  Peter Eades,et al.  Multilevel Visualization of Clustered Graphs , 1996, GD.

[8]  J. V. van Wijk,et al.  Visualization of state transition graphs , 2001, IEEE Symposium on Information Visualization, 2001. INFOVIS 2001..

[9]  J. F. Groote,et al.  A balancing act : analyzing a distributed lift system , 2001 .

[10]  Anil K. Jain,et al.  Algorithms for Clustering Data , 1988 .

[11]  Tamara Munzner,et al.  Visualizing the structure of the World Wide Web in 3D hyperbolic space , 1995, VRML '95.

[12]  Russell Beale,et al.  Case study. Narcissus: visualising information , 1995, Proceedings of Visualization 1995 Conference.

[13]  Colin Ware,et al.  Layout for Visualizing Large Software Structures in 3D , 1997 .

[14]  S. P. Luttik.  Description and formal specification of the Link Layer of P1394 , 1997, FME 1997.

[15]  André Arnold,et al.  Finite transition systems , 1994 .

[16]  W. T. Tutte.  How to Draw a Graph , 1963 .