Automated Conflict Detection Between Medical Care Pathways

Philip Weber, Joao Bosco Ferreira Filho, Behzad Bordbar, Mark Lee, Ian Litchfield, Ruth Backman

Research output: Contribution to conference (unpublished)Paperpeer-review


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
Publication statusPublished - Jul 2017
EventInternational Conference on Software and Systems Processes: ICSSP'17 - Université Pierre et Marie Curie, Paris, France
Duration: 5 Jul 20177 Jul 2017


ConferenceInternational Conference on Software and Systems Processes
Abbreviated titleICSSP'17
Internet address


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


Dive into the research topics of 'Automated Conflict Detection Between Medical Care Pathways'. Together they form a unique fingerprint.

Cite this