University of Birmingham Automated Conflict Detection Between Medical Care Pathways

Publisher Rights Statement: Checked for eligibility: 29/08/2017 "This is the peer reviewed version of the following article: Weber P, Filho JBF, Bordbar B, Lee M, Litchfield I, Backman R. Automated conflict detection between medical care pathways. J Softw Evol Proc. 2017;e1898. https://doi.org/10.1002/smr.1898 , which has been published in final form at 10.1002/smr.1898. This article may be used for non-commercial purposes in accordance with Wiley Terms and Conditions for Self-Archiving.

[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]  Wil M. P. van der Aalst,et al.  An Alternative Way to Analyze Workflow Graphs , 2002, CAiSE.

[8]  M. Petró‐Turza,et al.  The International Organization for Standardization. , 2003 .

[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]  Omolola Ogunyemi,et al.  GLIF3: a representation format for sharable computer-interpretable clinical practice guidelines , 2004, J. Biomed. Informatics.

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

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

[14]  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.

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

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

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

[18]  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.

[19]  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.

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

[21]  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).

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

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

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

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

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

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

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

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

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

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

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

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

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

[35]  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.

[36]  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..

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

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

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

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

[41]  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..

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

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

[44]  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.

[45]  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.

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

[47]  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.

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

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

[50]  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.

[51]  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.

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

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

[54]  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.

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

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

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

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

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

[60]  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.

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

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

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

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

[65]  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).

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

[67]  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).

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

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

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

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

[72]  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.

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

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

[75]  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.

[76]  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).

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

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

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

[80]  National Institute for Health and Care Excellence (NICE) , 2019, The Grants Register 2020.