WoTUG - The place for concurrent processes

Paper Details

%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

Valid HTML 4.01!