TY - GEN
T1 - Rigorous process-based modelling of patterns for collaborative work in healthcare teams
AU - Papapanagiotou, Petros
AU - Fleuriot, Jacques
AU - Grando, Adela
PY - 2012
Y1 - 2012
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84867283405&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84867283405&partnerID=8YFLogxK
U2 - 10.1109/CBMS.2012.6266330
DO - 10.1109/CBMS.2012.6266330
M3 - Conference contribution
AN - SCOPUS:84867283405
SN - 9781467320511
T3 - Proceedings - IEEE Symposium on Computer-Based Medical Systems
BT - Proceedings of the 25th IEEE International Symposium on Computer-Based Medical Systems, CBMS 2012
T2 - 25th IEEE International Symposium on Computer-Based Medical Systems, CBMS 2012
Y2 - 20 June 2012 through 22 June 2012
ER -