Conference Paper (published)

Formalising Graphical Behaviour Descriptions

Details

Citation

Turner KJ (2004) Formalising Graphical Behaviour Descriptions. In: Rattray C, Maharaj S & Shankland C (eds.) Algebraic Methodology and Software Technology 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings. Lecture Notes in Computer Science, 3116. AMAST'2004 - 10th International Conference on Algebraic Methodology And Software Technology. Berlin: Springer Verlag, pp. 537-552. https://doi.org/10.1007/b98770

Abstract
CRESS (Chisel Representation Employing Systematic Specification) is used for graphical behaviour description, underpinned by formal and implementation languages. Plug-in frameworks adapt it for particular application domains such as Intelligent Networks, Internet Telephony and Interactive Voice Response. The CRESS notation and its syntax are explained. The semantics of CRESS is discussed with reference to its interpretation in LOTOS.

Keywords
Graphical Specification; Lotos (Language Of Temporal Ordering Specification); SDL (Specification and Description Language); Voice Service

StatusPublished
Title of seriesLecture Notes in Computer Science
Number in series3116
Publication date31/12/2004
URLhttp://hdl.handle.net/1893/574
PublisherSpringer Verlag
Place of publicationBerlin
ISSN of series0302-9743
ISBN9783540223818
ConferenceAMAST'2004 - 10th International Conference on Algebraic Methodology And Software Technology

People (1)

Professor KEN Turner

Professor KEN Turner

Emeritus Professor, Computing Science

Files (1)