An integrated CSP-based tool for the visualisation, animation and performance evaluation of message passing algorithms

Abdallah, Ali E. and Green, M. (2000) An integrated CSP-based tool for the visualisation, animation and performance evaluation of message passing algorithms. In: Formal Engineering Methods, 2000. ICFEM 2000. Third IEEE International Conference. IEEE Conference Publications, pp. 189-198. ISBN 0-7695-0822-7

Full text not available from this repository. (Request a copy)

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 (Abdallah, 1998). 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 include 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.

Item Type:	Book Section
Identification Number:	https://doi.org/10.1109/ICFEM.2000.873819
Date:	2000
Uncontrolled Keywords:	Communicating Sequential Processes, vi- sualisation, animation, performance evaluation, message- passing algorithms, nested parallelism, CSP-based tool, algorithm visualisation, algorithm animation, performance evaluation, message passing algorithms, research and development, Communicating Sequential Processes, timing cost models, VisualNets, C++, Java, functional programming language, Haskell, user interface
Subjects:	CAH11 - computing > CAH11-01 - computing > CAH11-01-01 - computer science
Divisions:	Faculty of Computing, Engineering and the Built Environment Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology > Cyber Security REF UoA Output Collections > REF2021 UoA11: Computer Science and Informatics
Depositing User:	Oana-Andreea Dumitrascu
Date Deposited:	07 Apr 2017 10:38
Last Modified:	10 Sep 2021 14:25
URI:	http://bcu-test.eprints-hosting.org/id/eprint/4227

Actions (login required)

View Item