Skip to main content
Article thumbnail
Location of Repository

Rigorous development of prompting dialogues

By Kenneth J. Turner, Alex Gillespie and Lynne J. McMichael


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 dialoguesnext term 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 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 previous termdialogue 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

Topics: BF Psychology
Publisher: Elsevier
Year: 2011
DOI identifier: 10.1016/j.jbi.2011.03.010
OAI identifier:
Provided by: LSE Research Online

Suggested articles


  1. (2001). (E-)LOTOS: (Enhanced) language of temporal ordering specification. doi
  2. (2008). A charter for change. Counsel and Care, doi
  3. (2007). A comparison of four prompt modes for route finding for community travellers with severe cognitive impairments. doi
  4. (2006). A review of memory aid devices for an ageing population.
  5. (2009). A rigorous methodology for composing services. doi
  6. (2009). Abstraction and analysis of clinical guidance trees. doi
  7. (1999). Advanced modelling and verification techniques applied to a cluster file system. doi
  8. (1984). An iterative design methodology for user-friendly natural language office information applications. doi
  9. (2004). Analysing interactive voice services. doi
  10. (2004). Assistive technology for cognitive rehabilitation: State of the art. doi
  11. (1989). Bringing the social back in: A critique of the biomedicalization of dementia. doi
  12. (2004). Constructing an understanding of mind: The development of children’s social understanding within social interaction. doi
  13. (1984). Construction of the zone of proximal development in adult-child joint action: The socialization of meals. New Directions for Child and Adolescent Development, doi
  14. (2010). Dementia 2010: The economic burden of dementia and associated research funding in the United Kingdom. Alzheimer’s Society,
  15. (2010). Device services for the home. In doi
  16. (2010). Divergencesofperspectivebetweenpeople with aphasia and their family caregivers. doi
  17. (2003). Effectiveness of communication strategies used by caregivers of persons with Alzheimer’s disease during activities of daily living. doi
  18. (2003). Efficient on-the-fly model-checking for regular alternation-freemu-calculus. doi
  19. (2002). Estimating paid and unpaid hours of personal assistance services in activities of daily living provided to adults living at home. doi
  20. (2007). Examining effective communication strategies used by formal caregivers when interacting with Alzheimer’s disease residents during an activity of daily living (ADL). Brain and Language, doi
  21. (2009). Feasibility of machine-based prompting to assist persons with dementia. doi
  22. (1995). Filho. LOLA user manual (version 3R6).
  23. (2005). Formalising web services. doi
  24. (2001). Formally-based design evaluation. In doi
  25. (2010). Foundation for People with Learning Disabilities. Statistics about people with learning disabilities. learning-disabilities-statistics,
  26. (2007). Graphical composition of grid services. doi
  27. (1999). Improving morning care routines of nursing home residents with dementia. doi
  28. (1997). Inhibitory control during sentence comprehension doi
  29. (1988). Introduction to the ISO specification language LOTOS. doi
  30. (2003). Issues surrounding the user centred development of a new interactive memory aid. Universal Access in the Information Society, doi
  31. (2007). It’s the way that you, er, say it: Hesitations in speech affect language comprehension. doi
  32. (2007). Modal mu-calculi. doi
  33. (2002). Modelling SIP services using CRESS. doi
  34. (1997). PEAT: The Planning and Execution Assistant and Trainer. doi
  35. (2008). Personal digital assistants as cognitive aids for individuals with severe traumatic brain injury: A community based trial. doi
  36. (2004). Population aging and the rising cost of public pensions. doi
  37. (2010). Pure Data.
  38. (2001). Reducing everyday memory and planning by means of a paging system: A randomized control crossover study. doi
  39. (2010). Scaffolding rehabilitation behaviour using a voice-mediated assistive technology for cognition. doi
  40. (2007). SMS text messages as a prosthetic aid in the cognitive rehabilitation of schizophrenia. doi
  41. (1992). Specification and implementation of an ISDN telephone system using LOTOS.
  42. (2002). Strategies used by families to simplify tasks for individuals with Alzheimer’s disease and related disorders: doi
  43. (2001). Supporting the navigation task: Characteristics of good landmarks.
  44. (1998). Task demands and sentence comprehension in patients with dementia of the Alzheimer’s type. doi
  45. (2000). Ter Meulen. Facilitating and constraining factors on autonomy: The views of stroke patients on admission into nursing homes. doi
  46. (2005). Test generation for radiotherapy accelerators. doi
  47. (2005). The acceptability of assistive technology to older people. doi
  48. (2008). The COACH prompting system to assist older adults with dementia through hand washing: An efficacy study. doi
  49. (1977). The comprehension of metaphor in brain-damaged patients. doi
  50. (2004). The efficacy of an intelligent cognitive orthosis to facilitate handwashing by persons with moderate to severe dementia. doi
  51. (1998). The metaphor of scaffolding: Its utility for the field of learning disabilities. doi
  52. (2007). The metaphor of the triangle in theories of human development. doi
  53. (2004). The social and technological dimensions of scaffolding and related theoretical concepts for learning, education and human activity. doi
  54. (1999). The use of symmetrical ‘do’ and ‘don’t’ requests to interrupt ongoing activities. doi
  55. (2003). Theory and practice.
  56. (2006). Validating feature-based specifications. doi
  57. (1999). Verbal working memory and sentence comprehension. doi
  58. (1984). Verifying and validating software requirements and design specification. doi
  59. (2010). Voice eXtensible Markup Language. VoiceXML Version 2.1. VoiceXML Forum, doi
  60. (2002). VoiceXML: Strategies and Techniques for Effective Voice Application Development with VoiceXML 2.0.
  61. (2010). World Alzheimer report: The global economic impact of dementia. Alzheimer’s Disease International, doi

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.