Towards trustworthy adaptive case management with dynamic condition response graphs

Raghava Rao Mukkamala; Thomas Hildebrandt; Tijs Slaats

doi:10.1109/EDOC.2013.22

Towards trustworthy adaptive case management with dynamic condition response graphs

Raghava Rao Mukkamala, Thomas Hildebrandt, Tijs Slaats

23 Citations (Scopus)

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.

Original language	English
Title of host publication	2013 17th IEEE International Enterprise Distributed Object Computing Conference (EDOC)
Number of pages	10
Publisher	IEEE
Publication date	2013
Pages	127-136
ISBN (Electronic)	978-0-7695-5081-7
DOIs	https://doi.org/10.1109/EDOC.2013.22
Publication status	Published - 2013
Externally published	Yes
Event	17th IEEE International Enterprise Distributed Object Computing Conference - Vancouver, Canada Duration: 9 Sept 2013 → 13 Sept 2013 Conference number: 17

Conference

Conference	17th IEEE International Enterprise Distributed Object Computing Conference
Number	17
Country/Territory	Canada
City	Vancouver
Period	09/09/2013 → 13/09/2013

Access to Document

10.1109/EDOC.2013.22

Cite this

Towards trustworthy adaptive case management with dynamic condition response graphs. / Mukkamala, Raghava Rao; Hildebrandt, Thomas; Slaats, Tijs.
2013 17th IEEE International Enterprise Distributed Object Computing Conference (EDOC). IEEE, 2013. p. 127-136.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Mukkamala, RR, Hildebrandt, T & Slaats, T 2013, Towards trustworthy adaptive case management with dynamic condition response graphs. in 2013 17th IEEE International Enterprise Distributed Object Computing Conference (EDOC). IEEE, pp. 127-136, 17th IEEE International Enterprise Distributed Object Computing Conference, Vancouver, Canada, 09/09/2013. https://doi.org/10.1109/EDOC.2013.22

@inproceedings{d84ff914db1f4ce68bf42f94f86417ce,

title = "Towards trustworthy adaptive case management with dynamic condition response graphs",

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.",

author = "Mukkamala, {Raghava Rao} and Thomas Hildebrandt and Tijs Slaats",

year = "2013",

doi = "10.1109/EDOC.2013.22",

language = "English",

pages = "127--136",

booktitle = "2013 17th IEEE International Enterprise Distributed Object Computing Conference (EDOC)",

publisher = "IEEE",

note = "17th IEEE International Enterprise Distributed Object Computing Conference ; Conference date: 09-09-2013 Through 13-09-2013",

}

TY - GEN

T1 - Towards trustworthy adaptive case management with dynamic condition response graphs

AU - Mukkamala, Raghava Rao

AU - Hildebrandt, Thomas

AU - Slaats, Tijs

N1 - Conference code: 17

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.

U2 - 10.1109/EDOC.2013.22

DO - 10.1109/EDOC.2013.22

M3 - Article in proceedings

SP - 127

EP - 136

BT - 2013 17th IEEE International Enterprise Distributed Object Computing Conference (EDOC)

PB - IEEE

T2 - 17th IEEE International Enterprise Distributed Object Computing Conference

Y2 - 9 September 2013 through 13 September 2013

ER -

Towards trustworthy adaptive case management with dynamic condition response graphs

Abstract

Conference

Access to Document

Fingerprint

Cite this