title: Rigorous development of prompting dialogues.
abstract: OBJECTIVE
  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.
  
  
  METHODS
  Prompting dialogues are described using CRESS (Communication Representation Employing Systematic Specification). 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 the 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.
authors: Computing Science and Mathematics, University of Stirling, Stirling FK94LA, UK. kjt@cs.stir.ac.uk
authors: Kenneth J
authors: KJ
authors: Turner
authors: Alex
authors: A
authors: Gillespie
authors: Lynne J
authors: LJ
authors: McMichael
mesh_terms: D003071:Cognition / Q000502:physiology; D003142:Communication; D006801:Humans; D011381:Programming Languages; D012107:Research Design; D012660:Semantics