Model-Based Guidance for Human-Intensive Processes

MODEL-BASED GUIDANCE FOR HUMAN-INTENSIVE PROCESSES

[1]  George S. Avrunin,et al.  Process Modelling of Aortic Cannulation in Cardiac Surgery : Toward a Smart Checklist to Mitigate the Risk of Stroke , 2014 .

[2]  Howard A Smithline,et al.  Errors in a busy emergency department. , 2003, Annals of emergency medicine.

[3]  H. Cleve,et al.  Locating causes of program failures , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[4]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[5]  Elisabeth Burdick,et al.  Medication safety in the ambulatory chemotherapy setting , 2005, Cancer.

[6]  Leon J. Osterweil,et al.  Exception Handling Patterns for Process Modeling , 2010, IEEE Transactions on Software Engineering.

[7]  Daniel Boorman,et al.  TODAY'S ELECTRONIC CHECKLISTS REDUCE LIKELIHOOD OF CREW ERRORS AND HELP PREVENT MISHAPS , 2001 .

[8]  Reda Bendraou,et al.  Deviation management during process execution , 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).

[9]  Moe Thandar Wynn,et al.  Modelling Complex Resource Requirements in Business Process Management Systems , 2010 .

[10]  Marie-Pierre Gervais,et al.  Early deviation detection in modeling activities of MDE processes , 2010, MODELS'10.

[11]  U. Becker-Kornstaedt,et al.  The V-Modell guide: experience with a Web-based approach for process support , 1999, STEP '99. Proceedings Ninth International Workshop Software Technology and Engineering Practice.

[12]  Steven P. Reiss,et al.  Fault localization with nearest neighbor queries , 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..

[13]  Yuval Shahar,et al.  Medical Quality Assessment by Scoring Adherence to Guideline Intentions , 2002, J. Am. Medical Informatics Assoc..

[14]  P. Pronovost,et al.  The checklist--a tool for error management and performance improvement. , 2006, Journal of critical care.

[15]  S Christov,et al.  Formally Defining Medical Processes , 2008, Methods of Information in Medicine.

[16]  Anke Dittmar,et al.  Alternative Representations of Workflow Control-Flow Patterns Using HOPS , 2010, BIR.

[17]  Walter F. Tichy,et al.  Proceedings 25th International Conference on Software Engineering , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[18]  E. D. de Vries,et al.  Effect of a comprehensive surgical safety system on patient outcomes. , 2010, The New England journal of medicine.

[19]  Ethan Katz-Bassett,et al.  Increasing patient safety and efficiency in transfusion therapy using formal process definitions. , 2007, Transfusion medicine reviews.

[20]  George S. Avrunin,et al.  An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language , 2010, SEKE.

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

[22]  P. Pronovost,et al.  Clinical review: Checklists - translating evidence into practice , 2009, Critical care.

[23]  Liam Peyton,et al.  Inferring state for real-time monitoring of care processes , 2013, 2013 5th International Workshop on Software Engineering in Health Care (SEHC).

[24]  Hsin Pan,et al.  Heuristics for Automatic Localization of Software Faults , 1992 .

[25]  Svetha Venkatesh,et al.  Policy Recognition in the Abstract Hidden Markov Model , 2002, J. Artif. Intell. Res..

[26]  Barry W. Boehm,et al.  Comparative Experiences with Electronic Process Guide Generator Tools , 2007, ICSP.

[27]  J. Birkmeyer.  Strategies for improving surgical quality--checklists and beyond. , 2010, The New England journal of medicine.

[28]  Tjerk W. van der Schaaf,et al.  Near miss reporting in the chemical process industry: An overview , 1995 .

[29]  Leonardo Mariani,et al.  Dynamic Detection of COTS Component Incompatibility , 2007, IEEE Software.

[30]  van der Wmp Wil Aalst,et al.  Conformance testing : measuring the alignment between event logs and process models , 2005 .

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

[32]  George S. Avrunin,et al.  Online Deviation Detection for Medical Processes , 2014, AMIA.

[33]  Richard J. Lipton,et al.  Hints on Test Data Selection: Help for the Practicing Programmer , 1978, Computer.

[34]  A. Bryman.  Integrating quantitative and qualitative research: how is it done? , 2006 .

[35]  George S. Avrunin,et al.  Considerations for online deviation detection in medical processes , 2013, 2013 5th International Workshop on Software Engineering in Health Care (SEHC).

[36]  Julian Jang,et al.  A Service-Oriented Workflow Language for Robust Interacting Applications , 2005, OTM Conferences.

[37]  Gary Klein,et al.  Working Minds: A Practitioner's Guide to Cognitive Task Analysis , 2006 .

[38]  George S. Avrunin,et al.  Automatic Fault Tree Derivation from Little-JIL Process Definitions , 2006, SPW/ProSim.

[39]  A. Al Samaraee,et al.  Surgical Safety Checklist , 2010, Journal of perioperative practice.

[40]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[41]  George S. Avrunin,et al.  Improving processes using static analysis techniques , 2011 .

