Home > Research > Publications & Outputs > An integrated framework for verifying multiple ...

Research

Associated organisational unit

Text available via DOI:

View graph of relations

An integrated framework for verifying multiple care pathways

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Standard

An integrated framework for verifying multiple care pathways. / Bowles, Juliana; Caminati, Marco B.; Cha, Suhyun.
2017 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2018. 17595273.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harvard

Bowles, J, Caminati, MB & Cha, S 2018, An integrated framework for verifying multiple care pathways. in 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)., 17595273, IEEE. https://doi.org/10.1109/TASE.2017.8285628

APA

Bowles, J., Caminati, M. B., & Cha, S. (2018). An integrated framework for verifying multiple care pathways. In 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) Article 17595273 IEEE. https://doi.org/10.1109/TASE.2017.8285628

Vancouver

Bowles J, Caminati MB, Cha S. An integrated framework for verifying multiple care pathways. In 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE. 2018. 17595273 doi: 10.1109/TASE.2017.8285628

Author

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

Bibtex

@inproceedings{36c67b23af7c4be398d635f7beed6ff4,
title = "An integrated framework for verifying multiple care pathways",
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.",
author = "Juliana Bowles and Caminati, {Marco B.} and Suhyun Cha",
year = "2018",
month = feb,
day = "7",
doi = "10.1109/TASE.2017.8285628",
language = "English",
isbn = "9781538619247",
booktitle = "2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)",
publisher = "IEEE",

}

RIS

TY - GEN

T1 - An integrated framework for verifying multiple care pathways

AU - Bowles, Juliana

AU - Caminati, Marco B.

AU - Cha, Suhyun

PY - 2018/2/7

Y1 - 2018/2/7

N2 - 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.

AB - 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.

U2 - 10.1109/TASE.2017.8285628

DO - 10.1109/TASE.2017.8285628

M3 - Conference contribution/Paper

SN - 9781538619247

SN - 9781538619261

BT - 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)

PB - IEEE

ER -