Design Principles of the SystemCSP Software Framework

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

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.
Original languageUndefined
Title of host publicationCommunicating Process Architectures 2007
EditorsA. McEwan, S. Schneider, W. Ifill, P.H. Welch
Place of PublicationAmsterdam
PublisherIOS Press
Pages207-228
Number of pages22
ISBN (Print)978-1-58603-767-3
Publication statusPublished - 9 Jul 2007
EventCommunicating Process Architectures, CPA 2007: 30th WoTUG Conference on Concurrent and Parallel Programming - Guildford, United Kingdom
Duration: 8 Jul 200711 Jul 2007
Conference number: 30

Publication series

NameConcurrent Systems Engineering Series
PublisherIOS Press
NumberLNCS4549
Volume65
ISSN (Print)1383-7575

Conference

ConferenceCommunicating Process Architectures, CPA 2007
CountryUnited Kingdom
CityGuildford
Period8/07/0711/07/07

Keywords

  • EWI-10885
  • IR-61884
  • METIS-241844

Cite this

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.
Orlic, B. ; Broenink, Johannes F. / Design Principles of the SystemCSP Software Framework. Communicating Process Architectures 2007. editor / A. McEwan ; S. Schneider ; W. Ifill ; P.H. Welch. Amsterdam : IOS Press, 2007. pp. 207-228 (Concurrent Systems Engineering Series; LNCS4549).
@inproceedings{8174e82dd89342d9b3927ebf4640ba32,
title = "Design Principles of the SystemCSP Software Framework",
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.",
keywords = "EWI-10885, IR-61884, METIS-241844",
author = "B. Orlic and Broenink, {Johannes F.}",
year = "2007",
month = "7",
day = "9",
language = "Undefined",
isbn = "978-1-58603-767-3",
series = "Concurrent Systems Engineering Series",
publisher = "IOS Press",
number = "LNCS4549",
pages = "207--228",
editor = "A. McEwan and S. Schneider and W. Ifill and P.H. Welch",
booktitle = "Communicating Process Architectures 2007",
address = "Netherlands",

}

Orlic, B & Broenink, JF 2007, Design Principles of the SystemCSP Software Framework. in A McEwan, S Schneider, W Ifill & PH Welch (eds), Communicating Process Architectures 2007. Concurrent Systems Engineering Series, no. LNCS4549, vol. 65, IOS Press, Amsterdam, pp. 207-228, Communicating Process Architectures, CPA 2007, Guildford, United Kingdom, 8/07/07.

Design Principles of the SystemCSP Software Framework. / Orlic, B.; Broenink, Johannes F.

Communicating Process Architectures 2007. ed. / A. McEwan; S. Schneider; W. Ifill; P.H. Welch. Amsterdam : IOS Press, 2007. p. 207-228 (Concurrent Systems Engineering Series; Vol. 65, No. LNCS4549).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Design Principles of the SystemCSP Software Framework

AU - Orlic, B.

AU - Broenink, Johannes F.

PY - 2007/7/9

Y1 - 2007/7/9

N2 - 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.

AB - 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.

KW - EWI-10885

KW - IR-61884

KW - METIS-241844

M3 - Conference contribution

SN - 978-1-58603-767-3

T3 - Concurrent Systems Engineering Series

SP - 207

EP - 228

BT - Communicating Process Architectures 2007

A2 - McEwan, A.

A2 - Schneider, S.

A2 - Ifill, W.

A2 - Welch, P.H.

PB - IOS Press

CY - Amsterdam

ER -

Orlic B, Broenink JF. Design Principles of the SystemCSP Software Framework. In McEwan A, Schneider S, Ifill W, Welch PH, editors, Communicating Process Architectures 2007. Amsterdam: IOS Press. 2007. p. 207-228. (Concurrent Systems Engineering Series; LNCS4549).