The design of a tool-supported graphical notation for timed CSP

P. J. (Phillip) Brooke, R. F. (Richard) Paige

    Research output: Chapter in Book/Report/Conference proceedingConference contribution


    A graphical notation for representing Timed CSP (TCSP) specifications is presented. The notation, which integrates features from a number of existing specification languages, including Statecharts, is aimed at providing the means for more easily constructing and managing large TCSP specifications, with the intention of forming the basis for tools and a methodology for applying TCSP in the large. The graphical notation extends TCSP by allowing specifications to be both processes and arbitrary predicates, thus increasing the expressiveness and applicability of the notation. An extendible tool framework, designed for the graphical notation and to be integrated with other tools, is outlined. We discuss the features of this framework, especially how it aims to support reasoning about TCSP specifications.
    Original languageEnglish
    Title of host publicationIntegrated Formal Methods
    Subtitle of host publicationIFM 2002
    Editors Butler , Petre , Sere
    Place of PublicationBerlin
    ISBN (Electronic)9783540478843
    ISBN (Print)9783540437031
    Publication statusPublished - 2002
    Event3rd International Conference on Integrated Formal Methods - Turku, Finland
    Duration: 15 May 200218 May 2002

    Publication series

    NameLecture Notes in Computer Science


    Conference3rd International Conference on Integrated Formal Methods
    Abbreviated titleIFM 2002


    Dive into the research topics of 'The design of a tool-supported graphical notation for timed CSP'. Together they form a unique fingerprint.

    Cite this