Declarative Modelling and Safe Distribution of Healthcare Workflows

Thomas Hildebrandt; Raghava Rao Mukkamala; Tijs Slaats

doi:10.1007/978-3-642-32355-3_3

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 tidsskrift › Konferenceartikel › Forskning › peer review

Abstract

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 titel	Deklarativ modellering og sikker distribuering af sundhedsarbejdsgange
Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	7151
Sider (fra-til)	39-56
Antal sider	18
ISSN	0302-9743
DOI	https://doi.org/10.1007/978-3-642-32355-3_3
Status	Udgivet - 2012
Begivenhed	International Symposium on Foundations of Health Information Engineering and Systems - Johannesburg, Sydafrika Varighed: 29 aug. 2011 → 30 aug. 2011 http://www.iist.unu.edu/ICTAC/FHIES2011/

Konference

Konference	International Symposium on Foundations of Health Information Engineering and Systems
Land/Område	Sydafrika
By	Johannesburg
Periode	29/08/2011 → 30/08/2011
Internetadresse	http://www.iist.unu.edu/ICTAC/FHIES2011/

Emneord

workflow distribution
NCR Graphs
healthcare workflow
distributed execution
process synthesis

Adgang til dokumentet

10.1007/978-3-642-32355-3_3

Paper 17Accepteret manuskript, 465 KB

http://link.springer.com/chapter/10.1007%2F978-3-642-32355-3_3?LI=true

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

Citationsformater

@inproceedings{e1d355a9e45144d1a02b98f0ebb7097b,

title = "Declarative Modelling and Safe Distribution of Healthcare Workflows",

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

keywords = "workflow distribution, NCR Graphs, healthcare workflow, distributed execution, process synthesis, workflow distribution, NCR Graphs, healthcare workflow, distributed execution, process synthesis",

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

year = "2012",

doi = "10.1007/978-3-642-32355-3_3",

language = "English",

volume = "7151",

pages = "39--56",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer",

note = "International Symposium on Foundations of Health Information Engineering and Systems, FHIES 2011 ; Conference date: 29-08-2011 Through 30-08-2011",

url = "http://www.iist.unu.edu/ICTAC/FHIES2011/",

}

TY - GEN

T1 - Declarative Modelling and Safe Distribution of Healthcare Workflows

AU - Hildebrandt, Thomas

AU - Mukkamala, Raghava Rao

AU - Slaats, Tijs

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

KW - workflow distribution

KW - NCR Graphs

KW - healthcare workflow

KW - distributed execution

KW - process synthesis

KW - workflow distribution

KW - NCR Graphs

KW - healthcare workflow

KW - distributed execution

KW - process synthesis

U2 - 10.1007/978-3-642-32355-3_3

DO - 10.1007/978-3-642-32355-3_3

M3 - Conference article

SN - 0302-9743

VL - 7151

SP - 39

EP - 56

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - International Symposium on Foundations of Health Information Engineering and Systems

Y2 - 29 August 2011 through 30 August 2011

ER -

Declarative Modelling and Safe Distribution of Healthcare Workflows

Abstract

Konference

Emneord

Adgang til dokumentet

Fingeraftryk

Projekter

TRUSTCARE: Trustworthy Pervasive Healthcare Services

Citationsformater