[42]  Axel van Lamsweerde,et al.  Analyzing critical process models through behavior model synthesis , 2009, 2009 IEEE 31st International Conference on Software Engineering.

[43]  Vladimir I. Levenshtein,et al.  Binary codes capable of correcting deletions, insertions, and reversals , 1965 .

[44]  James E. Rumbaugh,et al.  Unified Modeling Language (UML) , 2010, Encyclopedia of Software Engineering.

[45]  James Clark,et al.  XSL Transformations (XSLT) Version 1.0 , 1999 .

[46]  van W Wim Vuuren,et al.  The development of an incident analysis tool for the medical field , 1997 .

[47]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .

[48]  Svetha Venkatesh,et al.  Recognition of human activity through hierarchical stochastic learning , 2003, Proceedings of the First IEEE International Conference on Pervasive Computing and Communications, 2003. (PerCom 2003)..

[49]  Arthur C. Graesser,et al.  A question-answering methodology for exploring a user's acquisition and knowledge of a computer environment , 1990 .

[50]  Kevin B. Bennett,et al.  Explorations in joint human-machine cognitive systems , 1990 .

[51]  Herbert S. Lin,et al.  Computational Technology for Effective Health Care: Immediate Steps and Strategic Directions , 2009 .

[52]  W. Edwards Deming,et al.  Out of the Crisis , 1982 .

[53]  Cristina Conati,et al.  Procedural Help in Andes: Generating Hints Using a Bayesian Network Student Model , 1998, AAAI/IAAI.

[54]  Wil M. P. van der Aalst,et al.  Conformance checking of processes based on monitoring real behavior , 2008, Inf. Syst..

[55]  P. Pronovost,et al.  An intervention to decrease catheter-related bloodstream infections in the ICU. , 2006, The New England journal of medicine.

[56]  A. R. Crathorne,et al.  Economic Control of Quality of Manufactured Product. , 1933 .

[57]  Matthew Marzilli,et al.  A process-driven tool to support online dispute resolution , 2006, DG.O.

[58]  Borislava I. Simidchieva,et al.  Specifying and verifying requirements for election processes , 2008, DG.O.

[59]  Erik Hollnagel,et al.  The Phenotype of Erroneous Actions , 1993, Int. J. Man Mach. Stud..

[60]  Billings Ce,et al.  Some hopes and concerns regarding medical event-reporting systems: lessons from the NASA Aviation Safety Reporting System. , 1998 .

[61]  Donald L Fisher,et al.  Providers do not verify patient identity during computer order entry. , 2008, Academic emergency medicine : official journal of the Society for Academic Emergency Medicine.

[62]  Leon J. Osterweil,et al.  Process support to help novices design software faster and better , 2005, ASE '05.

[63]  Leon J. Osterweil,et al.  Little-JIL/Juliette: a process definition language and interpreter , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[64]  C. Dolea,et al.  World Health Organization , 1949, International Organization.

[65]  C. A. Petri.  Communication with automata , 1966 .

[66]  Yoram Singer,et al.  The Hierarchical Hidden Markov Model: Analysis and Applications , 1998, Machine Learning.

[67]  Lucinda Cassells,et al.  Detection, Classification, and Correction of Defective Chemotherapy Orders Through Nursing and Pharmacy Oversight , 2008 .

[68]  George S. Avrunin,et al.  Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview , 2010, IHI.

[69]  Jenna L Marquard,et al.  Using process elicitation and validation to understand and improve chemotherapy ordering and delivery. , 2012, Joint Commission journal on quality and patient safety.

[70]  Peter Norvig,et al.  Artificial intelligence - a modern approach, 2nd Edition , 2003, Prentice Hall series in artificial intelligence.

[71]  Barry Kirwan,et al.  A Guide To Task Analysis: The Task Analysis Working Group , 1992 .

[72]  Leonardo Mariani,et al.  Automated Identification of Failure Causes in System Logs , 2008, 2008 19th International Symposium on Software Reliability Engineering (ISSRE).

[73]  Emily S. Patterson,et al.  Macrocognition Metrics and Scenarios: Design and Evaluation for Real-World Teams , 2012 .

[74]  Erik Hollnagel,et al.  The design of fault tolerant systems : prevention is better than cure , 1992 .

[75]  Elizabeth A Henneman,et al.  Testing a classification model for emergency department errors. , 2006, Journal of advanced nursing.

[76]  Bin Chen,et al.  Definition and Analysis of Election Processes , 2006, SPW/ProSim.

[77]  Reda Bendraou,et al.  Flexible Deviation Handling during Software Process Enactment , 2011, 2011 IEEE 15th International Enterprise Distributed Object Computing Conference Workshops.

[78]  Wil M. P. van der Aalst,et al.  Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models , 2005, Business Process Management Workshops.

[79]  Andrei Tolstikov,et al.  2-layer Erroneous-Plan Recognition for dementia patients in smart homes , 2009, 2009 11th International Conference on e-Health Networking, Applications and Services (Healthcom).

