Paper Details

CSP Design Model and Tool Support

Authors: Volkerink, H. J., Hilderink, Gerald H., Broenink, Jan F., Veroort, W.A., Bakkers, André W. P.

Paper URL: http://www.ce.utwente.nl/rtweb/publications/2000/pdf-files/029_R2000.pdf

Abstract:

The CSP paradigm is known as a powerful concept for designing and analysing the architectural and behavioural parts of concurrent software. Although the theory of CSP is useful for mathematicians, the programming language occam has been derived from CSP that is useful for any engineering practice. Nowadays, the concept of occam/CSP can be used for almost every object-oriented programming language. This paper describes a tree-based description model and prototype tool that elevates the use of occam/CSP concepts at design level and performs code generation for the level of implementation in Java, C/C++, and machine-readable CSP. The tool is a kind of browser that is able to assist modern workbenches (like Borland Builder, Microsoft Visual C++ and 20-SIM) with coding concurrency. The tree description model can be used to browse through the generated source code. The tool will guide the user through the design trajectory using supporting messages and several semantic and syntax rule checks. The machine-readable CSP can be read by FDR, enabling more advanced analysis on the design. Early experiments with the prototype tool show that the browser concept, combined with the tree description model, enables a user-friendly way to create a design using the CSP concepts and benefits. The design tool is available from our URL, http://www.rt.el.utwente.nl/javapp.

Proceedings:

Communicating Process Architectures 2000, Peter H. Welch, André W. P. Bakkers, 2000, pp 33 - 48 published by IOS Press, Amsterdam

This record in other formats: