Advertisement

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.

Keywords

Speech Recognition Target Language Session Initiation Protocol Feature Interaction Service Description 
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

  1. 1.
    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)Google Scholar
  2. 2.
    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
  3. 3.
    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)Google Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    Tretmans, J.: Conformance testing with labelled transition systems: Implementation relations and test generation. Computer Networks 29, 25–59 (1996)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    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
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
    Turner, K.J.: Formalising graphical service descriptions using SDL. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol. 2708, Springer, Heidelberg (2003)Google Scholar
  11. 11.
    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)Google Scholar
  12. 12.
    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)CrossRefGoogle Scholar
  13. 13.
    VoiceXML Forum. Voice eXtensible Markup Language. VoiceXML Version 1.0. VoiceXML Forum (March 2000)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2003

Authors and Affiliations

  • Kenneth J. Turner
    • 1
  1. 1.Computing Science and MathematicsUniversity of StirlingScotland

Personalised recommendations