An integrated framework for verifying multiple care pathways

Juliana Kuster Filipe Bowles*, Marco Bright Caminati, Suhyun Cha

*Corresponding author for this work

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

7 Citations (Scopus)
2 Downloads (Pure)

Abstract

Common chronic conditions are routinely treated following standardised procedures known as clinical pathways. For patients suffering from two or more chronic conditions, referred to as multimorbidities, several pathways have to be applied simultaneously. However, since pathways rarely consider the presence of comorbidities, applying several pathways may lead to potentially harmful (medication) conflicts. This paper proposes an automated framework to detect, highlight and resolve conflicts in the treatments used for patients with multimorbidites. We use BPMN as a modelling language for capturing care guidelines. A BPMN model is transformed into an intermediate formal model capturing the possible unfoldings of the pathway. Through a combination of the constraint solver Z3 and the theorem prover Isabelle, we check the correctness of combined treatment plans. We illustrate the approach with an example from the medical domain and discuss future work.
Original languageEnglish
Title of host publication2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)
PublisherIEEE Computer Society
Pages1-8
Number of pages8
ISBN (Electronic)9781538619247
ISBN (Print)9781538619261
DOIs
Publication statusPublished - 7 Feb 2018
Event11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017 - Sophia Antipolis, France
Duration: 13 Sept 201715 Sept 2017

Conference

Conference11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017
Country/TerritoryFrance
CitySophia Antipolis
Period13/09/1715/09/17

Fingerprint

Dive into the research topics of 'An integrated framework for verifying multiple care pathways'. Together they form a unique fingerprint.

Cite this