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 language | English |
|---|---|
| Pages (from-to) | 1278-1293 |
| Number of pages | 16 |
| Journal | Behaviour and Information Technology |
| Volume | 33 |
| Issue number | 12 |
| DOIs | |
| Publication status | Published - Oct 2014 |
Fingerprint
Dive into the research topics of 'Formal verification of collaboration patterns in healthcare'. Together they form a unique fingerprint.Profiles
-
Jacques Fleuriot
- School of Informatics - Personal Chair of Artificial Intelligence
- Artificial Intelligence and its Applications Institute
- Data Science and Artificial Intelligence
Person: Academic: Research Active