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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Field, M., Lohr, K. (eds.): Clinical Practice Guidelines: Directions for a New Program. National Academy Press, Washington (1992)
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)
Clayton, P., Hripsak, G.: Decision support in healthcare. Int. J. of Biomedical Computing 39, 59–66 (1995)
AGREE Collaboration: Appraisal of Guidelines for Research & Evaluation (AGREE) Instrument (2001), Obtained in http://www.agreecollaboration.org/
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)
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)
AAP: American Academy of Pediatrics. Practice parameter: management of hyperbilirubinemia in the healthy term newborn. Pediatrics 94, 558–565 (1994)
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)
Miksch, S.: Plan Management in the Medical Domain. AI Communications 12, 209–235 (1999)
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)
Moszkowski, B.: A temporal logic for multilevel reasoning about hardware. IEEE Computer 18, 10–19 (1985)
MAJIC: MAJIC Steering Committee Meets. MAJIC Newsletter 1 (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Marcos, M., Balser, M., ten Teije, A., van Harmelen, F., Duelli, C. (2003). Experiences in the Formalisation and Verification of Medical Protocols. In: Dojat, M., Keravnou, E.T., Barahona, P. (eds) Artificial Intelligence in Medicine. AIME 2003. Lecture Notes in Computer Science(), vol 2780. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39907-0_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-39907-0_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20129-8
Online ISBN: 978-3-540-39907-0
eBook Packages: Springer Book Archive