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

Programming Logic and Semantics

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › 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.

Originalsprog	Engelsk
Tidsskrift	International Enterprise Distributed Object Computing Conference. Proceedings
Sider (fra-til)	127-136
ISSN	1541-7719
DOI	https://doi.org/10.1109/EDOC.2013.22
Status	Udgivet - 2013

Emneord

Adaptive Case Management
Declarative Business Processes
verification
Dynamic Business Processes

Adgang til dokumentet

10.1109/EDOC.2013.22

Adaptive-Case-Management-EDOC2013Indsendt manuskript, 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
Projekter: Projekt › Forskning
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
Projekter: Projekt › Forskning

Citationsformater

@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

Emneord

Adgang til dokumentet

Fingeraftryk

Projekter

TRUSTCARE: Trustworthy Pervasive Healthcare Services

MT-Lab - Modelling of Information Technology

Citationsformater