Visualization of State Transition Graphs

A new method for the visualization of state transition graphs 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. The resulting visualization makes it easier to relate features in the visualization of the state transition graph to semantic concepts in the corresponding process and vice versa.

[1]  Helen C. Purchase,et al.  Which Aesthetic has the Greatest Effect on Human Understanding? , 1997, GD.

[2]  Edsger W. Dijkstra,et al.  The humble programmer , 1972, CACM.

[3]  Jarke J. van Wijk,et al.  Interactive Visualization of State Transition Systems , 2002, IEEE Trans. Vis. Comput. Graph..

[4]  John M. Chambers,et al.  Graphical Methods for Data Analysis , 1983 .

[5]  Ivan Herman,et al.  Graph Visualisation and Navigation in Information Visualisation , 1999, Eurographics.

[6]  Matthew O. Ward,et al.  XmdvTool: integrating multiple methods for visualizing multivariate data , 1994, Proceedings Visualization '94.

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

[8]  Barbara Tversky,et al.  Animation: can it facilitate? , 2002, Int. J. Hum. Comput. Stud..

[9]  Martin Wattenberg,et al.  Arc diagrams: visualizing structure in strings , 2002, IEEE Symposium on Information Visualization, 2002. INFOVIS 2002..

[10]  Colin Ware,et al.  Information Visualization: Perception for Design , 2000 .

[11]  Martin Wattenberg,et al.  Sketching a graph to query a time-series database , 2001, CHI Extended Abstracts.

[12]  Joseph Bentsman,et al.  Nonlinear control oriented boiler modeling-a benchmark problem for controller design , 1996, IEEE Trans. Control. Syst. Technol..

[13]  Colin Ware.  Designing with a 2 1/2-D Attitude , 2001 .

[14]  Jarke J. van Wijk,et al.  Cluster and Calendar Based Visualization of Time Series Data , 1999, INFOVIS.

[15]  Jacques Bertin,et al.  Graphics and graphic information-processing , 1981 .

[16]  Jan Friso Groote,et al.  A Formal Verification of the Alternating Bit Protocol in the Calculus of Constructions , 1993 .

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

[18]  Lisa Tweedie,et al.  Characterizing interactive externalizations , 1997, CHI.

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

[20]  Ben Shneiderman,et al.  Readings in information visualization - using vision to think , 1999 .

