在可验证正确的可执行医疗最佳实践指南模型中建模并集成医疗资源可用时间与关系（扩展版）

提升患者护理安全性是医疗信息物理系统的终极目标。近期一项研究表明，将医疗最佳实践指南计算机化可显著降低患者死亡率。近期数据还显示，急诊护理中的部分发病与死亡直接由因医疗资源匮乏导致的诊疗延迟或中断引起。然而，医疗指南通常未就医疗资源需求及如何管理资源可用性中潜在的意外延迟提供指导。若医疗资源暂时不可用，现有可执行医疗指南模型中的安全属性可能失效，从而可能增加受护理患者的风险。本文提出一种分离建模联合验证（SMJV）架构，将医疗资源可用时间与关系分离建模，并将资源模型集成后联合验证现有医疗最佳实践指南模型的安全属性。SMJV 架构使医务人员能够在急诊护理中有效管理医疗资源需求与意外的资源可用性延迟。分离建模方法还允许不同领域专业人员独立修改模型，便于频繁资源可用性变更的管理，并实现资源状态图在多个医疗指南模型中的复用。以一个简化的卒中场景作为案例研究来考察 SMJV 架构的有效性与正确性。案例研究表明，SMJV 架构能够识别由意外资源延迟引起的不安全属性。