Skip to main content

Formalising Interactive Voice Services with SDL

  • Conference paper
Integrated Formal Methods (IFM 2005)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 3771))

Included in the following conference series:

  • 467 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. 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)

    Google Scholar 

  2. 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)

    Google Scholar 

  3. 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)

    Google Scholar 

  4. ITU. Message Sequence Chart (MSC). ITU-T Z.120. International Telecommunications Union, Geneva, Switzerland (2000)

    Google Scholar 

  5. ITU. Specification and Description Language. ITU-T Z.100. International Telecommunications Union, Geneva, Switzerland (2000)

    Google Scholar 

  6. Larson, J.A.: Standard languages for developing multimodal applications (March 2005), http://www.larson-tech.com/Writings/multimodal.pdf

  7. Sarma, A.: Introduction to SDL-92. Computer Networks 28(12), 1603–1615 (1996)

    Google Scholar 

  8. Telelogic. TAU 3.5 manuals (August 2005)

    Google Scholar 

  9. 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)

    Google Scholar 

  10. 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)

    Chapter  Google Scholar 

  11. 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)

    Chapter  Google Scholar 

  12. 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)

    Google Scholar 

  13. 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)

    Chapter  Google Scholar 

  14. Turner, K.J.: Analysing interactive voice services. Computer Networks 45(5), 665–685 (2004)

    Article  Google Scholar 

  15. Turner, K.J.: Formalising web services. In: Wang, F. (ed.) FORTE 2005. LNCS, vol. 3731, pp. 473–488. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  16. Turner, K.J.: Validating feature-based specifications, May 2005. Software Practice and Experience (2005) (In press)

    Google Scholar 

  17. VoiceXML Forum. Voice eXtensible Markup Language. VoiceXML Version 2.0. VoiceXML Forum (January 2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics