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.
|Title of host publication||Computer-Based Medical Systems (CBMS), 2012 25th International Symposium on|
|Number of pages||6|
|Publication status||Published - 1 Jun 2012|