Abstract.
VoiceXML (Voice Extended Markup Language) has become a major force in interactive voice services. However current approaches to creating VoiceXML 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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Aho, A.V., Gallagher, S., Griffeth, N.D., Schell, C.R., Swayne, D.F.: SCF3/Sculptor with Chisel: Requirements engineering for communications services. In: Kimbler, K., Bouma, W. (eds.) Proc. 5th Feature Interactions in Telecommunications and Software Systems, pp. 45–63. IOS Press, Amsterdam (1998)
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 (1993)
Chan, K.Y., von Bochmann, G.: Methods for designing SIP services in SDL with fewer feature interactions. In: Amyot, D., Logrippo, L. (eds.) Proc. 7th Feature Interactions in Telecommunications and Software Systems, pp. 59–76. IOS Press, Amsterdam (2003)
He, J., Turner, K.J.: Specification and verification of synchronous hardware using Lotos. In: Wu, J., Chanson, S.T., Gao, Q. (eds.) Proc. Formal Methods for Protocol Engineering and Distributed Systems (FORTE XII/PSTV XIX), pp. 295–312. Kluwer Academic Publishers, London (1999)
Tretmans, J.: Conformance testing with labelled transition systems: Implementation relations and test generation. Computer Networks 29, 25–59 (1996)
Turner, K.J.: Validating architectural feature descriptions using Lotos. In: Kimbler, K., Bouma, W. (eds.) Proc. 5th Feature Interactions in Telecommunications and Software Systems, pp. 247–261. IOS Press, Amsterdam (1998)
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, Springer, Heidelberg (2003)
Turner, K.J.: Representing newvoice services and their features. In: Amyot, D., Logrippo, L. (eds.) Proc. 7th Feature Interactions in Telecommunications and Software Systems, pp. 123–140. IOS Press, Amsterdam (2003)
Turner, K.J., Bing, Q.: Protocol techniques for testing radiotherapy accelerators. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol. 2529, pp. 81–96. Springer, Heidelberg (2002)
VoiceXML Forum. Voice eXtensible Markup Language. VoiceXML Version 1.0. VoiceXML Forum (March 2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 IFIP International Federation for Information Processing
About this paper
Cite this paper
Turner, K.J. (2003). Specifying and Realising Interactive Voice Services. In: König, H., Heiner, M., Wolisz, A. (eds) Formal Techniques for Networked and Distributed Systems - FORTE 2003. FORTE 2003. Lecture Notes in Computer Science, vol 2767. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39979-7_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-39979-7_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20175-5
Online ISBN: 978-3-540-39979-7
eBook Packages: Springer Book Archive