A visualization modeling framework for a CSP-based system
In this paper, we draft a CSP-based language for our distributed software development system. A program model hierarchy, classified into three characteristic layer: specification layer, monitoring/debugging layer and code layer, is introduced to help users use appropriate modeling methods in the program development cycle. A hierarchical visualization interface-which contains our three-level visualization modeling framework with three different models: Petri nets, IPC Dataflow and Event Code View, transferred from the extended CSP-has been also designed and implemented. We could monitor a distributed application by using any coordinated combination of the constructs of the above models as a favorite view in a systematic manner. The transformation rules among the constructs of these visual models are also discussed. (C) 2000 Academic Press.
distributed software petri nets csp coordinate visualization