Bridging the semantic gap: Visualizing transition graphs with user-defined diagrams

IEEE Computer Graphics and Applications

Volumn 27, Issue 5, 2007, Pages 58-66

  Pretorius, A Johannes ^a   van Wijk, Jarke J ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Finite state machines; Graph visualization; Multivariate visualization; State space analysis; State transition graphs; System analysis; User defined widgets

Indexed keywords

COMPUTER GRAPHICS; DATA VISUALIZATION; FINITE AUTOMATA; STATE SPACE METHODS; SYSTEMS ANALYSIS;

GRAPH VISUALIZATION; MULTIVARIATE VISUALIZATION; STATE TRANSITION GRAPH; USER-DEFINED WIDGETS;

SEMANTICS;

ALGORITHM; COMPUTER GRAPHICS; COMPUTER INTERFACE; COMPUTER SIMULATION; INFORMATION RETRIEVAL; METHODOLOGY; REVIEW; SEMANTICS; THEORETICAL MODEL; THREE DIMENSIONAL IMAGING;

ALGORITHMS; COMPUTER GRAPHICS; COMPUTER SIMULATION; IMAGING, THREE-DIMENSIONAL; INFORMATION STORAGE AND RETRIEVAL; MODELS, THEORETICAL; SEMANTICS; USER-COMPUTER INTERFACE;

EID: 34548721527     PISSN: 02721716     EISSN: None     Source Type: Journal    
DOI: 10.1109/MCG.2007.121     Document Type: Article

References (11)

1. A. Arnold, Finite Transition Systems, Prentice Hall, 1994.
2. J.F. Groote, J. Pang, and A.G. Wouters, "Analysis of a Distributed System for Lifting Trucks," J. Logic and Algebraic Programming, vol. 55, no. 1-2, Mar.-Apr. 2003, pp. 21-56.
3. A. Mathijssen and A.J. Pretorius, "Verified Design of an Automated Parking Garage," Formal Methods: Applications and Technology, LNCS 4346, Springer, 2007, pp. 165-180.
4. W. Ribarsky et al., "Glyphmaker: Creating Customized Visualizations of Complex Data," Computer, vol. 27, no. 7, July 1994, pp. 57-64.
5. J.J. van Wijk, R. van Liere, and J.D. Mulder, "Bringing Computational Steering to the User," Proc. Scientific Visualization Conf., IEEE Press, 1997, pp. 304-313.
6. F. van Ham, H. van de Wetering, and J.J. van Wijk, "Interactive Visualization of State Transition Systems," IEEE Trans. Visualization and Computer Graphics, vol. 8, no. 3, July-Sept. 2002, pp. 319-329.
7. A.J. Pretorius and J.J. vanWijk, "Multidimensional Visualization of Transition Systems," Proc. 9th Int'l Conf. Information Visualisation (IV), IEEE Press, 2005, pp. 323-328.
8. A.J. Pretorius and J.J. van Wijk, "Visual Analysis of Multivariate State Transition Graphs," IEEE Trans. Visualization and Computer Graphics, vol. 12, no. 5, Sept.-Oct. 2006, pp. 685-692.
9. M. Wattenberg, "Arc Diagrams: Visualizing Structure in Strings," Proc. IEEE Symp. Information Visualization (InfoVis), IEEE Press, 2002, pp. 110-116.
10. M. Hendriks, B. van den Nieuwelaar, and F. Vaandrager, "Model Checker Aided Design of a Controller for a Wafer Scanner," Int'l J. Software Tools for Technology Transfer, vol. 8, no. 6, Nov. 2006, pp. 633-647.
11. J. Hamer, "Model Based Engineering of a Paint Factory with Supervisory Control Theory," master's thesis, Dept. of Mechanical Eng., Technische Universiteit Eindhoven, Netherlands, 2007.