Automated verification of care pathways using constraint programming

Renan  Pereira de Figueiredo; Joao Bosco Ferreira Filho; Flávio R. C.  Sousa; Philip Weber; Ian Litchfield

doi:10.1109/JBHI.2020.2977032

Automated verification of care pathways using constraint programming

Renan Pereira de Figueiredo, Joao Bosco Ferreira Filho, Flávio R. C. Sousa, Philip Weber, Ian Litchfield

Applied Health Research

Research output: Contribution to journal › Article › peer-review

212 Downloads (Pure)

Abstract

Bad construction of modeled care pathways can lead to satisfiability problems during the pathway execution. These problems can ultimately result in medical errors and need to be checked as formally as possible. Therefore, this study proposes a set of algorithms using a free open-source library dedicated to constraint programming allied with a DSL to encode and verify care pathways, checking four possible problems: states in deadlock, non-determinism, inaccessible steps and transitions with logically equivalent guard conditions. We then test our algorithms in 84 real care pathways used both in hospitals and surgeries. Using our algorithms, we were able to find 200 problems taking less than 1 second to complete the verification on most pathways. Index Terms—Clinical pathway, constraint programming, data-dependent transition system, DSL, satisfiability problems.

Original language	English
Article number	9017991
Pages (from-to)	2718-2725
Journal	IEEE Journal of Biomedical and Health Informatics
Volume	24
Issue number	9
DOIs	https://doi.org/10.1109/JBHI.2020.2977032
Publication status	Published - 28 Feb 2020

Keywords

Clinical pathway
DSL
constraint programming
data-dependent transition system
satisfiability problems

ASJC Scopus subject areas

Biotechnology
Computer Science Applications
Electrical and Electronic Engineering
Health Information Management

Access to Document

10.1109/JBHI.2020.2977032Licence: None: All rights reserved

de_Figueiredo_et_al_Automated_verification_of_care_IEEE_Journal_of_Biomedical_and_Health_Informatics_2020
© 2020 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Accepted author manuscript, 310 KBLicence: Other (please specify with Rights Statement)

https://ieeexplore.ieee.org/document/9017991Licence: None: All rights reserved

Cite this

@article{4faffbab9ad64dfa92abdf295009c5df,

title = "Automated verification of care pathways using constraint programming",

abstract = "Bad construction of modeled care pathways can lead to satisfiability problems during the pathway execution. These problems can ultimately result in medical errors and need to be checked as formally as possible. Therefore, this study proposes a set of algorithms using a free open-source library dedicated to constraint programming allied with a DSL to encode and verify care pathways, checking four possible problems: states in deadlock, non-determinism, inaccessible steps and transitions with logically equivalent guard conditions. We then test our algorithms in 84 real care pathways used both in hospitals and surgeries. Using our algorithms, we were able to find 200 problems taking less than 1 second to complete the verification on most pathways. Index Terms—Clinical pathway, constraint programming, data-dependent transition system, DSL, satisfiability problems. ",

keywords = "Clinical pathway, DSL, constraint programming, data-dependent transition system, satisfiability problems",

author = "{Pereira de Figueiredo}, Renan and {Ferreira Filho}, {Joao Bosco} and Sousa, {Fl{\'a}vio R. C.} and Philip Weber and Ian Litchfield",

year = "2020",

month = feb,

day = "28",

doi = "10.1109/JBHI.2020.2977032",

language = "English",

volume = "24",

pages = "2718--2725",

journal = "IEEE Journal of Biomedical and Health Informatics ",

issn = "2168-2194",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

number = "9",

}

TY - JOUR

T1 - Automated verification of care pathways using constraint programming

AU - Pereira de Figueiredo, Renan

AU - Ferreira Filho, Joao Bosco

AU - Sousa, Flávio R. C.

AU - Weber, Philip

AU - Litchfield, Ian

PY - 2020/2/28

Y1 - 2020/2/28

N2 - Bad construction of modeled care pathways can lead to satisfiability problems during the pathway execution. These problems can ultimately result in medical errors and need to be checked as formally as possible. Therefore, this study proposes a set of algorithms using a free open-source library dedicated to constraint programming allied with a DSL to encode and verify care pathways, checking four possible problems: states in deadlock, non-determinism, inaccessible steps and transitions with logically equivalent guard conditions. We then test our algorithms in 84 real care pathways used both in hospitals and surgeries. Using our algorithms, we were able to find 200 problems taking less than 1 second to complete the verification on most pathways. Index Terms—Clinical pathway, constraint programming, data-dependent transition system, DSL, satisfiability problems.

AB - Bad construction of modeled care pathways can lead to satisfiability problems during the pathway execution. These problems can ultimately result in medical errors and need to be checked as formally as possible. Therefore, this study proposes a set of algorithms using a free open-source library dedicated to constraint programming allied with a DSL to encode and verify care pathways, checking four possible problems: states in deadlock, non-determinism, inaccessible steps and transitions with logically equivalent guard conditions. We then test our algorithms in 84 real care pathways used both in hospitals and surgeries. Using our algorithms, we were able to find 200 problems taking less than 1 second to complete the verification on most pathways. Index Terms—Clinical pathway, constraint programming, data-dependent transition system, DSL, satisfiability problems.

KW - Clinical pathway

KW - DSL

KW - constraint programming

KW - data-dependent transition system

KW - satisfiability problems

UR - http://www.scopus.com/inward/record.url?scp=85090491972&partnerID=8YFLogxK

U2 - 10.1109/JBHI.2020.2977032

DO - 10.1109/JBHI.2020.2977032

M3 - Article

SN - 2168-2194

VL - 24

SP - 2718

EP - 2725

JO - IEEE Journal of Biomedical and Health Informatics

JF - IEEE Journal of Biomedical and Health Informatics

IS - 9

M1 - 9017991

ER -

Automated verification of care pathways using constraint programming

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Fingerprint

Cite this