A Workflow-Driven Formal Methods Approach to the Generation of Structured Checklists for Intrahospital Patient Transfers
A Workflow-Driven Formal Methods Approach to the Generation of Structured Checklists for Intrahospital Patient Transfers
复制标题
工作流驱动的形式化方法用于生成院内患者转移的结构化检查表
DOI：
10.1109/jbhi.2016.2579881
复制
发表时间：
2017
影响因子：
7.7
通讯作者：
P. Papapanagiotou
中科院分区：
文献类型：
--
作者：
A. Manataki;Jacques D. Fleuriot;P. Papapanagiotou
院内转运是医院护理中常见但危险的方面，大量事件对患者安全构成威胁。越来越多的工作提倡使用检查表来最大程度地降低院内转移风险，但大多数现有检查表不能保证没有错误，并且难以适应不同的临床环境或不断变化的医院政策。本文详细介绍了一种通过使用工作流技术和生成结构化检查表的正式方法来应对这些挑战的方法。提出了一种三阶段方法，首先概念化院内转运流程，然后严格组成经过机械验证的工作流程，最后转化为一组清单，为医院工作人员提供支持，同时保持不同转运任务之间的依赖性。提出了一个案例研究，强调了这种方法的可行性，以及该方法的逻辑基础带来的正确性和可维护性优势。讨论了清单评估，并就其有用性得出了有希望的结果。
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.
DOI：
--
发表时间：
2000
期刊：
Proceedings. AMIA Symposium
影响因子：
--
作者：
M. Peleg;A. Boxwala;O. Ogunyemi;Qing Zeng-Treitler;S. Tu;Ronilda C. Lacson;E. Bernstam;N. Ash;P. Mork;L. Ohno-Machado;E. Shortliffe;R. Greenes
通讯作者：
M. Peleg;A. Boxwala;O. Ogunyemi;Qing Zeng-Treitler;S. Tu;Ronilda C. Lacson;E. Bernstam;N. Ash;P. Mork;L. Ohno-Machado;E. Shortliffe;R. Greenes