[80]  Nancy G. Leveson,et al.  Safeware: System Safety and Computers , 1995 .

[81]  D. Stub,et al.  Trauma Resuscitation Errors and Computer-assisted Decision Support , 2011 .

[82]  Alexander L. Wolf,et al.  Software process validation: quantitatively measuring the correspondence of a process to a model , 1999, TSEM.

[83]  J. Shaoul.  Human Error , 1973, Nature.

[84]  Frank Leymann,et al.  Exception Handling in the BPEL4WS Language , 2003, Business Process Management.

[85]  Barton P. Miller,et al.  An empirical study of the reliability of UNIX utilities , 1990, Commun. ACM.

[86]  J. James.  A New, Evidence-based Estimate of Patient Harms Associated with Hospital Care , 2013, Journal of patient safety.

[87]  C E Billings.  Some hopes and concerns regarding medical event-reporting systems: lessons from the NASA Aviation Safety Reporting System. , 1998, Archives of pathology & laboratory medicine.

[88]  H. Smithline,et al.  Voluntarily Reported Emergency Department Errors , 2005 .

[89]  George S. Avrunin,et al.  Smart checklists for human-intensive medical systems , 2012, IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN 2012).

[90]  Leonardo Mariani,et al.  AVA: automated interpretation of dynamically detected anomalies , 2009, ISSTA.

[91]  John T. Stasko,et al.  Visualization of test information to assist fault localization , 2002, ICSE '02.

[92]  Anil V Parwani,et al.  Challenges and opportunities in the adoption of College of American Pathologists checklists in electronic format: perspectives and experience of Reporting Pathology Protocols Project (RPP2) participant laboratories. , 2010, Archives of pathology & laboratory medicine.

[93]  James C. Corbett,et al.  Bandera: extracting finite-state models from Java source code , 2000, ICSE.

[94]  H. Schneider.  Failure mode and effect analysis : FMEA from theory to execution , 1996 .

[95]  Martin Verlage,et al.  Support for the Process Engineer: The Spearmint Approach to Software Process Definition and Process Guidance , 1999, CAiSE.

[96]  H S Kaplan,et al.  The attributes of medical event-reporting systems: experience with a prototype medical event-reporting system for transfusion medicine. , 1998, Archives of pathology & laboratory medicine.

[97]  Gustavo Alonso,et al.  Exception Handling in Workflow Management Systems , 2000, IEEE Trans. Software Eng..

[98]  B. Nathanson,et al.  Pharmacy-nursing intervention to improve accuracy and completeness of medication histories. , 2010, American journal of health-system pharmacy : AJHP : official journal of the American Society of Health-System Pharmacists.

[99]  J. Kruskal.  An Overview of Sequence Comparison: Time Warps, String Edits, and Macromolecules , 1983 .

[100]  J. B. Black,et al.  Cognition, computing, and cooperation , 1990 .

[101]  Lori A. Clarke,et al.  Flow analysis for verifying properties of concurrent software systems , 2004, TSEM.

[102]  George S. Avrunin,et al.  Rigorously Defining and Analyzing Medical Processes: An Experience Report , 2008, MoDELS.

[103]  George S. Avrunin,et al.  A benchmark for evaluating software engineering techniques for improving medical processes , 2010, SEHC '10.

[104]  Lori A. Clarke,et al.  Simulating patient flow through an Emergency Department using process-driven discrete event simulation , 2009, 2009 ICSE Workshop on Software Engineering in Health Care.

[105]  Moe Thandar Wynn,et al.  Workflow support for scheduling in surgical care processes , 2011, ECIS.

[106]  Erik Hollnagel,et al.  Joint Cognitive Systems: Patterns in Cognitive Systems Engineering , 2006 .

[107]  Carlo Ghezzi,et al.  A framework for formalizing inconsistencies and deviations in human-centered systems , 1996, TSEM.

[108]  George S. Avrunin,et al.  Analyzing medical processes , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[109]  Joseph Robert Horgan,et al.  Fault localization using execution slices and dataflow tests , 1995, Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95.

[110]  William E. Riddle,et al.  Process Guides: Effective Guidance for Process Participants , 1998 .

[111]  P. Maurette.  [To err is human: building a safer health system]. , 2002, Annales francaises d'anesthesie et de reanimation.

[112]  Shane S. Sturrock,et al.  Time Warps, String Edits, and Macromolecules – The Theory and Practice of Sequence Comparison . David Sankoff and Joseph Kruskal. ISBN 1-57586-217-4. Price £13.95 (US$22·95). , 2000 .

[113]  K. Inaba,et al.  Measurable outcomes of quality improvement using a daily quality rounds checklist: one-year analysis in a trauma intensive care unit with sustained ventilator-associated pneumonia reduction. , 2010, The Journal of trauma.

[114]  L. Connelly,et al.  Discrete event simulation of emergency department activity: a platform for system-level operations research. , 2004, Academic emergency medicine : official journal of the Society for Academic Emergency Medicine.

[115]  S. Rahman.  Reliability Engineering and System Safety , 2011 .