Rigorously Defining and Analyzing Medical Processes: An Experience Report

  • Stefan Christov
  • Bin Chen
  • George S. Avrunin
  • Lori A. Clarke
  • Leon J. Osterweil
  • David Brown
  • Lucinda Cassells
  • Wilson Mertens
Conference paper

DOI: 10.1007/978-3-540-69073-3_14

Volume 5002 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Christov S. et al. (2008) Rigorously Defining and Analyzing Medical Processes: An Experience Report. In: Giese H. (eds) Models in Software Engineering. MODELS 2007. Lecture Notes in Computer Science, vol 5002. Springer, Berlin, Heidelberg

Abstract

This paper describes our experiences in 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. The work is a collaboration between medical professionals from a major regional cancer center and computer science researchers. The work uses the Little-JIL language to create precise process definitions, the Propel system to specify precise process requirements, and the FLAVERS system to verify that the process definitions adhere to the requirement specifications. The paper describes how these technologies were applied to successfully identify defects in the chemotherapy process. Although this work is still ongoing, early experiences suggest that this approach can help reduce medical errors and improve patient safety. The work has also helped us to learn about the desiderata for process definition and analysis technologies, both of which are expected to be broadly applicable to other domains.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Stefan Christov
    • 1
  • Bin Chen
    • 1
  • George S. Avrunin
    • 1
  • Lori A. Clarke
    • 1
  • Leon J. Osterweil
    • 1
  • David Brown
    • 2
  • Lucinda Cassells
    • 2
  • Wilson Mertens
    • 2
  1. 1.Laboratory for Advanced Software Engineering Research (LASER)University of Massachusetts at AmherstAmherst
  2. 2.D’Amour Center for Cancer CareSpringfield