A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Modelling and Implementation of Correct by Construction Healthcare Workflows
[chapter]
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
doi:10.1007/978-3-319-15895-2_3
fatcat:f7x3piwbojdixd327xv2ezy4vm