The Community for Technology Leaders
Formal Engineering Methods, International Conference on (2000)
York, England
Sept. 4, 2000 to Sept. 7, 2000
ISBN: 0-7695-0822-7
pp: 189
Ali E. Abdallah , South Bank University
Mark Green , University of Reading
ABSTRACT
This paper presents ongoing research and development on an integrated tool for the visualisation and animation of message-passing communicating systems described in Hoare's CSP (Communicating Sequential Processes). It introduces major new developments to the original VisualNets implemented in C++ and reported in [4]. The new tool is implemented partly in Java and partly in the functional programming language Haskell. Not only does the new tool enjoy greater expressive power and a better user interface, it has new capabilities for aiding the user in animating, analysing, and reasoning about CSP specifications. These includes provisions for nested parallelism within a single node, improved profiling and animation, and the possibility of applying generic timing cost models for performance evaluation. The paper briefly describes the new features, explains the methods by which they have been implemented and illustrates their use with examples.
INDEX TERMS
Communicating Sequential Processes, visualisation, animation, performance evaluation, message-passing algorithms
CITATION

A. E. Abdallah and M. Green, "An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing Algorithms," Formal Engineering Methods, International Conference on(ICFEM), York, England, 2000, pp. 189.
doi:10.1109/ICFEM.2000.873819
88 ms
(Ver 3.3 (11022016))