[21]  Alfred Inselberg,et al.  Parallel coordinates: a tool for visualizing multi-dimensional geometry , 1990, Proceedings of the First IEEE Conference on Visualization: Visualization `90.

[22]  Bonnie A. Nardi,et al.  Beyond Models and Metaphors: Visual Formalisms in User Interface Design , 1993, J. Vis. Lang. Comput..

[23]  Ramana Rao,et al.  The table lens: merging graphical and symbolic representations in an interactive focus + context visualization for tabular information , 1994, CHI '94.

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

[25]  Alan Watt,et al.  3D Computer Graphics , 1993 .

[26]  David Hillel Gelernter.  Machine Beauty: Elegance And The Heart Of Technology , 1998 .

[27]  Jarke J. van Wijk,et al.  Beamtrees: compact visualization of large hierarchies , 2002, Inf. Vis..

[28]  Jarke J. van Wijk,et al.  Bringing Computational Steering to the User , 1997, Scientific Visualization Conference (dagstuhl '97).

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

[30]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

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

[32]  Donald A. Norman,et al.  Things That Make Us Smart: Defending Human Attributes In The Age Of The Machine , 1993 .

[33]  Ben Shneiderman,et al.  The eyes have it: a task by data type taxonomy for information visualizations , 1996, Proceedings 1996 IEEE Symposium on Visual Languages.

[34]  Matthew O. Ward,et al.  Visual Hierarchical Dimension Reduction for Exploration of High Dimensional Datasets , 2003, VisSym.

[35]  Marc Alexa,et al.  Visualizing time-series on spirals , 2001, IEEE Symposium on Information Visualization, 2001. INFOVIS 2001..

[36]  Stephen G. Eick,et al.  Space-filling Software Visualization , 1995, J. Vis. Lang. Comput..

[37]  Austin Henderson,et al.  Interaction design: beyond human-computer interaction , 2002, UBIQ.

[38]  Thomas Ertl,et al.  Computer Graphics - Principles and Practice, 3rd Edition , 2014 .

[39]  Wan Fokkink,et al.  Introduction to Process Algebra , 1999, Texts in Theoretical Computer Science. An EATCS Series.

[40]  Orna Grumberg,et al.  Abstract interpretation of reactive systems , 1997, TOPL.

[41]  M. Carter.  Computer graphics: Principles and practice , 1997 .

[42]  Sougata Mukherjea,et al.  Glyphmaker: creating customized visualizations of complex data , 1994, Computer.

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

[44]  Edward R. Tufte,et al.  The Visual Display of Quantitative Information , 1986 .

[45]  Ben Shneiderman,et al.  Tree visualization with tree-maps: 2-d space-filling approach , 1992, TOGS.

[46]  Wan Fokkink,et al.  Model checking a cache coherence protocol for a Java DSM implementation , 2003, Proceedings International Parallel and Distributed Processing Symposium.

[47]  C. Pollard,et al.  Center for the Study of Language and Information , 2022 .

[48]  Ivan Herman,et al.  Graph Visualization and Navigation in Information Visualization: A Survey , 2000, IEEE Trans. Vis. Comput. Graph..

[49]  Vincent Kanade,et al.  Clustering Algorithms , 2021, Wireless RF Energy Transfer in the Massive IoT Era.

[50]  Stefan Berchtold,et al.  Similarity clustering of dimensions for an enhanced visualization of multidimensional data , 1998, Proceedings IEEE Symposium on Information Visualization (Cat. No.98TB100258).

[51]  Ioannis G. Tollis,et al.  On the Edge Label Placement Problem , 1996, GD.

[52]  Eser Kandogan,et al.  Visualizing multi-dimensional clusters, trends, and outliers using star coordinates , 2001, KDD '01.

[53]  Ted Mihalisin,et al.  Visualization and analysis of multi-variate data: a technique for all fields , 1991, Proceeding Visualization '91.

[54]  Jan Friso Groote,et al.  µCRL: A Toolset for Analysing Algebraic Specifications , 2001, CAV.

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

[56]  Emden R. Gansner,et al.  An open graph visualization system and its applications to software engineering , 2000, Softw. Pract. Exp..

[57]  Thierry Jéron,et al.  3D Layout of Reachability Graphs of Communicating Processes , 1994, Graph Drawing.

[58]  Robert L. Glass,et al.  Sorting out software complexity , 2002, CACM.

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

[60]  Manojit Sarkar,et al.  Graphical fisheye views of graphs , 1992, CHI.

[61]  S J Hage,et al.  What's wrong with this picture? , 1994, Radiology management.

[62]  P Beatty,et al.  Bridging the gaps. , 1990, Hospital trustee.

[63]  Alexander Wolff,et al.  A Combinatorial Framework for Map Labeling , 1998, Graph Drawing.

[64]  James L. Peterson,et al.  Petri Nets , 1977, CSUR.

[65]  Eamonn J. Keogh,et al.  A symbolic representation of time series, with implications for streaming algorithms , 2003, DMKD '03.

[66]  Daniel Asimov,et al.  The grand tour: a tool for viewing multidimensional data , 1985 .

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

[68]  Robin Wilson,et al.  Graphs an Introductory Approach , 1990, The Mathematical Gazette.

[69]  Bernard Kerr.  Thread Arcs: an email thread visualization , 2003, IEEE Symposium on Information Visualization 2003 (IEEE Cat. No.03TH8714).

[70]  Ganesh S. Oak.  Information Visualization Introduction , 2022 .

[71]  Yvonne Rogers,et al.  External cognition: how do graphical representations work? , 1996, Int. J. Hum. Comput. Stud..

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

[73]  Edward Rolf Tufte,et al.  The visual display of quantitative information , 1985 .

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

[75]  Bruce H. McCormick,et al.  Visualization: expanding scientific and engineering research opportunities , 1989, Computer.