Formal verification of collaboration patterns in healthcare

Research output: Contribution to journalArticlepeer-review

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.
Original languageEnglish
Pages (from-to)1278-1293
Number of pages16
JournalBehaviour and Information Technology
Volume33
Issue number12
DOIs
Publication statusPublished - Oct 2014

Fingerprint

Dive into the research topics of 'Formal verification of collaboration patterns in healthcare'. Together they form a unique fingerprint.

Cite this