Paper Details

Communicating Process Architectures (CPA)
 Title: Design Principles of the SystemCSP Software Framework
 Conference: Communicating Process Architectures 2007
 Authors: Bojan Orlica, Jan F. Broeninkb
(a) Control Engineering, Faculty of EE-Math-CS, University of Twente
(b) Robotics and Mechatronics, CTIT Institute, University of Twente
 Abstract: SystemCSP is a graphical design specification language aimed to serve as a basis for the specification of formally verifiable component-based designs. This paper defines a mapping from SystemCSP designs to a software implementation. The possibility to reuse existing practical implementations was analyzed. Comparison is given for different types of execution engines usable in implementing concurrent systems. The main part of the text introduces and explains the design principles behind the software implementation. A synchronization mechanism is introduced that can handle CSP kind of events with event ends possibly scattered on different nodes and OS threads, and with any number of participating event ends, possibly guarded by alternative constructs. 

BibTeX Entry

Full paper