Automated conflict detection between medical care pathways

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, eg, 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 Business Process Model and Notation. 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.

[1]  Wolfgang Reisig,et al.  Petri Nets , 1985, EATCS Monographs on Theoretical Computer Science.

[2]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[3]  T A Pryor,et al.  The arden syntax for medical logic modules , 1990, International journal of clinical monitoring and computing.

[4]  Fabio Casati,et al.  Conceptual Modelling of WorkFlows , 1995 .

[5]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[6]  Maria E. Orlowska,et al.  Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models , 1999, CAiSE.

[7]  Fabio Casati,et al.  Conceptual Modeling of Workflows , 1995, Advances in Object-Oriented Data Modeling.

[8]  Wil M. P. van der Aalst,et al.  An Alternative Way to Analyze Workflow Graphs , 2002, CAiSE.

[9]  Michael Westergaard,et al.  CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets , 2003, ICATPN.

[10]  John Fox,et al.  Application of Information Technology: The Syntax and Semantics of the PROforma Guideline Modeling Language , 2003, J. Am. Medical Informatics Assoc..

[11]  D. Forman,et al.  Delays in managing lung cancer. , 2004, Thorax.

[12]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[13]  Omolola Ogunyemi,et al.  GLIF3: a representation format for sharable computer-interpretable clinical practice guidelines , 2004, J. Biomed. Informatics.

[14]  Wil M.P. van der Aalst,et al.  YAWL: yet another workflow language , 2005, Inf. Syst..

[15]  Michael Havey,et al.  Essential business process modeling , 2005 .

[16]  D. Thompson.  British National Formulary (BNF) , 2005 .

[17]  A. Wu,et al.  Clinical practice guidelines and quality of care for older patients with multiple comorbid diseases: implications for pay for performance. , 2005, JAMA.

[18]  Matjaz B. Juric,et al.  Business Process Execution Language for Web Services BPEL and BPEL4WS 2nd Edition , 2006 .

[19]  Daniel Jackson,et al.  Software Abstractions - Logic, Language, and Analysis , 2006 .

[20]  Peter J. Haug,et al.  Natural language processing to extract medical problems from electronic clinical documents: Performance evaluation , 2006, J. Biomed. Informatics.

[21]  Jonathan N. Hawley,et al.  Is the number of prescribing physicians an independent risk factor for adverse drug events in an elderly outpatient population? , 2007, The American journal of geriatric pharmacotherapy.

[22]  Lars Michael Kristensen,et al.  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.

[23]  Frank Leymann,et al.  Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition , 2007, ICSOC.

[24]  Michael zur Muehlen,et al.  Service Process Innovation: A Case Study of BPMN in Practice , 2008, Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS 2008).

[25]  Francisco Ruiz,et al.  Implementation of the Business Process Modelling Notation (BPMN) in the modelling of anatomic pathology processes , 2008, Diagnostic pathology.

[26]  Remco M. Dijkman,et al.  Transforming BPMN Diagrams into YAWL Nets , 2008, BPM.

[27]  Nikolaj Bjørner,et al.  Z3: An Efficient SMT Solver , 2008, TACAS.

[28]  Remco M. Dijkman,et al.  Semantics and analysis of business process models in BPMN , 2008, Inf. Softw. Technol..

[29]  Mario Piattini,et al.  Process Modeling of the Health Sector Using BPMN: A Case Study , 2008, HEALTHINF.

[30]  Balbir S. Barn,et al.  BPMN, Toolsets, and Methodology: A Case Study of Business Process Management in Higher Education , 2008, ISD.

[31]  P. Ubel,et al.  The impact of the format of graphical presentation on health-related knowledge and treatment choices. , 2008, Patient education and counseling.

[32]  Wen Song,et al.  Transformation of BPMN to YAWL , 2008, 2008 International Conference on Computer Science and Software Engineering.

[33]  JianHong Ye,et al.  Formal Semantics of BPMN Process Models Using YAWL , 2008, 2008 Second International Symposium on Intelligent Information Technology Application.

[34]  Ahmed Awad,et al.  Diagnosing and Repairing Data Anomalies in Process Models , 2009, Business Process Management Workshops.

