Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/3373
Full metadata record
DC FieldValueLanguage
dc.contributor.authorTurner, Kenneth Jen_UK
dc.contributor.authorGillespie, Alexen_UK
dc.contributor.authorMcMichael, Lynne Jen_UK
dc.date.accessioned2013-06-09T05:10:03Z-
dc.date.available2013-06-09T05:10:03Zen_UK
dc.date.issued2011-10en_UK
dc.identifier.urihttp://hdl.handle.net/1893/3373-
dc.description.abstractOBJECTIVES 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.en_UK
dc.language.isoenen_UK
dc.publisherElsevieren_UK
dc.relationTurner KJ, Gillespie A & McMichael LJ (2011) Rigorous Development of Prompting Dialogues. Journal of Biomedical Informatics, 44 (5), pp. 713-727. https://doi.org/10.1016/j.jbi.2011.03.010en_UK
dc.rightsThe 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.en_UK
dc.rights.urihttp://www.rioxx.net/licenses/under-embargo-all-rights-reserveden_UK
dc.subjectCognitive Impairmenten_UK
dc.subjectCRESS (Communication Representation Employing Systematic Specification)en_UK
dc.subjectDialogueen_UK
dc.subjectFormal Methoden_UK
dc.subjectGUIDE (General User Interface for Disorders of Execution)en_UK
dc.subjectIVR (Interactive Voice Response)en_UK
dc.subjectLOTOS (Language Of Temporal Ordering Specificationen_UK
dc.subjectPromptingen_UK
dc.subjectValidationen_UK
dc.subjectVerificationen_UK
dc.subjectVoiceXMLen_UK
dc.subjectComputer networksen_UK
dc.subjectTelecommunication systemsen_UK
dc.subjectCognition disordersen_UK
dc.titleRigorous Development of Prompting Dialoguesen_UK
dc.typeJournal Articleen_UK
dc.rights.embargodate3000-01-01en_UK
dc.rights.embargoreason[Rigorous Development of Prompting Dialogues.pdf] The publisher does not allow this work to be made publicly available in this Repository therefore there is an embargo on the full text of the work.en_UK
dc.identifier.doi10.1016/j.jbi.2011.03.010en_UK
dc.citation.jtitleJournal of Biomedical Informaticsen_UK
dc.citation.issn1532-0464en_UK
dc.citation.volume44en_UK
dc.citation.issue5en_UK
dc.citation.spage713en_UK
dc.citation.epage727en_UK
dc.citation.publicationstatusPublisheden_UK
dc.citation.peerreviewedRefereeden_UK
dc.type.statusVoR - Version of Recorden_UK
dc.author.emailkjt@cs.stir.ac.uken_UK
dc.contributor.affiliationComputing Scienceen_UK
dc.contributor.affiliationPsychologyen_UK
dc.contributor.affiliationUniversity of Stirlingen_UK
dc.identifier.isiWOS:000295492000001en_UK
dc.identifier.scopusid2-s2.0-80052881392en_UK
dc.identifier.wtid829370en_UK
dcterms.dateAccepted2011-10-31en_UK
dc.date.filedepositdate2011-09-30en_UK
rioxxterms.typeJournal Article/Reviewen_UK
rioxxterms.versionVoRen_UK
local.rioxx.authorTurner, Kenneth J|en_UK
local.rioxx.authorGillespie, Alex|en_UK
local.rioxx.authorMcMichael, Lynne J|en_UK
local.rioxx.projectInternal Project|University of Stirling|https://isni.org/isni/0000000122484331en_UK
local.rioxx.freetoreaddate3000-01-01en_UK
local.rioxx.licencehttp://www.rioxx.net/licenses/under-embargo-all-rights-reserved||en_UK
local.rioxx.filenameRigorous Development of Prompting Dialogues.pdfen_UK
local.rioxx.filecount1en_UK
local.rioxx.source1532-0464en_UK
Appears in Collections:Computing Science and Mathematics Journal Articles

Files in This Item:
File Description SizeFormat 
Rigorous Development of Prompting Dialogues.pdfFulltext - Published Version680.66 kBAdobe PDFUnder Embargo until 3000-01-01    Request a copy


This item is protected by original copyright



Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved https://creativecommons.org/publicdomain/zero/1.0/

If you believe that any material held in STORRE infringes copyright, please contact library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.