The Design of a Tool-Supported Graphical Notation for Timed CSP Export

@incollection{citeulike:1318469, 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. Keywords: Timed CSP, process algebra, graphical notation, tool support.}, author = {Brooke, Phillip J. and Paige, Richard F.}, citeulike-article-id = {1318469}, citeulike-linkout-0 = {http://www.springerlink.com/content/h4buv3p2xpf6pa35}, journal = {Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-17, 2002. Proceedings}, keywords = {i, like}, pages = {299+}, posted-at = {2007-05-22 04:23:23}, priority = {2}, title = {The Design of a Tool-Supported Graphical Notation for Timed CSP}, url = {http://www.springerlink.com/content/h4buv3p2xpf6pa35}, year = {2002} }

TY - CHAP ID - citeulike:1318469 L3 - citeulike-article-id:1318469 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. Keywords: Timed CSP, process algebra, graphical notation, tool support. JF - Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-17, 2002. Proceedings TI - The Design of a Tool-Supported Graphical Notation for Timed CSP SP - 299 KW - i KW - like AU - Brooke, Phillip AU - Paige, Richard PY - 2002/// UR - http://www.springerlink.com/content/h4buv3p2xpf6pa35 ER -