[35]  Clement J. McDonald,et al.  What can natural language processing do for clinical decision support? , 2009, J. Biomed. Informatics.

[36]  Sami Evangelista,et al.  ASAP: An Extensible Platform for State Space Analysis , 2009, Petri Nets.

[37]  Lars Michael Kristensen,et al.  Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .

[38]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2003, Distributed and Parallel Databases.

[39]  Johan Karlsson,et al.  BPMN and its Semantics for Information Management in Emergency Care , 2009, 2009 Fourth International Conference on Computer Sciences and Convergence Information Technology.

[40]  Bridget A. Stewart,et al.  A preliminary look at duplicate testing associated with lack of electronic health record interoperability for transferred patients , 2010, J. Am. Medical Informatics Assoc..

[41]  Jan Recker,et al.  Opportunities and constraints: the current struggle with BPMN , 2010, Bus. Process. Manag. J..

[42]  Mm Jones.  Chronic obstructive pulmonary disease: Management of chronic obstructive pulmonary disease in adults in primary and secondary care , 2010 .

[43]  Juliana Küster Filipe Bowles,et al.  Formal Transformation from Sequence Diagrams to Coloured Petri Nets , 2010, 2010 Asia Pacific Software Engineering Conference.

[44]  Egon Börger,et al.  Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL , 2011, Software & Systems Modeling.

[45]  Richard Müller,et al.  BPMN for Healthcare Processes , 2011, ZEUS.

[46]  Abdul V. Roudsari,et al.  Computerization of workflows, guidelines, and care pathways: a review of implementation challenges for process-oriented health information systems , 2011, J. Am. Medical Informatics Assoc..

[47]  Andreas Meyer,et al.  Data in Business Processes , 2011, EMISA Forum.

[48]  Omar Chiotti,et al.  Extending BPMN 2.0: Method and Tool Support , 2011, BPMN.

[49]  J. Valderas,et al.  Epidemiology and impact of multimorbidity in primary care: a retrospective cohort study. , 2011, The British journal of general practice : the journal of the Royal College of General Practitioners.

[50]  P. Shekelle,et al.  Developing clinical practice guidelines: reviewing, reporting, and publishing guidelines; updating guidelines; and the emerging issues of enhancing guideline implementability and accounting for comorbid conditions in guideline development , 2012, Implementation Science.

[51]  B. Guthrie,et al.  Adapting clinical guidelines to take account of multimorbidity , 2012, BMJ : British Medical Journal.

[52]  P. Shekelle,et al.  Developing clinical practice guidelines: types of evidence and outcomes; values and economics, synthesis, grading, and presentation and deriving recommendations , 2012, Implementation Science.

[53]  Bernd Blobel,et al.  Business process modeling in healthcare. , 2012, Studies in health technology and informatics.

[54]  Hagen Völzer,et al.  The Difficulty of Replacing an Inclusive OR-Join , 2012, BPM.

[55]  H. Scheuerlein,et al.  New methods for clinical pathways—Business Process Modeling Notation (BPMN) and Tangible Business Process Modeling (t.BPM) , 2012, Langenbeck's Archives of Surgery.

[56]  P. Shekelle,et al.  Developing clinical practice guidelines: target audiences, identifying topics for guidelines, guideline group composition and functioning and conflicts of interest , 2012, Implementation Science.

[57]  S. Wyke,et al.  Epidemiology of multimorbidity and implications for health care, research, and medical education: a cross-sectional study , 2012, The Lancet.

[58]  Remco M. Dijkman,et al.  A visual token-based formalization of BPMN 2.0 based on in-place transformations , 2013, Inf. Softw. Technol..

[59]  B. Guthrie,et al.  Guidelines for people not for diseases: the challenges of applying UK clinical guidelines to people with multimorbidity. , 2013, Age and ageing.

[60]  Andreas Meyer,et al.  Modeling and Enacting Complex Data Dependencies in Business Processes , 2013, BPM.

[61]  K. Chalkidou.  About the National Institute for Health and Care Excellence - NICE. , 2013, Acta medica portuguesa.

[62]  P. Harmon.  The State of Business Process Management , 2013 .

