Skip to Main content Skip to Navigation
Book sections

Formal Ontological Analysis for Medical Protocols

Neeraj Kumar Singh 1 Yamine Aït-Ameur 1 Dominique Méry 2, 3, 4
2 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
4 MOSEL - Proof-oriented development of computer-based systems
LORIA - FM - Department of Formal Methods
Abstract : Clinical guidelines systematically assist practitioners to provide an appro- priate health care in specific clinical circumstances. A significant number of guide- lines and protocols is lacking in quality. Indeed, ambiguity and incompleteness are likely anomalies in medical practice. In order to find anomalies and to improve the quality of medical protocols, this paper presents a stepwise formal development of a medical protocol. In this development, we define the domain concepts based on ontology to integrate with the medical protocol in an explicit way. In this work, we use the Event B language for modeling a domain model using ontologies and to cap- ture the functional behaviour of the medical protocol. Our main contributions are: to use the domain specific knowledge in a system model explicitly; to link between the domain model and system model using an annotation mechanism; and to use the proof based formal approach to evaluate a medical protocol. An assessment of the proposed approach is given through a case study, relative to a real-life reference pro- tocol (ECG interpretation), which covers a wide variety of protocol characteristics related to different heart conditions.
Complete list of metadata

https://hal.inria.fr/hal-03199742
Contributor : Dominique Méry <>
Submitted on : Thursday, April 15, 2021 - 10:58:08 PM
Last modification on : Wednesday, May 12, 2021 - 3:45:01 AM

Identifiers

Citation

Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry. Formal Ontological Analysis for Medical Protocols. Implicit and explicit semantics integration in proof based developments of discrete systems, Springer, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_5⟩. ⟨hal-03199742⟩

Share

Metrics

Record views

41