Abstract process definitions in CSP- A case study

P.N. Taylor

    Research output: Book/ReportOther report

    35 Downloads (Pure)


    This paper presents a CSP specification of a case study for an environment control system for a building. The modification of CSP process definitions to incorporate reuse via inheritance is the main issue presented in this work. Incremental and behaviour modification are two techniques that are presented in order to model object-orientated inheritance. In its current form CSP does not provide many facilities for reusing existing components of a specification. This paper presents an addition to the language of CSP by parameterising initial actions and subsequent behaviour in the signature of a process which then permits behaviour to be modified in situ as well as by the extension of action choice.
    Original languageEnglish
    PublisherUniversity of Hertfordshire
    Publication statusPublished - 1997

    Publication series

    NameUH Computer Science Technical Report
    PublisherUniversity of Hertfordshire


    • CSP
    • reuse
    • inheritance
    • object-orientated specification


    Dive into the research topics of 'Abstract process definitions in CSP- A case study'. Together they form a unique fingerprint.

    Cite this