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

Thomas Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats

Research output: Journal Article or Conference Article in Journal › Conference article › Research › 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.

Translated title of the contribution	Deklarativ modellering og sikker distribuering af sundhedsarbejdsgange
Original language	English
Book series	Lecture Notes in Computer Science
Volume	7151
Pages (from-to)	39-56
Number of pages	18
ISSN	0302-9743
DOIs	https://doi.org/10.1007/978-3-642-32355-3_3
Publication status	Published - 2012
Event	International Symposium on Foundations of Health Information Engineering and Systems - Johannesburg, South Africa Duration: 29 Aug 2011 → 30 Aug 2011 http://www.iist.unu.edu/ICTAC/FHIES2011/

Conference

Conference	International Symposium on Foundations of Health Information Engineering and Systems
Country/Territory	South Africa
City	Johannesburg
Period	29/08/2011 → 30/08/2011
Internet address	http://www.iist.unu.edu/ICTAC/FHIES2011/

Keywords

workflow distribution
NCR Graphs
healthcare workflow
distributed execution
process synthesis

Access to Document

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

Paper 17Accepted author manuscript, 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
Project: Research

Cite this

@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

Conference

Keywords

Access to Document

Fingerprint

Projects

TRUSTCARE: Trustworthy Pervasive Healthcare Services

Cite this