Experiences in the Formalisation and Verification of Medical Protocols
- 456 Downloads
Medical practice protocols or guidelines are statements to assist practitioners and patient decisions about appropriate health care for specific circumstances. In order to reach their potential benefits, protocols must fulfill strong quality requirements. Medical bodies worldwide have made efforts in this direction, mostly using informal methods such as peer review of protocols. We are concerned with a different approach, namely the quality improvement of medical protocols by formal methods. In this paper we report on our experiences in the formalisation and verification of a real-world medical protocol. We have fully formalised a medical protocol in a two-stage formalisation process. Then, we have used a theorem prover to confirm whether the protocol formalisation complies with certain protocol properties. As a result, we have shown that formal verification can be used to analyse, and eventually improve, medical protocols.
KeywordsBilirubin Level Parallel Program Clinical Decision Support System Total Serum Bilirubin Symbolic Execution
Unable to display preview. Download preview PDF.
- 1.Field, M., Lohr, K. (eds.): Clinical Practice Guidelines: Directions for a New Program. National Academy Press, Washington (1992)Google Scholar
- 2.Woolf, S., Grol, R., Hutchinson, A., Eccles, M., Grimshaw, J.: Potential benefits, limitations, and harms of clinical guidelines. British Medical Journal 318, 527–530 (1999)Google Scholar
- 4.AGREE Collaboration: Appraisal of Guidelines for Research & Evaluation (AGREE) Instrument (2001), Obtained in http://www.agreecollaboration.org/
- 6.Shahar, Y., Miksch, S., Johnson, P.: The Asgaard project: a task-specific framework for the application and critiquing of time-oriented clinical guidelines. AI in Medicine 14, 29–51 (1998)Google Scholar
- 7.AAP: American Academy of Pediatrics. Practice parameter: management of hyperbilirubinemia in the healthy term newborn. Pediatrics 94, 558–565 (1994)Google Scholar
- 8.Elkin, P., Peleg, M., Lacson, R., Bernstam, E., Tu, S., Boxwala, A., Greenes, R., Shortliffe, E.: Toward Standardization of Electronic Guidelines. MD Computing 17, 39–44 (2000)Google Scholar
- 9.Miksch, S.: Plan Management in the Medical Domain. AI Communications 12, 209–235 (1999)Google Scholar
- 11.Moszkowski, B.: A temporal logic for multilevel reasoning about hardware. IEEE Computer 18, 10–19 (1985)Google Scholar
- 12.MAJIC: MAJIC Steering Committee Meets. MAJIC Newsletter 1 (1998)Google Scholar