1. Formal verification of collaboration patterns in healthcare.
- Author
-
Papapanagiotou, Petros and Fleuriot, Jacques D.
- Subjects
- *
MEDICAL care , *COMPUTER simulation , *CONCEPTUAL structures , *HEALTH care teams , *INTERPROFESSIONAL relations , *LOGIC , *RESEARCH funding , *SEMANTICS - Abstract
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. [ABSTRACT FROM AUTHOR]
- Published
- 2014
- Full Text
- View/download PDF