|Appears in Collections:||Computing Science and Mathematics Conference Papers and Proceedings|
|Peer Review Status:||Refereed|
|Authors:||Turner, Kenneth J|
|Title:||Specifying and Realising Interactive Voice Services|
|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.|
|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.|
|Status:||Post-print (author final draft post-refereeing)|
|Rights:||Published by Springer-Verlag. The original publication is available at www.springerlink.com|
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 email@example.com providing details and we will remove the Work from public display in STORRE and investigate your claim.