| | This Article | |
| |
| |
| | Share | |
| |
| |
| | Bibliographic References | |
| |
| |
| | Add to: | |
| |
 Digg
 Furl
 Spurl
 Blink
 Simpy
 Google
 Del.icio.us
 Y!MyWeb
| |
| | Search | |
| |
| |
| | |
Visual Analysis of Multivariate State Transition Graphs
September-October 2006 (vol. 12 no. 5)
pp. 685-692
We present a new approach for the visual analysis of state transition graphs. We deal with multivariate graphs where a number of attributes are associated with every node. Our method provides an interactive attribute-based clustering facility. Clustering results in metric, hierarchical and relational data, represented in a single visualization. To visualize hierarchically structured quantitative data, we introduce a novel technique: the bar tree. We combine this with a node-link diagram to visualize the hierarchy and an arc diagram to visualize relational data. Our method enables the user to gain significant insight into large state transition graphs containing tens of thousands of nodes. We illustrate the effectiveness of our approach by applying it to a real-world use case. The graph we consider models the behavior of an industrial wafer stepper and contains 55 043 nodes and 289 443 edges.
[1] A. Arnold, Finite Transition Systems. Prentice Hall, 1994.
[2] D. Dams and R. Gerth, Abstract interpretation of reactive systems. ACM Transactions on Programming Languages and Systems, 19 (2): 253–291, 1997.
[3] W.J. Fokkink, Introduction to Process Algebra. Springer, 2000.
[4] E.R. Gansner and S.C. North, An open graph visualization system and its applications to software engineering. Software — Practice and Experience 2000, 30 (11): 1203–1233, 2000.
[5] M. Hendriks, B. van den Nieuwelaar, and F. Vaandrager, Model checker aided design of a controller for a wafer scanner. In Proceedings of the First International Symposium on Leveraging Applications of Formal Methods 2004 (ISOLA '04), pages 201–209, 2004.
[6] T. Jeron and C. Jard, 3D layout of reachability graphs of communicating processes. In Proceedings of the DIMACS International Workshop on Graph Drawing (GD '94), pages 25–32, 1994.
[7] B. Kerr, Thread Arcs: an email thread visualization. In Proceedings of the IEEE Symposium on Information Visualization (InfoVis '03), pages 27–34, 2003.
[8] M. Leuschel and E. Turner, Visualizing larger state spaces in ProB. In Proceedings of the Fourth International Conference of B and Z Users, pages 6–23, 2005.
[9] T. Mihalisin, J. Timlin, and J. Schwegler, Visualization and analysis of multi-variate data: a technique for all fields. In Proceedings of IEEE Visualization (Visualization '91), pages 171–178, 1991.
[10] P. Neumann, S. Schlechtweg, and S. Carpendale, ArcTrees: visualizing relations in hierarchical data. In Proceedings of the Eurographics IEEE VGTC Symposium on Visualization (EuroVis 2005), pages 53–60, 2005.
[11] A.J. Pretorius www.win.tue.nl/~apretorinoodleview, 2006.
[12] A.J. Pretorius and J.J. van Wijk, Multidimensional visualization of transition systems. In Proceedings of the Ninth International Conference on Information Visualization (IV05), pages 323–328, 2005.
[13] M. Sarkar and M. H. Brown, Graphical fisheye views of graphs. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '92), pages 83–91, 1992.
[14] B. Shneiderman, Tree visualization with Tree-Maps: 2-D space filling approach. ACM Transactions on Graphics, 11 (1): 92–99, 1992.
[15] F. van Ham, H. van de Wetering, and J.J. van Wijk, Interactive visualization of state transition systems. IEEE Transactions on Visualization and Computer Graphics, 8 (3): 319–329, 2002.
[16] F. van Ham and J.J. van Wijk, Beam Trees: compact visualization of large hierarchies. In Proceedings of the IEEE Symposium on Information Visualization (InfoVis '02), pages 93–100, 2002.
[17] C. Ware, Designing with a 2 1/2D attitude. Information Design Journal, 10 (3): 255–262, 2001.
[18] M. Wattenberg, Arc Diagrams: visualizing structure in strings. In Proceedings of the IEEE Symposium on Information Visualization (InfoVis '02), pages 110–116, 2002.
[19] M. Wattenberg, Visual exploration of multivariate graphs. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI '06), pages 811–819, 2006.
Index Terms:
Graph visualization, multivariate visualization, interactive clustering, state spaces, transition systems, finite state machines.
Citation:
A. Johannes Pretorius, Jarke J. Van Wijk, "Visual Analysis of Multivariate State Transition Graphs," IEEE Transactions on Visualization and Computer Graphics, vol. 12, no. 5, pp. 685-692, Sept. 2006, doi:10.1109/TVCG.2006.192
