Formalising interactive voice services with SDL

Authors:
Kenneth J. Turner
Affiliations:
Computing Science and Mathematics, University of Stirling, Stirling, UK
Venue:
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Year:
2005

Citing 6
Cited 0

Introduction to SDL-92

Computer Networks and ISDN Systems - Special issue on SDL and MSC
Modelling SIP Services Using CRESS

FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Analysing interactive voice services

Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
Validating feature-based specifications: Research Articles

Software—Practice & Experience
Formalizing graphical service descriptions using SDL

SDL'03 Proceedings of the 11th international conference on System design
Formalising web services

FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems

Quantified Score

Hi-index	0.00

Visualization

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.