Rigorous process-based modelling of patterns for collaborative work in healthcare teams

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We review recently proposed notions of healthcare patterns for collaborative work and show how these can be cast in terms of composition of processes. The approach uses a purely diagrammatic language to drive a logic-based verification engine, resulting in fully-verified workflows that capture the information flow in these patterns.
Original languageEnglish
Title of host publicationComputer-Based Medical Systems (CBMS), 2012 25th International Symposium on
Pages1-6
Number of pages6
DOIs
Publication statusPublished - 1 Jun 2012

Fingerprint

Dive into the research topics of 'Rigorous process-based modelling of patterns for collaborative work in healthcare teams'. Together they form a unique fingerprint.

Cite this