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