Paper Details

Communicating Process Architectures (CPA)
 Title: Visualisation Facilities of the Graphical CSP tool TERRA
 Conference: Communicating Process Architectures 2016
 Authors: Zhou Lu
Robotics and Mechatronics, CTIT Institute, University of Twente
 Abstract: Graphs, animations, and visualisations are known to be valuable forms of presenting results of experiments, both simulation and real-life experiments. For CSP-based concurrent programs, the state of processes, CSP constructs and channels are relevant to show. For proper feedback, these can best be related to the form in which the program was entered by the user. In the case of the TERRA graphical CSP tool, feedback is given by colouring the diagram elements according to the specific state they are in. Next to that, a textual log of events is produced, giving more details relevant in the development process. In this Fringe session, we demonstrate this visualisation facility of our graphical CSP tool TERRA. A paper reporting context and technical details of this tool is presented elsewhere in these Proceedings. 

BibTeX Entry

Full paper