A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Declarative Modelling and Safe Distribution of Healthcare Workflows
[chapter]
2012
Lecture Notes in Computer Science
We present a formal technique for safe distribution of workflow processes described declaratively as Nested Condition Response (NCR) Graphs and apply the technique to a distributed healthcare workflow. Concretely, we provide a method to synthesize from an NCR Graph and any distribution of its events a set of local process graphs communicating by shared events, such that the distributed execution of the local processes is equivalent to executing the original process. The technique is based on
doi:10.1007/978-3-642-32355-3_3
fatcat:nlqto73gcvfbhbjuabccwbkaf4