A Workflow-Driven Formal Methods Approach to the Generation of Structured Checklists for Intrahospital Patient Transfers
- Submitting institution
-
University of Edinburgh
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 87176098
- Type
- D - Journal article
- DOI
-
10.1109/JBHI.2016.2579881
- Title of journal
- IEEE Journal of Biomedical and Health Informatics
- Article number
- -
- First page
- 1156
- Volume
- 21
- Issue
- 4
- ISSN
- 2168-2194
- Open access status
- Deposit exception
- Month of publication
- June
- Year of publication
- 2016
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
B - Data Science and Artificial Intelligence
- Citation count
- 1
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Impact of checklists in clinical practice has been tremendous, yet there is a lack of standardised methodologies for developing them. This paper presents a novel computational methodology for devising checklists that are free of logical errors, backed by workflow technologies and formal methods. Unlike most existing approaches, the checklists generated were evaluated by an independent group of clinicians. Paper's ideas underpin the WorkflowFM commercialisation project (£15K, Scottish Enterprise) and the DigiFlow project (€1M, EIT Digital) on digitising industrial workflows, leading to a product with 2 sales in 2019 and projected turnover €450K in year 4 (contact: Activity Leader EIT Digital).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -