Skip to content

Research at St Andrews

A framework for automated conflict detection and resolution in medical guidelines

Research output: Contribution to journalArticle

Open Access Status

  • Embargoed (until 10/07/20)

Author(s)

J. Bowles, M. B. Caminati, S. Cha, J. Mendoza

School/Research organisations

Abstract

Common chronic conditions are routinely treated following standardised procedures known as clinical guidelines. For patients suffering from two or more chronic conditions, known as multimorbidity, several guidelines have to be applied simultaneously, which may lead to severe adverse effects when the combined recommendations and prescribed medications are inconsistent or incomplete. This paper presents an automated formal framework to detect, highlight and resolve conflicts in the treatments used for patients with multimorbidities focusing on medications. The presented extended framework has a front-end which takes guidelines captured in a standard modelling language and returns the visualisation of the detected conflicts as well as suggested alternative treatments. Internally, the guidelines are transformed into formal models capturing the possible unfoldings of the guidelines. The back-end takes the formal models associated with multiple guidelines and checks their correctness with a theorem prover, and inherent inconsistencies with a constraint solver. Key to our approach is the use of an optimising constraint solver which enables us to search for the best solution that resolves/minimises conflicts according to medication efficacy and the degree of severity in case of harmful combinations, also taking into account their temporal overlapping. The approach is illustrated throughout with a real medical example.
Close

Details

Original languageEnglish
Pages (from-to)42-63
Number of pages22
JournalScience of Computer Programming
Volume182
Early online date10 Jul 2019
DOIs
Publication statusPublished - 1 Aug 2019

    Research areas

  • Clinical guidelines, Formal methods, SMT solvers, Theorem provers, Isabelle/HOL

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Balancing Prescriptions with Constraint Solvers

    Bowles, J. K. F. & Caminati, M. B., 20 Jun 2019, Automated Reasoning for Systems Biology and Medicine. Liò, P. & Zuliani, P. (eds.). Springer, 27 p. (Computational Biology; vol. 30).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  2. Formalization and Automation of Quality Assurance Processes in Radiation Oncology

    Munbodh, R., Zaveri, H., Caminati, M. & Bowles, J., 31 Jul 2018, In : Medical physics. 45, 6, p. E274-E274 1 p.

    Research output: Contribution to journalAbstract

  3. An integrated framework for verifying multiple care pathways

    Bowles, J. K. F., Caminati, M. B. & Cha, S., 7 Feb 2018, Eleventh International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE Computer Society, Vol. 2018-January. p. 1-8 8 p.

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

  4. A flexible approach for finding optimal paths with minimal conflicts

    Bowles, J. K. F. & Caminati, M. B., 2017, Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings. Duan, Z. & Ong, L. (eds.). Springer, p. 209-225 16 p. (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 10610).

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

  5. A verified algorithm enumerating event structures

    Bowles, J. K. F. & Caminati, M. B., 2017, Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. Geuvers, H., England, M., Hasan, O., Rabe, F. & Teschke, O. (eds.). Cham: Springer, p. 239-254 (Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence); vol. 10383).

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

Related by journal

  1. Introduction to the special issue on automatic program generation for embedded systems

    Hammond, K. & Kelly, P. H. J., 1 Feb 2012, In : Science of Computer Programming. 77, 2, p. 81-82 2 p.

    Research output: Contribution to journalEditorial

ID: 259673549