Modelling and implementation of correct by construction healthcare workflows

Petros Papapanagiotou, Jacques Fleuriot

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

We present a rigorous methodology for the modelling and implementation of correct by construction healthcare workflows. It relies on the theoretical concept of proofs-as-processes that draws a connection between logical proofs and process workflows. Based on this, our methodology offers an increased level of trust through mathematical guarantees of correctness for the constructed workflows, including type correctness, systematic resource management, and deadlock and livelock freedom. Workflows are modelled as compositions of abstract processes and can be deployed as executable code automatically. We demonstrate the benefits of our approach through a prototype system involving workflows for assignment and delegation of clinical services while tracking responsibility and accountability explicitly.
Original languageEnglish
Title of host publicationBusiness Process Management Workshops
Subtitle of host publicationBPM 2014 International Workshops, Eindhoven, The Netherlands, September 7-8, 2014, Revised Papers
PublisherSpringer International Publishing
Number of pages12
ISBN (Electronic)978-3-319-15895-2
ISBN (Print)978-3-319-15894-5
Publication statusPublished - 2014

Publication series

NameLecture Notes in Business Information Processing
PublisherSpringer International Publishing
ISSN (Print)1865-1348


Dive into the research topics of 'Modelling and implementation of correct by construction healthcare workflows'. Together they form a unique fingerprint.

Cite this