期刊
IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS
卷 21, 期 4, 页码 1156-1162出版社
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/JBHI.2016.2579881
关键词
Checklist; formal methods; intrahospital transfer; process model; workflow
类别
资金
- EPSRC [EP/J001058]
- Centre for Intelligent Systems and their Applications
- College of Science and Engineering of the University of Edinburgh
- Engineering and Physical Sciences Research Council [EP/N014758/1] Funding Source: researchfish
- EPSRC [EP/N014758/1] Funding Source: UKRI
Intrahospital transfers are a common but hazardous aspect of hospital care, with a large number of incidents posing a threat to patient safety. A growing body of work advocates the use of checklists for minimizing intrahospital transfer risk, but the majority of existing checklists are not guaranteed to be error-free and are difficult to adapt to different clinical settings or changing hospital policies. This paper details an approach that addresses these challenges through the employment of workflow technologies and formal methods for generating structured checklists. A three-phased methodology is proposed, where intrahospital transfer processes are first conceptualized, then rigorously composed into workflows that are mechanically verified, and finally, translated into a set of checklists that support hospital staff while maintaining the dependencies between different transfer tasks. A case study is presented, highlighting the feasibility of this approach, and the correctness and maintainability benefits brought by the logical underpinning of this methodology. A checklist evaluation is discussed, with promising results regarding their usefulness.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据