An integrated framework for verifying multiple care pathways

Bowles, Juliana and Caminati, Marco B. and Cha, Suhyun (2018) An integrated framework for verifying multiple care pathways. In: 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) :. IEEE. ISBN 9781538619247

Full text not available from this repository.


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.

Item Type:
Contribution in Book/Report/Proceedings
ID Code:
Deposited By:
Deposited On:
01 Feb 2023 17:15
Last Modified:
28 Nov 2023 10:40