A declarative approach to visualizing concurrent computations

Author

Roman, Gruia-Catalin ; Cox, Kenneth C.

Author_Institution

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

Volume

22

Issue

10

fYear

1989

Firstpage

25

Lastpage

36

Abstract

The authors explore the graphical representation of objects and processes as a means for understanding programs consisting of large numbers of concurrent processes. Their goal is to establish a technical foundation for research into the monitoring and debugging of large-scale concurrent programs. They explain declarative visualization and introduce some shared-data-space concepts and notation by means of a simple, nondeterministic, parallel algorithm. They discuss visual abstraction and their visualization methodology, which they illustrate by applying it to region labeling. Thy examine the relaxation of nonintervention that visualization makes possible.<>

Keywords

computer graphics; data structures; parallel programming; program debugging; concurrent computations; debugging; declarative approach; declarative visualization; graphical representation; large-scale concurrent programs; monitoring; nonintervention; objects; parallel algorithm; processes; region labeling; shared-data-space; visual abstraction; Animation; Concurrent computing; Data visualization; Displays; Humans; Large-scale systems; Logic programming; Monitoring; Rendering (computer graphics); Visual system;

fLanguage

English

Journal_Title

Computer

Publisher

ieee

ISSN

0018-9162

Type

jour

DOI

10.1109/2.42012

Filename

42012