A Symbolic Semantics and Bisimulation for Full LOTOS
FORTE '01 Proceedings of the IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems
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
Protocol Techniques for Testing Radiotherapy Accelerators
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
CADP - A Protocol Validation and Verification Toolbox
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Formalizing graphical service descriptions using SDL
SDL'03 Proceedings of the 11th international conference on System design
Representing and analysing composed web services using Cress
Journal of Network and Computer Applications
A rigorous approach to orchestrating grid services
Computer Networks: The International Journal of Computer and Telecommunications Networking
Implementation and empirical evaluation of voice-enabled web applications
International Journal of Information Technology and Management
Voice enabling mobile financial services with multimodal transformation
International Journal of Mobile Communications
The implementation of a secure and pervasive multimodal Web system architecture
Information and Software Technology
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Formalising interactive voice services with SDL
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Rigorous development of prompting dialogues
Journal of Biomedical Informatics
Voice interactive classroom: best practices and design strategies
Concurrency and Computation: Practice & Experience
Hi-index | 0.00 |
IVR (Interactive Voice Response) services are increasingly prevalent in automated telephone enquiry systems. VoiceXML (Voice eXtensible Markup Language) has become one of the leading languages for IVR. The nature of IVR services is introduced, along with an explanation of how they are represented in VoiceXML. However a VoiceXML description is at a low level, so it is difficult to gain an overview of the service that is offered. There is also no rigorous way to check the integrity of an IVR application. CRESS (Chisel Representation Employing Systematic Specification) is a graphical notation for describing services in an abstract, language-independent manner. For this paper, IVR services are described with CRESS, and translated into LOTOS (Language Of Temporal Ordering Specification) for automated analysis. Because of the infinite state space, it is not practicable to formally verify the generated specifications. Instead, the focus is on more practical solutions. The properties of a specification are checked by including observer processes to monitor undesirable situations like repeatedly prompting the user for input. MUSTARD (Multiple-Use Scenario Test And Refusal Description) is introduced as a language for defining scenario-based tests of services. The approach is illustrated with sample tests of IVR services. It is seen how MUSTARD helps to build confidence in an IVR application. The paper also introduces a feature concept for IVR, and discusses feature interaction in this context. General categories of IVR feature interaction are presented. It is shown how CRESS and MUSTARD combine to help discover interactions among IVR features.