Formally defining medical processes.
OBJECTIVE
To demonstrate a technology-based approach to continuously improving the safety of medical processes.


METHODS
The paper describes the Little-JIL process definition language, originally developed to support software engineering, and shows how it can be used to model medical processes. The paper describes a Little-JIL model of a chemotherapy process and demonstrates how this model, and some process analysis technologies that are also briefly described, can be used to identify process defects that pose safety risks.


RESULTS
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.


CONCLUSIONS
Creating detailed and precisely defined models of medical processes that are then used as the basis for rigorous analyses can lead to improvements in the safety of these processes.
316 Department of Computer Science, University of Massachusetts at Amherst, Amherst, MA 01003, USA. christov@cs.umass.edu
S
S
Christov
B
B
Chen
G S
GS
Avrunin
L A
LA
Clarke
L J
LJ
Osterweil
D
D
Brown
L
L
Cassells
W
W
Mertens
D004358:Drug Therapy / Q000592:standards; D006801:Humans; D019300:Medical Errors / Q000517:prevention & control*; D008962:Models, Theoretical; D016730:Program Development; D017751:Safety Management / Q000458:organization & administration*; D017749:Total Quality Management / Q000458:organization & administration*