Abstract
IVR (Interactive Voice Response) services are introduced with reference to VoiceXML (Voice eXtensible Markup Language). It is explained how IVR services can benefit from an underlying formalism and rigorous analysis. IVR services are modelled using Cress(Chisel Representation Employing Systematic Specification) as a high-level graphical notation. Apart from being able to describe services, Cress also introduces the notion of features. The translation of IVR descriptions into SDL is explored, along with how the generated SDL can be formally analysed.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Amyot, D., Charfi, L., Gorse, N., Gray, T., Logrippo, L.M.S., Sincennes, J., Stepien, B., Ware, T.: Feature description and feature interaction analysis with use case maps and Lotos. In: Calder, M.H., Magill, E.H. (eds.) Proc. 6th. Feature Interactions in Telecommunications and Software Systems, pp. 274–289. IOS Press, Amsterdam (2000)
Cameron, E.J., Griffeth, N.D., Lin, Y.-J., Nilson, M.E., Schnure, W.K., Velthuijsen, H.: A feature-interaction benchmark for IN and beyond. IEEE Communications Magazine, 64–69 (March 1993)
ISO/IEC. Information Processing Systems – Open Systems Interconnection – LOTOS – A Formal Description Technique based on the Temporal Ordering of Observational Behaviour. ISO/IEC 8807. International Organization for Standardization, Geneva, Switzerland (1989)
ITU. Message Sequence Chart (MSC). ITU-T Z.120. International Telecommunications Union, Geneva, Switzerland (2000)
ITU. Specification and Description Language. ITU-T Z.100. International Telecommunications Union, Geneva, Switzerland (2000)
Larson, J.A.: Standard languages for developing multimodal applications (March 2005), http://www.larson-tech.com/Writings/multimodal.pdf
Sarma, A.: Introduction to SDL-92. Computer Networks 28(12), 1603–1615 (1996)
Telelogic. TAU 3.5 manuals (August 2005)
Turner, K.J.: Formalising the Chisel feature notation. In: Calder, M.H., Magill, E.H. (eds.) Proc. 6th. Feature Interactions in Telecommunications and Software Systems, pp. 241–256. IOS Press, Amsterdam (2000)
Turner, K.J.: Modelling SIP services using Cress. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol. 2529, pp. 162–177. Springer, Heidelberg (2002)
Turner, K.J.: Formalising graphical service descriptions using SDL. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol. 2708, pp. 183–202. Springer, Heidelberg (2003)
Turner, K.J.: Representing new voice services and their features. In: Amyot, D., Logrippo, L. (eds.) Proc. 7th. Feature Interactions in Telecommunications and Software Systems, June 2003, pp. 123–140. IOS Press, Amsterdam (2003)
Turner, K.J.: Specifying and realising interactive voice services. In: König, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol. 2767, pp. 15–30. Springer, Heidelberg (2003)
Turner, K.J.: Analysing interactive voice services. Computer Networks 45(5), 665–685 (2004)
Turner, K.J.: Formalising web services. In: Wang, F. (ed.) FORTE 2005. LNCS, vol. 3731, pp. 473–488. Springer, Heidelberg (2005)
Turner, K.J.: Validating feature-based specifications, May 2005. Software Practice and Experience (2005) (In press)
VoiceXML Forum. Voice eXtensible Markup Language. VoiceXML Version 2.0. VoiceXML Forum (January 2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Turner, K.J. (2005). Formalising Interactive Voice Services with SDL. In: Romijn, J., Smith, G., van de Pol, J. (eds) Integrated Formal Methods. IFM 2005. Lecture Notes in Computer Science, vol 3771. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11589976_18
Download citation
DOI: https://doi.org/10.1007/11589976_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30492-0
Online ISBN: 978-3-540-32240-5
eBook Packages: Computer ScienceComputer Science (R0)