Title :
Visualizing concurrent computations
Author :
Cox, Kenneth C. ; Roman, Gruia-Catalin
Author_Institution :
Dept. of Comput. Sci., Washington Univ., Saint Louis, MO, USA
Abstract :
The paper describes the conceptual model and specification method for a visualization environment concerned with exploring, monitoring, and presenting concurrent computations. The model is declarative in that visualization is treated as a mapping from program states to a three-dimensional geometric world. The state-to-geometry mapping is defined as a composition of several simpler mappings. This paper shows how this decomposition was molded by two methodological objectives: (1) the desire to visually capture abstract formal properties of programs and (2) the need to support complex animations of atomic computational events. A termination detection algorithm is used to illustrate the specification method and to demonstrate its conceptual elegance and flexibility
Keywords :
parallel programming; software tools; visual programming; animations; atomic computational events; conceptual model; formal properties; specification method; state-to-geometry mapping; termination detection algorithm; three-dimensional geometric world; visualization; visualization environment; Animation; Computational modeling; Computer science; Computerized monitoring; Concurrent computing; Data visualization; Detection algorithms; Humans; Instruments; Solid modeling;
Conference_Titel :
Visual Languages, 1991., Proceedings. 1991 IEEE Workshop on
Conference_Location :
Kobe
Print_ISBN :
0-8186-2330-6
DOI :
10.1109/WVL.1991.238855
