%T CSP Design Model and Tool Support
%A H. J. Volkerink, Gerald H. Hilderink, Jan F. Broenink, W.A. Veroort, André W. P. Bakkers
%E Peter H. Welch, André W. P. Bakkers
%B Communicating Process Architectures 2000
%X 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,
If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.
Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.
Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org