Conference Proceeding

Formalising Graphical Behaviour Descriptions



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.

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.

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

Title of seriesLecture Notes in Computer Science
Number in series3116
Publication date31/12/2004
PublisherSpringer Verlag
Place of publicationBerlin
ISSN of series0302-9743
ConferenceAMAST'2004 - 10th International Conference on Algebraic Methodology And Software Technology

People (1)


Professor KEN Turner

Professor KEN Turner

Emeritus Professor, Computing Science