Title :
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
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;
