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

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

doi:10.1007/3-540-47884-1_17

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 proceeding › Conference contribution

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 language	English
Title of host publication	Integrated Formal Methods
Subtitle of host publication	IFM 2002
Editors	Butler , Petre , Sere
Place of Publication	Berlin
Publisher	Springer
Pages	299-318
ISBN (Electronic)	9783540478843
ISBN (Print)	9783540437031
DOIs	https://doi.org/10.1007/3-540-47884-1_17
Publication status	Published - 2002
Event	3rd International Conference on Integrated Formal Methods - Turku, Finland Duration: 15 May 2002 → 18 May 2002

Publication series

Name	Lecture Notes in Computer Science
Volume	2335

Conference

Conference	3rd International Conference on Integrated Formal Methods
Abbreviated title	IFM 2002
Country/Territory	Finland
City	Turku
Period	15/05/02 → 18/05/02

Access to Document

10.1007/3-540-47884-1_17Licence: Unspecified

Cite this

@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",

note = "3rd International Conference on Integrated Formal Methods, IFM 2002 ; Conference date: 15-05-2002 Through 18-05-2002",

}

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

T2 - 3rd International Conference on Integrated Formal Methods

Y2 - 15 May 2002 through 18 May 2002

ER -

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

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this