Graphical modelling language for spycifying concurrency based on CSP

G.H. Hilderink

    Research output: Contribution to journalArticleAcademicpeer-review

    20 Citations (Scopus)
    66 Downloads (Pure)

    Abstract

    Introduced in this (shortened) paper is a graphical modelling 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 of concurrent software architectures. These designs can automatically be described by 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 objectoriented modelling languages and structured methods.
    Original languageEnglish
    Pages (from-to)108-120
    Number of pages13
    JournalIEE proceedings - Software
    Volume150
    Issue number2
    DOIs
    Publication statusPublished - 2003

    Fingerprint

    Software architecture
    Software design
    Flow control
    Modeling languages

    Keywords

    • METIS-212803
    • IR-45644

    Cite this

    @article{f3d81824b6244cb0a0c0f2a062db341e,
    title = "Graphical modelling language for spycifying concurrency based on CSP",
    abstract = "Introduced in this (shortened) paper is a graphical modelling 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 of concurrent software architectures. These designs can automatically be described by 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 objectoriented modelling languages and structured methods.",
    keywords = "METIS-212803, IR-45644",
    author = "G.H. Hilderink",
    note = "Speciaal Issue on CPA 2002",
    year = "2003",
    doi = "10.1049/ip-sen:20030132",
    language = "English",
    volume = "150",
    pages = "108--120",
    journal = "IET software",
    issn = "1751-8806",
    publisher = "Institution of Engineering and Technology",
    number = "2",

    }

    Graphical modelling language for spycifying concurrency based on CSP. / Hilderink, G.H.

    In: IEE proceedings - Software, Vol. 150, No. 2, 2003, p. 108-120.

    Research output: Contribution to journalArticleAcademicpeer-review

    TY - JOUR

    T1 - Graphical modelling language for spycifying concurrency based on CSP

    AU - Hilderink, G.H.

    N1 - Speciaal Issue on CPA 2002

    PY - 2003

    Y1 - 2003

    N2 - Introduced in this (shortened) paper is a graphical modelling 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 of concurrent software architectures. These designs can automatically be described by 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 objectoriented modelling languages and structured methods.

    AB - Introduced in this (shortened) paper is a graphical modelling 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 of concurrent software architectures. These designs can automatically be described by 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 objectoriented modelling languages and structured methods.

    KW - METIS-212803

    KW - IR-45644

    U2 - 10.1049/ip-sen:20030132

    DO - 10.1049/ip-sen:20030132

    M3 - Article

    VL - 150

    SP - 108

    EP - 120

    JO - IET software

    JF - IET software

    SN - 1751-8806

    IS - 2

    ER -