TY - GEN
T1 - Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs
AU - Mukkamala, Raghava Rao
AU - Hildebrandt, Thomas
AU - Slaats, Tijs
PY - 2013
Y1 - 2013
N2 - We describe how the declarative Dynamic Condition Response (DCR) Graphs process model can be used for trustworthy adaptive case management by leveraging the flexible execution, dynamic composition and adaptation supported by DCR Graphs. The dynamically composed and adapted graphs are verified for deadlock freedom and liveness in the SPIN model checker by utilizing a mapping from DCR Graphs to PROMELA code. We exemplify the approach by a small workflow extracted from a field study at a danish hospital.
AB - We describe how the declarative Dynamic Condition Response (DCR) Graphs process model can be used for trustworthy adaptive case management by leveraging the flexible execution, dynamic composition and adaptation supported by DCR Graphs. The dynamically composed and adapted graphs are verified for deadlock freedom and liveness in the SPIN model checker by utilizing a mapping from DCR Graphs to PROMELA code. We exemplify the approach by a small workflow extracted from a field study at a danish hospital.
KW - Adaptive Case Management
KW - Declarative Business Processes
KW - verification
KW - Dynamic Business Processes
U2 - 10.1109/EDOC.2013.22
DO - 10.1109/EDOC.2013.22
M3 - Conference article
SN - 1541-7719
SP - 127
EP - 136
JO - International Enterprise Distributed Object Computing Conference. Proceedings
JF - International Enterprise Distributed Object Computing Conference. Proceedings
ER -