Declarative modelling and safe distribution of healthcare workflows

Thomas Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats

10 Citationer (Scopus)

Abstract

We present a formal technique for safe distribution of workflow processes described declaratively as nested Dynamic Condition Response (DCR) Graphs and apply the technique to a distributed healthcare workflow. Concretely, we provide a method to synthesize from a nested DCR Graph and any distribution of its atomic events a set of local process graphs communicating by shared events, such that the distributed execution of the local processes is equivalent to executing the original process. The technique extends our recent work on safe distribution of non-nested DCR Graphs applied to cross-organizational case management. The main contributions of the present paper is to adapt the technique to allow for nested processes and milestones and to apply it to a healthcare workflow identified in a previous field study at Danish hospitals. We also provide a new formalization of the semantics of DCR Graphs which highlights its declarative nature.

OriginalsprogEngelsk
TitelFoundations of Health Informatics Engineering and Systems : First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers
RedaktørerZhiming Liu, Alan Wassyng
Antal sider18
ForlagSpringer
Publikationsdato2012
Sider39-56
ISBN (Trykt)978-3-642-32354-6
ISBN (Elektronisk)978-3-642-32355-3
DOI
StatusUdgivet - 2012
Udgivet eksterntJa
BegivenhedFirst International Symposium on Foundations of Health Informatics Engineering and Systems - Johannesburg, Sydafrika
Varighed: 29 aug. 201130 aug. 2011
Konferencens nummer: 1

Konference

KonferenceFirst International Symposium on Foundations of Health Informatics Engineering and Systems
Nummer1
Land/OmrådeSydafrika
ByJohannesburg
Periode29/08/201130/08/2011
NavnLecture notes in computer science
Vol/bind7151
ISSN0302-9743

Fingeraftryk

Dyk ned i forskningsemnerne om 'Declarative modelling and safe distribution of healthcare workflows'. Sammen danner de et unikt fingeraftryk.

Citationsformater