Abstract
Insight in the global structure of a state space is of great help in the analysis of the underlying process. We present a tool to visualize the structure of very large state spaces. It uses a clustering method to obtain a simplified representation, which is used as a backbone for the display of the entire state space. With this tool we are able to answer questions about the global structure of a state space that cannot easily be answered by conventional methods. We show this by presenting a number of visualizations of real-world protocols.
Chapter PDF
References
J. Baeten and P. Weijland: Process Algebra. Cambridge Tracts in Theoretical Computer Science, Vol. 18. Cambridge Univ. Press, Cambridge, 1991.
S.C.C. Blom, W.J. Fokkink, J.F. Groote, I.A. van Langevelde, B. Lisser and J.C. van de Pol. μCRL: A Toolset for Analysing Algebraic Specifications. CAV’ 01, pp. 250–254, LNCS 2102, 2001.
J.F. Groote, J. Pang and A.G. Wouters. A Balancing Act: Analysing a Distributed Lift System. Technical Report, Dept. of Software Eng., CWI, Amsterdam.
J.F. Groote and F. van Ham. State Space Visualization. Technical Report #0214, Dept. of Mathematics and Computer Science, Technische Univ. Eindhoven, 2002.
F. van Ham, H. van deWetering and J.J. van Wijk. Visualization of State Transition Graphs, Proc. IEEE Conf. on Information Visualization’ 01, pp 59–66, 2001.
F. van Ham. Interactive Visualization of State Transition Systems. Project website at http://www.win.tue.nl/~fvham/fsm/ .
S. Mauw and G.J. Veltink (eds). Algebraic Specifications of Communication Protocols. Cambridge Tracts in Theoretical Computer Science, Vol. 36. Cambridge Univ. Press, Cambridge, 1993.
G.G. Robertson, J.D. Mackinlay and S.K. Card. Cone Trees: Animated 3D Visualizations of Hierarchical Information. CHI’ 91 Conf. Proc., pp 189–194, 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Groote, J.F., van Ham, F. (2003). Large State Space Visualization. In: Garavel, H., Hatcliff, J. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2003. Lecture Notes in Computer Science, vol 2619. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36577-X_42
Download citation
DOI: https://doi.org/10.1007/3-540-36577-X_42
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00898-9
Online ISBN: 978-3-540-36577-8
eBook Packages: Springer Book Archive