Advertisement

Experiences in the Formalisation and Verification of Medical Protocols

  • Mar Marcos
  • Michael Balser
  • Annette ten Teije
  • Frank van Harmelen
  • Christoph Duelli
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2780)

Abstract

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.

Keywords

Bilirubin Level Parallel Program Clinical Decision Support System Total Serum Bilirubin Symbolic Execution 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Field, M., Lohr, K. (eds.): Clinical Practice Guidelines: Directions for a New Program. National Academy Press, Washington (1992)Google Scholar
  2. 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
  3. 3.
    Clayton, P., Hripsak, G.: Decision support in healthcare. Int. J. of Biomedical Computing 39, 59–66 (1995)CrossRefGoogle Scholar
  4. 4.
    AGREE Collaboration: Appraisal of Guidelines for Research & Evaluation (AGREE) Instrument (2001), Obtained in http://www.agreecollaboration.org/
  5. 5.
    Balser, M., Reif, W., Schellhorn, G., Stenzel, K., Thums, A.: Formal system development with KIV. In: Maibaum, T. (ed.) FASE 2000. LNCS, vol. 1783, p. 363. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  6. 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. 7.
    AAP: American Academy of Pediatrics. Practice parameter: management of hyperbilirubinemia in the healthy term newborn. Pediatrics 94, 558–565 (1994)Google Scholar
  8. 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. 9.
    Miksch, S.: Plan Management in the Medical Domain. AI Communications 12, 209–235 (1999)Google Scholar
  10. 10.
    Fox, J., Johns, N., Lyons, C., Rahmanzadeh, A., Thomson, R., Wilson, P.: PROforma: a general technology for clinical decision support systems. Computer Methods and Programs in Biomedicine 54, 59–67 (1997)CrossRefGoogle Scholar
  11. 11.
    Moszkowski, B.: A temporal logic for multilevel reasoning about hardware. IEEE Computer 18, 10–19 (1985)Google Scholar
  12. 12.
    MAJIC: MAJIC Steering Committee Meets. MAJIC Newsletter 1 (1998)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Mar Marcos
    • 1
  • Michael Balser
    • 2
  • Annette ten Teije
    • 3
  • Frank van Harmelen
    • 3
  • Christoph Duelli
    • 2
  1. 1.Dept. of Computer Engineering and ScienceUniversitat Jaume ICastellónSpain
  2. 2.Lehrstuhl Softwaretechnik und ProgrammiersprachenUniversität AugsburgAugsburgGermany
  3. 3.Dept. of Artificial IntelligenceVrije Universiteit AmsterdamAmsterdamNetherlands

Personalised recommendations