Improving an interactive visualization of transition systems

ABSTRACT

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.

REFERENCES

• 1: James Abello , Frank van Ham , Neeraj Krishnan, ASK-GraphView: A Large Scale Graph Visualization System, IEEE Transactions on Visualization and Computer Graphics, v.12 n.5, p.669-676, September 2006 [doi>10.1109/TVCG.2006.120]
• 2: J. C. M. Baeten , W. P. Weijland, Process algebra, Cambridge University Press, New York, NY, 1991
• 3: Balzer, M., and Deussen, O. 2007. Level-of-detail visualization of clustered graph layouts. In Proc. APVIS '07, IEEE, 133--140.
• 4: Brewer, C., and Harrower, M., 2002. ColorBrewer. Available at http://www.colorbrewer.org.
• 5: J. Carriere , R. Kazman, Research report: Interacting with huge hierarchies: beyond cone trees, Proceedings of the 1995 IEEE Symposium on Information Visualization, p.74, October 30-31, 1995, Atlanta, Georgia
• 6: Giuseppe Di Battista , Peter Eades , Roberto Tamassia , Ioannis G. Tollis, Graph Drawing: Algorithms for the Visualization of Graphs, Prentice Hall PTR, Upper Saddle River, NJ, 1998
• 7: Peter Eades , Qing-Wen Feng, Multilevel Visualization of Clustered Graphs, Proceedings of the Symposium on Graph Drawing, p.101-112, September 18-20, 1996
• 8: Groote, J. F., Mathijssen, A., Reniers, M., Usenko, Y., and van Weerdenburg, M. 2007. The formal specification language mCRL2. In Proc. Methods for Modelling Software Systems, IBFI, Schloss Dagstuhl, Germany, Dagstuhl Seminar Proceedings 06351.
• 9: David Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, v.8 n.3, p.231-274, June 1, 1987 [doi>10.1016/0167-6423(87)90035-9]
• 10: Ivan Herman , Guy Melançon , M. Scott Marshall, Graph Visualization and Navigation in Information Visualization: A Survey, IEEE Transactions on Visualization and Computer Graphics, v.6 n.1, p.24-43, January 2000 [doi>10.1109/2945.841119]
• 11: C. A. R. Hoare, Communicating sequential processes, Prentice-Hall, Inc., Upper Saddle River, NJ, 1985
• 12: ITU-TS. 1996. ITU-TS recommendation Z.120: Message sequence chart 1996 (MSC96). Tech. rep., ITU-TS, Geneva.
• 13: Mathijssen, A., and Pretorius, A. J. 2006. Verified design of an automated parking garage. In Proc. FMICS and PDMC '06, Springer, LNCS 4346, 165--180.
• 14: mCRL2. Website at http://www.mcrl2.org.
• 15: R. Milner, A Calculus of Communicating Systems, Springer-Verlag New York, Inc., Secaucus, NJ, 1982
• 16: A. Johannes Pretorius , Jarke J. van Wijk, Bridging the Semantic Gap: Visualizing Transition Graphs with User-Defined Diagrams, IEEE Computer Graphics and Applications, v.27 n.5, p.58-66, September 2007 [doi>10.1109/MCG.2007.121]
• 17: Wolfgang Reisig, Petri nets: an introduction, Springer-Verlag New York, Inc., New York, NY, 1985
• 18: George G. Robertson , Jock D. Mackinlay , Stuart K. Card, Cone Trees: animated 3D visualizations of hierarchical information, Proceedings of the SIGCHI conference on Human factors in computing systems: Reaching through technology, p.189-194, April 27-May 02, 1991, New Orleans, Louisiana, United States [doi>10.1145/108844.108883]
• 19: Frank van Ham , Huub van de Wetering , Jarke J. van Wijk, Interactive Visualization of State Transition Systems, IEEE Transactions on Visualization and Computer Graphics, v.8 n.4, p.319-329, October 2002 [doi>10.1109/TVCG.2002.1044518]
• 20: van Ham, F. 2000. Visualization of State Transition Graphs. Master's thesis, Technische Universiteit Eindhoven.

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.5 INFORMATION INTERFACES AND PRESENTATION (I.7)
      H.5.2 User Interfaces (D.2.2, H.1.2, I.3.6)

Additional Classification:
  I. Computing Methodologies
  I.3 COMPUTER GRAPHICS
      I.3.8 Applications
  I.6 SIMULATION AND MODELING
      I.6.4 Model Validation and Analysis

Keywords:
3D visualization, cone trees, graph drawing, transition systems