Automated Conflict Detection Between Medical Care Pathways

Research output: Contribution to journalArticlepeer-review

Colleges, School and Institutes


Clinical guidelines specify sequences of steps (care pathways) to treat patients with single conditions. Increasingly many patients exhibit ‘multimorbidity’, several chronic conditions needing concurrent treatment. However, applying multiple guidelines in parallel can lead to conflicts, e.g. between prescribed drugs, lifestyle intervention recommendations, or treatment schedules. In computer science, process languages used to design and reason about software development and business process management are similar to clinical pathways. Using formal model transformation, composition and analysis methods, models can be combined and conflicts detected and resolved. We propose BPMN+V, a data-driven formal model for clinical care pathways, as an extension of BPMN. We describe a method for conflict detection using a transformation of BPMN+V to Coloured Petri Nets, and a state-space method for detection of conflict in composed models. We present results from a case study, showing that common conflicts are successfully detected, and propose extension to a complete framework for efficiently recommending resolutions to medical conflicts in composed care pathway models.


Original languageEnglish
Article numbere1898
Number of pages18
JournalJournal of software: Evolution and Process
Issue number7
Early online date10 Oct 2017
Publication statusPublished - Jul 2018
EventInternational Conference on Software and Systems Processes: ICSSP'17 - Université Pierre et Marie Curie, Paris, France
Duration: 5 Jul 20177 Jul 2017


  • BPMN, Workflow models, coloured Petri nets, Model transformation, Clinical guidelines, Care Pathways, Conflict detection, Multimorbidity