Paper Details

Communicating Process Architectures (CPA)
 Title: Designing Animation Facilities for gCSP
 Conference: Communicating Process Architectures 2008
 Authors: Hans T. J. van der Steen, Marcel A. Groothuis, Jan F. Broenink
Robotics and Mechatronics, CTIT Institute, University of Twente
 Abstract: To improve feedback on how concurrent CSP-based programs run, the graphical CSP design tool (gCSP) has been extended with animation facilities. The state of processes, constructs, and channel ends are indicated with colours both in the gCSP diagrams and in the composition tree (hierarchical tree showing the structure of the total program). Furthermore, the contents of the channels are also shown. In this Fringe session, we will present and demonstrate this prototype animation facility, being the result of the MSc project of Hans van der Steen, and ask for feedback. 

BibTeX Entry

Full paper