Abstract
This paper describes some aspects of an interactive graphical tool designed to exhibit, through animation, the dynamic behaviour of parallel systems of communicating processes. The tool, called VisualNets, provides functionalities for visually creating graphical representations of processes, connecting them via channels, defining their behaviours in Hoare’s CSP notation and animating the evolution of their visulization with time. The tool is very useful for understanding concurrency, analysing various aspects of distributed message-passing algorithms, detecting deadlocks, identifying computational bottlenecks, and estimating the performance of a class of parallel algorithms on a variety of MIMD parallel machines.
Chapter PDF
References
A. E. Abdallah, Derivation of Parallel Algorithms from Functional Specifications to CSP Processes, in: Bernhard Möller, ed., Mathematics of Program Construction, LNCS 947, (Springer Verlag, 1995) 67–96.
A. E. Abdallah, Synthesis of Massively Pipelined Algorithms for List Manipulation, in L. Boug, P. Fraigniaud, A. Mignotte, and Y. Robert, eds, Proceedings of the European Conference on Parallel Processing, EuroPar’96, LNCS 1024, (Springer Verlag, 1996), pp 911–920.
A. E. Abdallah, Visualization and Animation of Communicating Processes, in N. Namazi and K. Matthews, eds, Proc. of IASTED Int. Conference on Signal and Image Processing, SIP-96, Orlando, Florida, USA. (IASTED/ACTA Press, 1996), 357–362.
R. S. Bird, and P. Wadler, Introduction to Functional Programming, (Prentice-Hall, 1988).
Rajive L. Bagrodia and Chien-Chung Shen, MIDAS: Integrated Design and Simulation of Distributed Systems, IEEE Transactions On Software Engineering, 17 (10), 1993, pp. 1042–1058.
Daniel Y. Chao and David T. Wang, An Interactive Tool for Design, Simulation, Verification and Synthesis of Protocols, Software and Experience, 24 (8), 1994, pp. 747–783.
Jim Davies, Specification and Proof in Real-Time CSP, (Cambridge University Press, 1993).
H. Diab and H. Tabbara, Performance Factors in Parallel Programs, Submitted for publication, 1996.
Michael T. Heath and Jennifer A. Etheridge, Visualizing the Performance of Parallel Programs, IEEE Software, 8 (5), 1991, pp. 29–39.
Michael T. Heath, Visualization of Parallel and Distributed Systems, in A. Zomaya (ed), Parallel and Distributed Computing Handbook, (McGraw-Hill, 1996)
C. A. R. Hoare, Communicating Sequential Processes. (Prentice-Hall, 1985).
T. Ludwig, M. Oberhuber, and R. Wismller, An Open Monitoring System for Parallel and Distributed Programs, in L. Boug, P. Fraigniaud, A. Mignotte, and Y. Robert, eds, Proceedings of the European Conference on Parallel Processing, EuroPar’96, LNCS 1123 (Springer, 1996) 78–83.
Guido Wirtz, A Visual Approach for Developing, Understanding and Analyzing Parallel Programs, in E.P. Glinert, editor, Proc. Int. Symp. on Visual Programming, (IEEE CS Press, 1993) 261–266.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Abdallah, A.E. (1998). A graphical tool for the visualization and animation of communicating sequential processes. In: Pritchard, D., Reeve, J. (eds) Euro-Par’98 Parallel Processing. Euro-Par 1998. Lecture Notes in Computer Science, vol 1470. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0057849
Download citation
DOI: https://doi.org/10.1007/BFb0057849
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64952-6
Online ISBN: 978-3-540-49920-6
eBook Packages: Springer Book Archive