Process programming to support medical safety: a case study on blood transfusion

  • Authors:

  • Lori A. Clarke;Yao Chen;George S. Avrunin;Bin Chen;Rachel Cobleigh;Kim Frederick;Elizabeth A. Henneman;Leon J. Osterweil

  • Affiliations:

  • Department of Computer Science, University of Massachusetts, Amherst, MA;Department of Computer Science, University of Massachusetts, Amherst, MA;Department of Computer Science, University of Massachusetts, Amherst, MA;Department of Computer Science, University of Massachusetts, Amherst, MA;Department of Computer Science, University of Massachusetts, Amherst, MA;Department of Computer Science, University of Massachusetts, Amherst, MA;School of Nursing, University of Massachusetts, Amherst, MA;Department of Computer Science, University of Massachusetts, Amherst, MA

  • Venue:
  • SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

Medical errors are now recognized as a major cause of untimely deathsor other adverse medical outcomes. To reduce the number of medical errors, the Medical Safety Project at the University of Massachusetts is exploring using a process programming language to define medical processes, a requirements elicitation framework for specifying important medical properties, and finite-state verification tools to evaluate whether the process definitions adhere to these properties. In this paper, we describe our experiences to date. Although our findings are preliminary, we have found that defining and evaluating processes helps to detect weaknesses in these processes and leads to improved medical processes definitions.