Experiences in the formalisation and verification of medical protocols

Experiences in the formalisation and verification of medical protocols. Marcos, M., Balser, M., Ten Teije, A., Van Harmelen, F., & Duelli, C. Lecture Notes in Computer Science, 2780:132–141, Springer Verlag, 2003.
abstract bibtex

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.

@article{43af14a00e83403a80a48fc3aa316052,
  title     = "Experiences in the formalisation and verification of medical protocols",
  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.",
  author    = "Mar Marcos and Michael Balser and {Ten Teije}, Annette and {Van Harmelen}, Frank and Christoph Duelli",
  year      = "2003",
  volume    = "2780",
  pages     = "132--141",
  journal   = "Lecture Notes in Computer Science",
  issn      = "0302-9743",
  publisher = "Springer Verlag",
}

Downloads: 0