In this paper, we draft a CSP-based language for our distributed software d
evelopment system. A program model hierarchy, classified into three charact
eristic layer: specification layer, monitoring/debugging layer and code lay
er, is introduced to help users use appropriate modeling methods in the pro
gram development cycle. A hierarchical visualization interface-which contai
ns our three-level visualization modeling framework with three different mo
dels: Petri nets, IPC Dataflow and Event Code View, transferred from the ex
tended CSP-has been also designed and implemented. We could monitor a distr
ibuted application by using any coordinated combination of the constructs o
f the above models as a favorite view in a systematic manner. The transform
ation rules among the constructs of these visual models are also discussed.
(C) 2000 Academic Press.