Medical Protocol Diagnosis using Formal Methods

Dominique Méry 1 Neeraj Kumar Singh 1
1 MOSEL - Proof-oriented development of computer-based systems
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Clinical guidelines systematically assist practitioners with providing appropriate health care for specific clinical circumstances. Today, a significant number of guidelines and protocols are lacking in quality. Indeed, ambiguity and incompleteness are more likely anomalies in medical practices. 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 modeling 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; verification proofs for the protocol and properties according to the medical experts; and perspectives of the potentials 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 the several heart diseases. We formalise the given reference protocol, verify a set of interesting properties of the protocol and finally determine anomalies.
Type de document :
Communication dans un congrès
Zhiming Liu and Alan Wassyng. International Symposium on Foundations of Health Information Engineering and Systems (FHIES, 2011), Aug 2011, Johannesburg, South Africa. 2011, 〈http://www.iist.unu.edu/ICTAC/FHIES2011/Files/fhies2011_8_17.pdf〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00638478
Contributeur : Neeraj Kumar Singh <>
Soumis le : vendredi 4 novembre 2011 - 18:57:58
Dernière modification le : mardi 24 avril 2018 - 13:32:52

Identifiants

  • HAL Id : inria-00638478, version 1

Collections

Citation

Dominique Méry, Neeraj Kumar Singh. Medical Protocol Diagnosis using Formal Methods. Zhiming Liu and Alan Wassyng. International Symposium on Foundations of Health Information Engineering and Systems (FHIES, 2011), Aug 2011, Johannesburg, South Africa. 2011, 〈http://www.iist.unu.edu/ICTAC/FHIES2011/Files/fhies2011_8_17.pdf〉. 〈inria-00638478〉

Partager

Métriques

Consultations de la notice

153