[63]  David Riaño,et al.  Combining open‐source natural language processing tools to parse clinical practice guidelines , 2013, Expert Syst. J. Knowl. Eng..

[64]  J. Billeter.  Long term Conditions Compendium of Information , 2013 .

[65]  Mor Peleg,et al.  Computer-interpretable clinical guidelines: A methodological review , 2013, J. Biomed. Informatics.

[66]  P. Bower,et al.  Primary care practitioner and patient understanding of the concepts of multimorbidity and self-management: A qualitative study , 2013, SAGE open medicine.

[67]  Iain E. Buchan,et al.  Using String Metrics to Identify Patient Journeys through Care Pathways , 2014, AMIA.

[68]  Jianwen Su,et al.  Modeling data for business processes , 2014, 2014 IEEE 30th International Conference on Data Engineering.

[69]  Moe Thandar Wynn,et al.  How to guarantee compliance between workflows and product lifecycles? , 2014, Inf. Syst..

[70]  Indranil R. Bardhan,et al.  Value of Health Information Sharing in Reducing Healthcare Waste: An analysis of duplicate testing across hospitals , 2014, ICIS.

[71]  Werner Esswein,et al.  BPMN4CP: Design and implementation of a BPMN extension for clinical pathways , 2014, 2014 IEEE International Conference on Bioinformatics and Biomedicine (BIBM).

[72]  Klaus-Dieter Schewe,et al.  A Rigorous Semantics for BPMN 2.0 Process Diagrams , 2014, Springer International Publishing.

[73]  Juliana Küster Filipe Bowles,et al.  Automated composition of sequence diagrams via alloy , 2014, 2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

[74]  David Cronkite,et al.  Using natural language processing to identify problem usage of prescription opioids , 2015, Int. J. Medical Informatics.

[75]  Manuel Campos,et al.  BPMN-Based Representation and Comparison of Clinical Pathways for Catheter-Related Bloodstream Infections , 2015, 2015 International Conference on Healthcare Informatics.

[76]  Mark von Rosing,et al.  Business Process Model and Notation - BPMN , 2015, The Complete Business Process Handbook, Vol. I.

[77]  W. M. P. V. D. Aalsta,et al.  YAWL : yet another workflow language , 2015 .

[78]  B. Guthrie,et al.  Drug-disease and drug-drug interactions: systematic examination of recommendations in 12 UK national clinical guidelines , 2015, BMJ : British Medical Journal.

[79]  Andrea Burattin,et al.  PLG2: Multiperspective Processes Randomization and Simulation for Online and Offline Settings , 2015, ArXiv.

[80]  Werner Esswein,et al.  Extending a Business Process Modeling Language for Domain-Specific Adaptation in Healthcare , 2015, Wirtschaftsinformatik.

[81]  H. Nazar,et al.  Use of a service evaluation and lean thinking transformation to redesign an NHS 111 refer to community Pharmacy for Emergency Repeat Medication Supply Service (PERMSS) , 2016, BMJ Open.

[82]  Rafael T. de Sousa,et al.  A methodology for quality assurance for business process modeling with BPMN: A case study for the SIGEPE software , 2016, 2016 11th Iberian Conference on Information Systems and Technologies (CISTI).

[83]  Andrea Burattin,et al.  PLG2: Multiperspective Process Randomization with Online and Offline Simulations , 2016, BPM.

[84]  Adriano Bessa Albuquerque,et al.  An Agile Approach to Improve Process-Oriented Software Development , 2016, CSOC.

[85]  Yacine Rezgui,et al.  Cloud-Based BIM Governance Platform Requirements and Specifications: Software Engineering Approach Using BPMN and UML , 2016, J. Comput. Civ. Eng..

[86]  S. Davies,et al.  Cost Implications of Adapting The Investigation And Diagnosis Pathway of Infertilty Patients In A Uk Nhs Setting , 2016 .

[87]  Zuzana Kominkova Oplatkova,et al.  Software Engineering Perspectives and Application in Intelligent Systems - Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 2 , 2016, CSOC.

[88]  B. Bordbar,et al.  University of Birmingham Automated Conflict Detection Between Medical Care Pathways , 2017 .