Declarative Modelling and Safe Distribution of Healthcare Workflows

Bidragets oversatte titel: Deklarativ modellering og sikker distribuering af sundhedsarbejdsgange

Thomas Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats

Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

Abstrakt

We present a formal technique for safe distribution of workflow processes described declaratively as Nested Condition Response (NCR) Graphs and apply the technique to a distributed healthcare workflow. Concretely, we provide a method to synthesize from a NCR Graph and any distribution of its 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 is based on our recent similar work on safe distribution of Dynamic Condition Response (DCR) Graphs applied to cross-organizational case management. The contributions of this 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.
Bidragets oversatte titelDeklarativ modellering og sikker distribuering af sundhedsarbejdsgange
OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Vol/bind7151
Sider (fra-til)39-56
Antal sider18
ISSN0302-9743
DOI
StatusUdgivet - 2012
BegivenhedInternational Symposium on Foundations of Health Information Engineering and Systems - Johannesburg, Sydafrika
Varighed: 29 aug. 201130 aug. 2011
http://www.iist.unu.edu/ICTAC/FHIES2011/

Konference

KonferenceInternational Symposium on Foundations of Health Information Engineering and Systems
Land/OmrådeSydafrika
ByJohannesburg
Periode29/08/201130/08/2011
Internetadresse

Fingeraftryk

Dyk ned i forskningsemnerne om 'Deklarativ modellering og sikker distribuering af sundhedsarbejdsgange'. Sammen danner de et unikt fingeraftryk.

Citationsformater