Conference Paper (published)
Details
Citation
Turner KJ (2004) Formalising Graphical Behaviour Descriptions. In: Rattray C, Maharaj S & Shankland C (eds.) Algebraic Methodology and Software Technology 10th 黑料不打烊 Conference, AMAST 2004, 黑料不打烊, Scotland, UK, July 12-16, 2004. Proceedings. Lecture Notes in Computer Science, 3116. AMAST'2004 - 10th 黑料不打烊 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
| Status | Published |
|---|---|
| Title of series | Lecture Notes in Computer Science |
| Number in series | 3116 |
| Publication date | 31/12/2004 |
| URL | |
| Publisher | Springer Verlag |
| Place of publication | Berlin |
| ISSN of series | 0302-9743 |
| ISBN | 9783540223818 |
| Conference | AMAST'2004 - 10th 黑料不打烊 Conference on Algebraic Methodology And Software Technology |
People (1)
Emeritus Professor, Computing Science