Please use this identifier to cite or link to this item:
Appears in Collections:Computing Science and Mathematics Conference Papers and Proceedings
Peer Review Status: Refereed
Author(s): Turner, Kenneth J
Contact Email:
Title: Specifying and Realising Interactive Voice Services
Editor(s): Koenig, Harmut
Heiner, Monica
Wolisz, Adam
Citation: Turner KJ (2003) Specifying and Realising Interactive Voice Services In: Koenig Harmut, Heiner Monica, Wolisz Adam (ed.) Formal Techniques for Networked and Distributed Systems - Forte 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September/October 2, 2003 Proceedings, Berlin: Springer-Verlag. FORTE 2003: Formal Techniques for Networked and Distributed Systems - FORTE 2003, 29.9.2003 - 2.10.2003, Berlin, Germany, pp. 15-30.
Issue Date: 2003
Series/Report no.: Lecture Notes in Computer Science 2767, 2767
Conference Name: FORTE 2003: Formal Techniques for Networked and Distributed Systems - FORTE 2003
Conference Dates: 2003-09-29T00:00:00Z
Conference Location: Berlin, Germany
Abstract: VoiceXML (Voice Extended Markup Language) has become a major force in interactive voice services. However current approaches to creating Voice-XML services are rather low-level. Graphical representations of VoiceXML are close to the textual form of the language, and do not give a high-level description of a service. CRESS (Chisel Representation Employing Systematic Specification) can be used to give a more abstract, language-independent view of interactive voice services. CRESS is automatically compiled into VoiceXML for implementation, and into LOTOS (Language Of Temporal Ordering Specification) or SDL (Specification and Description Language) for automated analysis. The paper explains how CRESS is translated into VoiceXML and LOTOS.
Status: Post-print (author final draft post-refereeing)
Rights: Published by Springer-Verlag. The original publication is available at

Files in This Item:
File Description SizeFormat 
spec-voice.pdf114.02 kBAdobe PDFView/Open

This item is protected by original copyright

Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

If you believe that any material held in STORRE infringes copyright, please contact providing details and we will remove the Work from public display in STORRE and investigate your claim.