Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/487
Appears in Collections:Computing Science and Mathematics Conference Papers and Proceedings
Peer Review Status: Refereed
Authors: Turner, Kenneth J
Contact Email: kjt@cs.stir.ac.uk
Title: Specifying and Realising Interactive Voice Services
Editors: 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. 23rd IFIP WG 6.1 International Conference, pp. 15-30.
Issue Date: 2003
Series/Report no.: Lecture Notes in Computer Science 2767, 2767
Conference Name: 23rd IFIP WG 6.1 International Conference
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.
Type: Conference Paper
Status: Post-print (author final draft post-refereeing)
Rights: Published by Springer-Verlag. The original publication is available at www.springerlink.com
URI: http://hdl.handle.net/1893/487
URL: http://www.springerlink.com
Affiliation: Computing Science - CSM Dept

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 library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.