Formal verification of collaboration patterns in healthcare
Formal verification of collaboration patterns in healthcare
复制标题
医疗保健协作模式的正式验证
DOI：
10.1080/0144929x.2013.824506
复制
发表时间：
2014
影响因子：
3.7
通讯作者：
Jacques D. Fleuriot
中科院分区：
文献类型：
--
作者：
P. Papapanagiotou;Jacques D. Fleuriot
我们提出了一个基于计算机的框架，在医疗团队的合作模式的正式验证。在这种情况下，模式被图解地构建为被视为抽象过程的基石的组合物。该方法提供了确保安全属性得到强制执行和异常事件得到系统处理的机制。此外，一个完全验证的，可执行的模型作为最终产品，使其相关的协作场景的模拟。
We propose a computer-based framework for the formal verification of collaboration patterns in healthcare teams. In this, the patterns are constructed diagrammatically as compositions of keystones that are viewed as abstract processes. The approach provides mechanisms for ensuring that safety properties are enforced and exceptional events are handled systematically. Additionally, a fully verified, executable model is obtained as an end product, enabling a simulation of its associated collaboration scenarios.
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
影响因子：
2.5
作者：
Grau, Bernardo Cuenca;Horrocks, Ian;Sattler, Ulrike
通讯作者：
Sattler, Ulrike
DOI：
10.1197/jamia.m1135
发表时间：
2003-01-01
影响因子：
6.4
作者：
Peleg, M;Tu, S;Stefanelli, M
通讯作者：
Stefanelli, M