Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs

Abstract—We describe how the declarative Dynamic Condi-tion Response (DCR) Graphs process model can be used for trustworthy adaptive case management by leveraging the flexi-ble 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