Skip to content

Research at St Andrews

An integrated framework for verifying multiple care pathways

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

Author(s)

School/Research organisations

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

Details

Original languageEnglish
Title of host publicationEleventh International Symposium on Theoretical Aspects of Software Engineering
PublisherIEEE Computer Society
Number of pages8
StateAccepted/In press - 23 May 2017
EventEleventh International Symposium on Theoretical Aspects of Software Engineering (TASE 2017) - Nice, France

Conference

ConferenceEleventh International Symposium on Theoretical Aspects of Software Engineering (TASE 2017)
Abbreviated titleTASE 2017
CountryFrance
CityNice
Period13/09/1715/09/17
Internet address

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

View graph of relations

Related by author

  1. Correct composition of dephased behavioural models

    Bowles, J. K. F. & Caminati, M. B. 18 Jul 2017 Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. Springer, 18 p. (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 10487)

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

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

    Bowles, J. K. F. & Caminati, M. B. 2 Jul 2017 19th International Conference on Formal Engineering Methods (ICFEM 2017). Springer, 16 p. (Lecture Notes in Computer Science)

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

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

  4. Mind the gap: addressing behavioural inconsistencies with formal methods

    Bowles, J. K. F. & Caminati, M. B. 6 Dec 2016 2016 23rd Asia-Pacific Software Engineering Conference (APSEC). Potanin, A., Murphy, G. C., Reeves, S. & Dietrich, J. (eds.). IEEE Computer Society, p. 313-320 8 p. 7890603

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

  5. Aplicação de técnicas quantitativas de modelagem na busca da eficiência de processos hospitalares

    Webber, T., Caminati, M. B., Mueller, M., Redeker, G., Bowles, J. K. F., Czekster, R. & Quickert, S. 23 Sep 2016

    Research output: Contribution to conferencePoster

ID: 250067631