An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report

  • Leon J. Osterweil
  • Lori A. Clarke
  • George S. Avrunin
Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 43)


This report will present a collection of tools that supports the precise definition, careful analysis, and execution of processes that coordinate the actions of humans, automated devices, and software systems for the delivery of health care. The tools have been developed over the past several years and are currently being evaluated through their application to four health care processes, blood transfusion, chemotherapy, emergency department operations, and identity verification. The tools are integrated with each other using the Eclipse framework or through the sharing of artifacts so that the internal representations generated by one might be used to expedite the actions of others. This integrated collection of tools is intended to support the continuous improvement of health care delivery processes. The process definitions developed through this framework are executable and intended for eventual use in helping to guide actual health care workers in the performance of their activities, including the utilization of medical devices and information systems.


Discrete Event Simulation Medical Process Process Definition Fault Tree Analysis Fault Tree Analysis 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Kohn, L.T., Corrigan, J.M., Donaldson, M.S. (eds.): To Err is Human: Building a Safer Health System. National Academy Press, Washington (1999)Google Scholar
  2. 2.
    Wise, A.: Little-JIL 1.5 Language Report. Department of Computer Science, University of Massachusetts, Amherst, UM-CS-2006-51 (2006)Google Scholar
  3. 3.
    Clarke, L.A., Avrunin, G.S., Osterweil, L.J.: Using Software Engineering Technology to Improve the Quality of Medical Processes. In: Proceedings of the Thirtieth International Conference on Software Engineering, Leipzig, Germany, pp. 889–898 (2008) (invited keynote)Google Scholar
  4. 4.
    Henneman, E.A., Avrunin, G.S., Clarke, L.A., Osterweil, L.J., Andrzejewski, C.J., Merrigan, K., Cobleigh, R., Frederick, K., Katz-Basset, E., Henneman, P.L.: Increasing Patient Safety and Efficiency in Transfusion Therapy Using Formal Process Definitions. Transfusion Medicine Reviews 21, 49–57 (2007)CrossRefGoogle Scholar
  5. 5.
    Christov, S., Chen, B., Avrunin, G.S., Clarke, L.A., Osterweil, L.J., Brown, D., Cassells, L., Mertens, W.: Formally Defining Medical Processes. Methods of Info, in Medicine. Special Topic on Model-Based Design of Trustworthy Health Information Systems 47, 392–398 (2008)Google Scholar
  6. 6.
    Christof, S., Avrunin, G.S., Clarke, L.A., Henneman, P.L., Marquard, J.L., Osterweil, L.J.: Using Event Streams to Validate Process Definitions. U. of Mass., Amherst, UM-CS-2009-004 (2009)Google Scholar
  7. 7.
    Dwyer, M.B., Clarke, L.A., Cobleigh, J.M., Naumovich, G.: Flow Analysis for Verifying Properties of Concurrent Software Systems. ACM Transactions on Software Engineering and Methodology 13, 359–430 (2004)CrossRefGoogle Scholar
  8. 8.
    Chen, B., Avrunin, G.S., Henneman, E.A., Clarke, L.A., Osterweil, L.J., Henneman, P.L.: Analyzing Medical Processes. In: Proceedings of the Thirtieth International Conference on Software Engineering, Leipzig, Germany (2008) (to appear)Google Scholar
  9. 9.
    Cobleigh, R.L., Avrunin, G.S., Clarke, L.A.: User Guidance for Creating Precise and Accessible Property Specifications. In: Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 208–218. ACM Press, Portland (2006)CrossRefGoogle Scholar
  10. 10.
    Chen, B., Avrunin, G.S., Clarke, L.A., Osterweil, L.J.: Automatic Fault Tree Derivation from Little-JIL Process Definitions. In: Proceedings of the Software Process Workshop and Process Simulation Workshop, Shanghai, China. LNCS, pp. 150–158. Springer, Heidelberg (2006)Google Scholar
  11. 11.
    Raunak, M.S., Osterweil, L.J., Wise, A., Clarke, L.A., Henneman, P.L.: Simulating Patient Flow through an Emergency Department Using Process-Driven Discrete Event Simulation. In: Proceedings of the 31st International Conference in Software Engineering Workshop on Software Engineering and Health Care, Vancouver, Canada (2009) (to appear)Google Scholar
  12. 12.
    Simidchieva, B.I., Marzilli, M.S., Clarke, L.A., Osterweil, L.J.: Specifying and Verifying Requirements for Election Processes. In: Proceedings of the 9th Annual International Conference on Digital Government Research, Montreal, Canada (2008) (to appear)Google Scholar
  13. 13.
    Osterweil, L.J., Clarke, L.A., Podorozhny, R., Wise, A., Boose, E., Ellison, A.M., Hadley, J.: Experience in Using a Process Language to Define Scientific Workflow and Generate Dataset Provenance. In: Proceedings of the ACM SIGSOFT 16th International Symposium on Foundations of Software Engineering, Georgia, Atlanta, pp. 319–329 (2008)Google Scholar
  14. 14.
    Marcos, M., Galán, J.C., Wittenberg, J., van Croonenborg, J., Rosenbrand, K., Martínez-Salvador, B.: Construction of a Process Model for the Integration of Formal Methods in the Development of Medical Guidelines. In: eChallenges e-2006 Conference (October 2006)Google Scholar
  15. 15.
    ten Teije, A., Marcos, M., Balser, M., van Croonenborg, J., Duelli, C., van Harmelen, F., Lucas, P., Miksch, S., Reif, W., Rosenbrand, K., Seyfang, A.: Improving medical protocols by formal methods. Art. Intell. in Medicine 36(3), 193–209 (2006)CrossRefGoogle Scholar
  16. 16.
    Noumeir, R.: Radiology interpretation process modeling. Journal of Biomedical Informatics 39(2), 103–114 (2006)CrossRefGoogle Scholar
  17. 17.
    Ruffolo, M., Curio, R., Gallucci, L.: Process Management in Health Care: A System for Preventing Risks and Medical Errors. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 334–343. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  18. 18.
    Mintz, P.D.: Quality assessment and improvement of transfusion practices. Transfusion Med. 9, 219–232 (1995)Google Scholar
  19. 19.
    Kaplan, H.S., Battles, J.B., Van der Schaaf, T.W., et al.: Identification and Classification of Events in Transfusion Medicine. Transfusion 38, 1071–1081 (1998)CrossRefGoogle Scholar
  20. 20.
    Jensen, N.J., Crosson, J.T.: An Automated System for Bedside Verification of the Match Between Patient Identification and Blood Unit Identification. Transfusion 36, 216–221 (1996)CrossRefGoogle Scholar
  21. 21.
    van der Gaag, L.C., Renooij, S., Witteman, C.L.M., Aleman, B.M.P., Taal, B.G.: Probabilities for a probabilistic network: A case-study in oesophageal cancer. Artificial Intelligence in Medicine 25(2), 123–148 (2002)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Leon J. Osterweil
    • 1
  • Lori A. Clarke
    • 1
  • George S. Avrunin
    • 1
  1. 1.Department of Computer ScienceUniversity of MassachusettsAmherst

Personalised recommendations