Title :
Rigorous process-based modelling of patterns for collaborative work in healthcare teams
Author :
Papapanagiotou, Petros ; Fleuriot, Jacques ; Grando, Adela
Author_Institution :
Sch. of Inf., Univ. of Edinburgh, Edinburgh, UK
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.
Keywords :
formal verification; groupware; health care; collaborative work; healthcare teams; information flow; logic-based verification engine; purely diagrammatic language; rigorous process-based modelling; Abstracts; Collaboration; Collaborative work; Contracts; Educational institutions; Medical services; Process control;
Conference_Titel :
Computer-Based Medical Systems (CBMS), 2012 25th International Symposium on
Conference_Location :
Rome
Print_ISBN :
978-1-4673-2049-8
DOI :
10.1109/CBMS.2012.6266330
