@article{681f565e2e1941378faa98e584dfaab9,
title = "Automated Conflict Detection Between Medical Care Pathways",
abstract = "Clinical guidelines specify sequences of steps (care pathways) to treat patients with single conditions. Increasingly many patients exhibit {\textquoteleft}multimorbidity{\textquoteright}, 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.",
keywords = "BPMN, Workflow models, coloured Petri nets, Model transformation, Clinical guidelines, Care Pathways, Conflict detection, Multimorbidity",
author = "Philip Weber and {Ferreira Filho}, {Joao Bosco} and Behzad Bordbar and Mark Lee and Ian Litchfield and Ruth Backman",
year = "2018",
month = jul,
doi = "10.1002/smr.1898",
language = "English",
volume = "30",
journal = "Journal of software: Evolution and Process",
issn = "2047-7481",
publisher = "John Wiley & Sons",
number = "7",
note = "International Conference on Software and Systems Processes : ICSSP'17, ICSSP'17 ; Conference date: 05-07-2017 Through 07-07-2017",
url = "http://icssp-conferences.org/",
}