Declarative Modelling and Safe Distribution of Healthcare Workflows

Thomas Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats

Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review


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 contributionDeklarativ modellering og sikker distribuering af sundhedsarbejdsgange
Original languageEnglish
Book seriesLecture Notes in Computer Science
Pages (from-to)39-56
Number of pages18
Publication statusPublished - 2012
EventInternational Symposium on Foundations of Health Information Engineering and Systems - Johannesburg, South Africa
Duration: 29 Aug 201130 Aug 2011


ConferenceInternational Symposium on Foundations of Health Information Engineering and Systems
Country/TerritorySouth Africa
Internet address


Dive into the research topics of 'Declarative Modelling and Safe Distribution of Healthcare Workflows'. Together they form a unique fingerprint.

Cite this