Rigorous Development of Prompting Dialogues



Turner KJ, Gillespie A & McMichael LJ (2011) Rigorous Development of Prompting Dialogues. Journal of Biomedical Informatics, 44 (5), pp. 713-727.

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.

Cognitive Impairment; CRESS (Communication Representation Employing Systematic Specification); Dialogue; Formal Method; GUIDE (General User Interface for Disorders of Execution); IVR (Interactive Voice Response); LOTOS (Language Of Temporal Ordering Specification; Prompting; Validation; Verification; VoiceXML; Computer networks; Telecommunication systems; Cognition disorders

Journal of Biomedical Informatics: Volume 44, Issue 5

Publication date31/10/2011

People (1)


Professor KEN Turner

Professor KEN Turner

Emeritus Professor, Computing Science