Modelling and Implementation of Correct by Construction Healthcare Workflows [chapter]

Petros Papapanagiotou, Jacques Fleuriot
2015 Lecture Notes in Business Information Processing  
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
more » ... re 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.
doi:10.1007/978-3-319-15895-2_3 fatcat:f7x3piwbojdixd327xv2ezy4vm