This Article 
 Bibliographic References 
 Add to: 
Bridging the Semantic Gap: Visualizing Transition Graphs with User-Defined Diagrams
September/October 2007 (vol. 27 no. 5)
pp. 58-66
A. Johannes Pretorius, Technische Universiteit Eindhoven
Jarke J. van Wijk, Technische Universiteit Eindhoven
Users are often faced with large data sets in which the underlying meaning of the data is clear, but sense-making is difficult. State transition graphs fit this description well. Users associate precise semantics with multivariate attributes that describe nodes, but current visualization techniques do not exploit this. Consequently, users have to invest significant effort to interpret and understand visualizations. We present a novel technique that bridges this semantic gap by enabling the user to define custom diagrams that closely reflect the associated semantics. User-defined diagrams are incorporated in a number of correlated visualizations that support different user needs. To show the merit of our approach, the authors discuss two real-world applications.

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. van Wijk, "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 (Info-Vis), 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.

Index Terms:
graph visualization, multivariate visualization, user-defined widgets, state space analysis, system analysis, state transition graphs, finite state machines
A. Johannes Pretorius, Jarke J. van Wijk, "Bridging the Semantic Gap: Visualizing Transition Graphs with User-Defined Diagrams," IEEE Computer Graphics and Applications, vol. 27, no. 5, pp. 58-66, Sept.-Oct. 2007, doi:10.1109/MCG.2007.121
Usage of this product signifies your acceptance of the Terms of Use.