An integrated framework for verifying multiple care pathways
MetadataShow full item record
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.
Bowles , J K F , Caminati , M B & Cha , S 2018 , An integrated framework for verifying multiple care pathways . in Eleventh International Symposium on Theoretical Aspects of Software Engineering (TASE) . vol. 2018-January , IEEE Computer Society , pp. 1-8 , 11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017 , Sophia Antipolis , France , 13/09/17 . DOI: 10.1109/TASE.2017.8285628conference
Eleventh International Symposium on Theoretical Aspects of Software Engineering (TASE)
© 2017 IEEE. This work has been made available online in accordance with the publisher’s policies. This is the author created, accepted version manuscript following peer review and may differ slightly from the final published version. The final published version of this work is available at ieeexplore.ieee.org
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.