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.
|Title of host publication||Communicating Process Architectures 2007|
|Editors||A. McEwan, S. Schneider, W. Ifill, P.H. Welch|
|Place of Publication||Amsterdam|
|Number of pages||22|
|Publication status||Published - 9 Jul 2007|
|Event||Communicating Process Architectures, CPA 2007: 30th WoTUG Conference on Concurrent and Parallel Programming - Guildford, United Kingdom|
Duration: 8 Jul 2007 → 11 Jul 2007
Conference number: 30
|Name||Concurrent Systems Engineering Series|
|Conference||Communicating Process Architectures, CPA 2007|
|Period||8/07/07 → 11/07/07|
Orlic, B., & Broenink, J. F. (2007). Design Principles of the SystemCSP Software Framework. In A. McEwan, S. Schneider, W. Ifill, & P. H. Welch (Eds.), Communicating Process Architectures 2007 (pp. 207-228). (Concurrent Systems Engineering Series; Vol. 65, No. LNCS4549). Amsterdam: IOS Press.