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

Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

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
Journal	International Enterprise Distributed Object Computing Conference. Proceedings
Pages (from-to)	127-136
ISSN	1541-7719
DOIs	https://doi.org/10.1109/EDOC.2013.22
Publication status	Published - 2013

Keywords

Adaptive Case Management
Declarative Business Processes
verification
Dynamic Business Processes

Access to Document

10.1109/EDOC.2013.22

Adaptive-Case-Management-EDOC2013Submitted manuscript, 672 KB

TRUSTCARE: Trustworthy Pervasive Healthcare Services
Hildebrandt, T. (PI), Bardram, J. (CoI), Mukkamala, R. R. (CoI) & Bunde-Pedersen, J. (CoI)
Danish Council for Strategic Research
01/01/2008 → 30/06/2012
Project: Research
MT-Lab - Modelling of Information Technology
Wasowski, A. (CoI), Godskesen, J. C. (PI), Song, L. (CoI), Traonouez, L.-M. (CoI) & Biondi, F. (CoI)
01/11/2008 → 31/10/2013
Project: Research

Cite this

@inproceedings{152e003fa6e44b9a8f410c2d4c1c60c9,

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

keywords = "Adaptive Case Management, Declarative Business Processes, verification, Dynamic Business Processes, Adaptive Case Management, Declarative Business Processes, verification, Dynamic Business Processes",

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

year = "2013",

doi = "10.1109/EDOC.2013.22",

language = "English",

pages = "127--136",

journal = "International Enterprise Distributed Object Computing Conference. Proceedings",

issn = "1541-7719",

}

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

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 -

Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs

Abstract

Keywords

Access to Document

Fingerprint

Projects

TRUSTCARE: Trustworthy Pervasive Healthcare Services

MT-Lab - Modelling of Information Technology

Cite this