Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs

Raghava Rao Mukkamala, Thomas Hildebrandt, Tijs Slaats

Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

Abstrakt

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.
OriginalsprogEngelsk
TidsskriftInternational Enterprise Distributed Object Computing Conference. Proceedings
Sider (fra-til)127-136
ISSN1541-7719
DOI
StatusUdgivet - 2013

Fingeraftryk

Dyk ned i forskningsemnerne om 'Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs'. Sammen danner de et unikt fingeraftryk.

Citationsformater