Stefan C. Christov

TL;DR: This paper describes the exception handling patterns using three process modeling notations: UML 2.0 Activity Diagrams, BPMN, and Little-JIL and discusses the relative merits of the three notations with respect to their ability to represent these patterns.

TL;DR: Early experiences suggest that this approach to defining the processes associated with preparing and administrating chemotherapy and then using those process definitions as the basis for analyses aimed at finding and correcting defects can help reduce medical errors and improve patient safety.

TL;DR: This paper provides an overview of the UMass/Baystate Medical Safety project, which has been developing and evaluating tools and technology for modeling and analyzing medical processes and describes the tools that currently comprise the Process Improvement Environment, PIE.

TL;DR: R rigorously modeling medical processes with Little-JIL and applying automated analysis techniques to those models helped identify process defects and vulnerabilities and led to improved processes that were reanalyzed to show that the original defects were no longer present.

TL;DR: This paper presents a set of medical examples, or benchmarks, that are easily available, described in considerable detail, and characterized in terms of the real-world complexities they capture and discusses a list of desiderata that medical benchmarks can be evaluated against.