CSP Design Model and Tool Support

H.J. Volkerink, H.J. Volkerink, G.H. Hilderink, Johannes F. Broenink, Wiek Vervoort

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

    32 Downloads (Pure)

    Abstract

    The CSP paradigm is known as a powerful concept for designing and analysing the architectural and behavioural parts of concurrent software. Although the theory of CSP is useful for mathematicians, the programming language occam has been derived from CSP that is useful for any engineering practice. Nowadays, the concept of occam/CSP can be used for almost every object-oriented programming language. This paper describes a tree-based description model and prototype tool that elevates the use of occam/CSP concepts at the design level and performs code generation to Java, C, C++, and machine-readable CSP for the level of implementation. The tree-based description model can be used to browse through the generated source code. The tool is a kind of browser that is able to assist modern workbenches (like Borland Builder, Microsoft Visual C++ and 20-SIM) with coding concurrency. The tool will guide the user through the design trajectory using support messages and several semantic and syntax rule checks. The machine-readable CSP can be read by FDR, enabling more advanced analysis on the design. Early experiments with the prototype tool show that the browser concept, combined with the tree-based description model, enables a user-friendly way to create a design using the CSP concepts and benefits. The design tool is available from our URL, http://www.rt.el.utwente.nl/javapp.
    Original languageEnglish
    Title of host publicationCommunicating Process Architectures
    EditorsP.H. Welch, André Bakkers
    Place of PublicationAmsterdam
    PublisherIOS Press
    Pages33-48
    Number of pages16
    ISBN (Print)9781586030773
    Publication statusPublished - Sep 2000
    EventCommunicating Process Architectures, CPA 2000: 23rd WoTUG Technical Meeting on Concurrent and Parallel Programming - Canterbury, United Kingdom
    Duration: 10 Sep 200013 Sep 2000
    Conference number: 23

    Conference

    ConferenceCommunicating Process Architectures, CPA 2000
    Abbreviated titleCPA 2000
    CountryUnited Kingdom
    CityCanterbury
    Period10/09/0013/09/00

    Keywords

    • EWI-999
    • IR-16452
    • METIS-113337

    Fingerprint Dive into the research topics of 'CSP Design Model and Tool Support'. Together they form a unique fingerprint.

    Cite this