TY - GEN
T1 - Modelling and implementation of correct by construction healthcare workflows
AU - Papapanagiotou, Petros
AU - Fleuriot, Jacques
PY - 2014
Y1 - 2014
N2 - We present a rigorous methodology for the modelling and implementation of correct by construction healthcare workflows. It relies on the theoretical concept of proofs-as-processes that draws a connection between logical proofs and process workflows. Based on this, our methodology offers an increased level of trust through mathematical guarantees of correctness for the constructed workflows, including type correctness, systematic resource management, and deadlock and livelock freedom. Workflows are modelled as compositions of abstract processes and can be deployed as executable code automatically. We demonstrate the benefits of our approach through a prototype system involving workflows for assignment and delegation of clinical services while tracking responsibility and accountability explicitly.
AB - We present a rigorous methodology for the modelling and implementation of correct by construction healthcare workflows. It relies on the theoretical concept of proofs-as-processes that draws a connection between logical proofs and process workflows. Based on this, our methodology offers an increased level of trust through mathematical guarantees of correctness for the constructed workflows, including type correctness, systematic resource management, and deadlock and livelock freedom. Workflows are modelled as compositions of abstract processes and can be deployed as executable code automatically. We demonstrate the benefits of our approach through a prototype system involving workflows for assignment and delegation of clinical services while tracking responsibility and accountability explicitly.
U2 - 10.1007/978-3-319-15895-2_3
DO - 10.1007/978-3-319-15895-2_3
M3 - Conference contribution
SN - 978-3-319-15894-5
T3 - Lecture Notes in Business Information Processing
SP - 28
EP - 39
BT - Business Process Management Workshops
PB - Springer
ER -