%T Automatic Conversion of CSP to CTJ, JCSP, and CCSP
%A V. Raju, L. Rong, G. S. Stiles
%E Jan F. Broenink, Gerald H. Hilderink
%B Communicating Process Architectures 2003
%X We present tools that automatically convert a subset of
machine\-readable CSPscript to executable Java or C code.
CSP is used to design and verify thecorrectness of large and
complex systems of processes that interact only viaexplicit
synchronous messages. These systems can be implemented in
Javausing CTJ or JCSP, packages that add CSP\-like features
to Java, or in CCSP, apackage that adds similar features to
standard C. Implementation of CSP systemscan be tedious and
error\-prone when large numbers of processes
andcommunications are involved, and sorting out errors in
channel naming or theordering of messages can be very
time\-consuming. The tools we have developedminimize such
problems by converting the verified CSP descriptions
ofcommunicating processes directly into Java or C code, thus
guaranteeing thatchannels are correctly named and the
communications occur in the proper order.This process can
significantly cut development time.
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