kirancodes.me
To Proof Maintenance & Beyond!
ICSE 2008

Analyzing medical processes

Bin Chen, George S. Avrunin, Elizabeth A. Henneman, Lori A. Clarke, Leon J. Osterweil, Philip L. Henneman

Full textDOI 10.1145/1368088.1368175dblp

Abstract

This paper shows how software engineering technologies used to define and analyze complex software systems can also be effective in detecting defects in human-intensive processes used to administer healthcare. The work described here builds upon earlier work demonstrating that healthcare processes can be defined precisely. This paper describes how finite-state verification can be used to help find defects in such processes as well as find errors in the process definitions and property specifications. The paper includes a detailed example, based upon a real-world process for transfusing blood, where the process defects that were found led to improvements in the process.

BibTeX
@inproceedings{Chen-al:ICSE08,
  author    = {Bin Chen and
               George S. Avrunin and
               Elizabeth A. Henneman and
               Lori A. Clarke and
               Leon J. Osterweil and
               Philip L. Henneman},
  title     = {Analyzing medical processes},
  booktitle = {ICSE},
  pages     = {623--632},
  publisher = {{ACM}},
  year      = {2008},
}

Related papers