DocumentCode
2150951
Title
Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs
Author
Mukkamala, Raghava Rao ; Hildebrandt, Tobias ; Slaats, Tijs
Author_Institution
IT Univ. of Copenhagen, Copenhagen, Denmark
fYear
2013
fDate
9-13 Sept. 2013
Firstpage
127
Lastpage
136
Abstract
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.
Keywords
graph theory; trusted computing; DCR graphs; Danish hospital; PROMELA code; SPIN model checker liveness; deadlock freedom; declarative dynamic condition response graphs; dynamic composition; flexible execution; trustworthy adaptive case management; Adaptation models; Business; Context; Educational institutions; Hospitals; System recovery; Adaptive Case Management; Declarative Business Processes; Verification;
fLanguage
English
Publisher
ieee
Conference_Titel
Enterprise Distributed Object Computing Conference (EDOC), 2013 17th IEEE International
Conference_Location
Vancouver, BC
ISSN
1541-7719
Type
conf
DOI
10.1109/EDOC.2013.22
Filename
6658271
Link To Document