1 Programming, Logic and Semantics, Software & Systems, The Department2 Theoretical Computer Science, The Department3 Software & Systems, The Department4 Process and System Models, Software & Systems, The Department5 Programming Logic and Semantics, Theoretical Computer Science, The Department6 Pervasive Interaction Technology, Software & Systems, The Department7 Computer Science, IT University of Copenhagen
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.
International Enterprise Distributed Object Computing Conference. Proceedings, 2013, p. 127-136
Adaptive Case Management; Declarative Business Processes; verification; Dynamic Business Processes