A graphical Specification Language for Modeling Concurrency based on CSP

G.H. Hilderink

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

    21 Downloads (Pure)

    Abstract

    Introduced in this paper is a new graphical modeling language for specifying concurrency in software designs. The language notations are derived from CSP and the resulting designs form CSP diagrams. The notations reflect both data-flow and control-flow aspects, as well as along with CSP algebraic expressions that can be used for formal analysis. The designer does not have to be aware of the underlying mathematics. The techniques and rules presented provide guidance to the development of concurrent software architectures. One can detect and reason about compositional conflicts (errors in design), potential deadlocks (errors at run-time), and priority inversion problems (performance burden) at a high level of abstraction. The CSP diagram collaborates with object-oriented modeling languages and structured methods.
    Original languageEnglish
    Title of host publicationProceedings Communicating Process Architectures 2002
    EditorsJames Pascoe, Peter Welch, Roger Loader, Vaidy Sunderam
    Place of PublicationReading (UK)
    PublisherIOS Press
    Pages255-284
    Number of pages30
    ISBN (Print)1 58603 268 2
    Publication statusPublished - 15 Sep 2002
    EventCommunicating Process Architectures, CPA 2002 : 25th WoTUG Technical Meeting on Concurrent and Parallel Programming - University of Reading, Reading, United Kingdom
    Duration: 15 Sep 200218 Sep 2002
    Conference number: 25

    Publication series

    Name
    PublisherIOS Press

    Conference

    ConferenceCommunicating Process Architectures, CPA 2002
    Abbreviated titleCPA
    CountryUnited Kingdom
    CityReading
    Period15/09/0218/09/02

    Keywords

    • METIS-207506
    • IR-43829

    Fingerprint Dive into the research topics of 'A graphical Specification Language for Modeling Concurrency based on CSP'. Together they form a unique fingerprint.

    Cite this