CISA Seminar: Petros Papapanagiotou
Rigorous process-based modelling of patterns for collaborative work in healthcare teams
Jun 04, 2012
from 02:00 PM to 02:30 PM
|Add event to calendar||
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. This talk is also a rehearsal for a paper to be presented at CBMS 2012 in June.