Medical Protocol Diagnosis Using Formal Methods

Abstract : Clinical guidelines systematically assist practitioners to provide appropriate health care in specific clinical circumstances. Today, a significant number of guidelines and protocols are lacking in quality. Indeed, ambiguity and incompleteness are likely anomalies in medical practice. Our objective is to find anomalies and to improve the quality of medical protocols using well-known mathematical formal techniques, such as Event B. In this paper, we use the Event B modelling language to capture guidelines for their validation. Our main contributions are: to apply mathematical formal techniques to evaluate real-life medical protocols for quality improvement; to derive verification proofs for the protocol and properties according to medical experts; and to publicize the potential of this approach. An assessment of the proposed approach is given through a case study, relative to a real-life reference protocol (ECG interpretation), which covers a wide variety of protocol characteristics related to several heart diseases. We formalize the reference protocol, verify a set of interesting properties of the protocol and finally determine anomalies.
Type de document :
Chapitre d'ouvrage
Liu, Zhiming and Wassyng, Alan. Foundations of Health Informatics Engineering and Systems, 7151, Springer Berlin Heidelberg, pp.1-20, 2012, Lecture Notes in Computer Science, 978-3-642-32354-6. 〈10.1007/978-3-642-32355-3_1〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00762822
Contributeur : Dominique Méry <>
Soumis le : samedi 8 décembre 2012 - 09:45:56
Dernière modification le : jeudi 11 janvier 2018 - 06:25:25

Identifiants

Collections

Citation

Dominique Méry, Neeraj Kumar Singh. Medical Protocol Diagnosis Using Formal Methods. Liu, Zhiming and Wassyng, Alan. Foundations of Health Informatics Engineering and Systems, 7151, Springer Berlin Heidelberg, pp.1-20, 2012, Lecture Notes in Computer Science, 978-3-642-32354-6. 〈10.1007/978-3-642-32355-3_1〉. 〈hal-00762822〉

Partager

Métriques

Consultations de la notice

200