Please use this identifier to cite or link to this item:
Appears in Collections:Computing Science and Mathematics Journal Articles
Peer Review Status: Refereed
Title: Rigorous Development of Prompting Dialogues
Authors: Turner, Kenneth J
Gillespie, Alex
McMichael, Lynne J
Contact Email:
Keywords: Cognitive Impairment
CRESS (Communication Representation Employing Systematic Specification)
Formal Method
GUIDE (General User Interface for Disorders of Execution)
IVR (Interactive Voice Response)
LOTOS (Language Of Temporal Ordering Specification
Issue Date: Oct-2011
Publisher: Elsevier
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.
Type: Journal Article
DOI Link:
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

Files in This Item:
File Description SizeFormat 
Rigorous Development of Prompting Dialogues.pdf680.66 kBAdobe PDFUnder 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 providing details and we will remove the Work from public display in STORRE and investigate your claim.