STORRE
STORRE: Stirling Online Research Repository
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1893/487| Appears in Collections: | Computing Science and Mathematics Conference Papers and Proceedings |
| Peer Review Status: | Refereed |
| Author(s): | Turner, Kenneth J |
| Contact Email: | kjt@cs.stir.ac.uk |
| Title: | Specifying and Realising Interactive Voice Services |
| Editor(s): | Koenig, Harmut Heiner, Monica Wolisz, Adam |
| Citation: | Turner KJ (2003) Specifying and Realising Interactive Voice Services. In: Koenig H, Heiner M & Wolisz A (eds.) Formal Techniques for Networked and Distributed Systems - Forte 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September/October 2, 2003 Proceedings. Lecture Notes in Computer Science 2767, 2767. FORTE 2003: Formal Techniques for Networked and Distributed Systems - FORTE 2003, Berlin, Germany, 29.09.2003-02.10.2003. Berlin: Springer-Verlag, pp. 15-30. http://www.springerlink.com; https://doi.org/10.1007/11965 |
| Issue Date: | 2003 |
| Date Deposited: | 20-Oct-2008 |
| Series/Report no.: | Lecture Notes in Computer Science 2767, 2767 |
| Conference Name: | FORTE 2003: Formal Techniques for Networked and Distributed Systems - FORTE 2003 |
| Conference Dates: | 2003-09-29 - 2003-10-02 |
| Conference Location: | Berlin, Germany |
| Abstract: | VoiceXML (Voice Extended Markup Language) has become a major force in interactive voice services. However current approaches to creating Voice-XML 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. |
| Status: | AM - Accepted Manuscript |
| Rights: | Published by Springer-Verlag. The original publication is available at www.springerlink.com |
| URL: | http://www.springerlink.com |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| spec-voice.pdf | Fulltext - Accepted Version | 114.02 kB | Adobe PDF | View/Open |
This item is protected by original copyright |
Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved https://creativecommons.org/publicdomain/zero/1.0/
If you believe that any material held in STORRE infringes copyright, please contact library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.