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 contributionResearch

    Abstract

    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
    PublisherSpringer
    Pages299-318
    ISBN (Electronic)9783540478843
    ISBN (Print)9783540437031
    DOIs
    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
    Volume2335

    Conference

    Conference3rd International Conference on Integrated Formal Methods
    Abbreviated titleIFM 2002
    CountryFinland
    CityTurku
    Period15/05/0218/05/02

    Fingerprint

    Specifications
    Specification languages

    Cite this

    Brooke, P. J. P., & Paige, R. F. R. (2002). The design of a tool-supported graphical notation for timed CSP. In Butler , Petre , & Sere (Eds.), Integrated Formal Methods: IFM 2002 (pp. 299-318). (Lecture Notes in Computer Science; Vol. 2335). Berlin: Springer. https://doi.org/10.1007/3-540-47884-1_17
    Brooke, P. J. (Phillip) ; Paige, R. F. (Richard). / The design of a tool-supported graphical notation for timed CSP. Integrated Formal Methods: IFM 2002. editor / Butler ; Petre ; Sere . Berlin : Springer, 2002. pp. 299-318 (Lecture Notes in Computer Science).
    @inproceedings{9da66042e3b34468b0f28a2160dba824,
    title = "The design of a tool-supported graphical notation for timed CSP",
    abstract = "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.",
    author = "Brooke, {P. J. (Phillip)} and Paige, {R. F. (Richard)}",
    year = "2002",
    doi = "10.1007/3-540-47884-1_17",
    language = "English",
    isbn = "9783540437031",
    series = "Lecture Notes in Computer Science",
    publisher = "Springer",
    pages = "299--318",
    editor = "{Butler } and {Petre } and {Sere }",
    booktitle = "Integrated Formal Methods",

    }

    Brooke, PJP & Paige, RFR 2002, The design of a tool-supported graphical notation for timed CSP. in Butler , Petre & Sere (eds), Integrated Formal Methods: IFM 2002. Lecture Notes in Computer Science, vol. 2335, Springer, Berlin, pp. 299-318, 3rd International Conference on Integrated Formal Methods, Turku, Finland, 15/05/02. https://doi.org/10.1007/3-540-47884-1_17

    The design of a tool-supported graphical notation for timed CSP. / Brooke, P. J. (Phillip); Paige, R. F. (Richard).

    Integrated Formal Methods: IFM 2002. ed. / Butler ; Petre ; Sere . Berlin : Springer, 2002. p. 299-318 (Lecture Notes in Computer Science; Vol. 2335).

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

    TY - GEN

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

    AU - Brooke, P. J. (Phillip)

    AU - Paige, R. F. (Richard)

    PY - 2002

    Y1 - 2002

    N2 - 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.

    AB - 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.

    U2 - 10.1007/3-540-47884-1_17

    DO - 10.1007/3-540-47884-1_17

    M3 - Conference contribution

    SN - 9783540437031

    T3 - Lecture Notes in Computer Science

    SP - 299

    EP - 318

    BT - Integrated Formal Methods

    A2 - Butler ,

    A2 - Petre ,

    A2 - Sere ,

    PB - Springer

    CY - Berlin

    ER -

    Brooke PJP, Paige RFR. The design of a tool-supported graphical notation for timed CSP. In Butler , Petre , Sere , editors, Integrated Formal Methods: IFM 2002. Berlin: Springer. 2002. p. 299-318. (Lecture Notes in Computer Science). https://doi.org/10.1007/3-540-47884-1_17