Specifying and Realising Interactive Voice Services

Citation

Turner KJ (2003) Specifying and Realising Interactive Voice Services. In: Koenig H, Heiner M & Wolisz A (eds.) Formal Techniques for Networked and Distributed Systems - Forte 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September/October 2, 2003 Proceedings. Lecture Notes in Computer Science 2767, 2767. FORTE 2003: Formal Techniques for Networked and Distributed Systems - FORTE 2003, Berlin, Germany, 29.09.2003-02.10.2003. Berlin: Springer-Verlag, pp. 15-30. http://www.springerlink.com; https://doi.org/10.1007/11965

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.

• spec-voice.pdf