Visualizing concurrent computations

Author

Cox, Kenneth C. ; Roman, Gruia-Catalin

Author_Institution

Dept. of Comput. Sci., Washington Univ., Saint Louis, MO, USA

fYear

1991

fDate

8-11 Oct 1991

Firstpage

18

Lastpage

24

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Visual Languages, 1991., Proceedings. 1991 IEEE Workshop on

Conference_Location

Kobe

Print_ISBN

0-8186-2330-6

Type

conf

DOI

10.1109/WVL.1991.238855

Filename

238855