|Appears in Collections:||Computing Science and Mathematics Journal Articles|
|Peer Review Status:||Refereed|
|Title:||Rigorous Development of Prompting Dialogues|
|Authors:||Turner, Kenneth J|
McMichael, Lynne J
CRESS (Communication Representation Employing Systematic Specification)
GUIDE (General User Interface for Disorders of Execution)
IVR (Interactive Voice Response)
LOTOS (Language Of Temporal Ordering Specification
|Citation:||Turner KJ, Gillespie A & McMichael LJ (2011) Rigorous Development of Prompting Dialogues, Journal of Biomedical Informatics, 44 (5), pp. 713-727.|
|Abstract:||OBJECTIVES The aim was to support people with cognitive impairment through speech-based dialogues that guide them through everyday tasks such as activities of daily living. The research objectives were to simplify the design of prompting dialogues, to automate the checking of prompting dialogues for syntactic and semantic errors, and to automate the translation of dialogue designs into a form that allows their ready deployment. APPROACH Prompting dialogues are described using CRESS (Communication Representation Employing Systematic Specificatioin). This is a notation and toolset that allows the flow in a service (such as a dialogue) to be defined in an understandable and graphical way. A dialogue diagram is automatically translated into a formal specification for rigorous verification and validation. Once confidence has been built in the dialogue design, the dialogue diagram is automatically translated into VoiceXML and deployed on a voice platform. RESULTS All key objectives of the work have been achieved. A variety of significant dialogues have been successfully represented using CRESS notation. These dialogues have been automatically analysed through formal verification and validation in order to detect anomalies. Finally, the dialogues have been automatically realised on a VoiceXML platform and have been evaluated with volunteer users.|
|Rights:||The publisher does not allow this work to be made publicly available in this Repository. Please use the Request a Copy feature at the foot of the Repository record to request a copy directly from the author; you can only request a copy if you wish to use this work for your own research or private study.|
|Affiliation:||Computing Science - CSM Dept|
University of Stirling
|Rigorous Development of Prompting Dialogues.pdf||680.66 kB||Adobe PDF||Under Embargo until 31/12/2999 Request a copy|
Note: If any of the files in this item are currently embargoed, you can request a copy directly from the author by clicking the padlock icon above. However, this facility is dependant on the depositor still being contactable at their original email address.
This item is protected by original copyright
Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
If you believe that any material held in STORRE infringes copyright, please contact email@example.com providing details and we will remove the Work from public display in STORRE and investigate your claim.