Formal Ontological Analysis for Medical Protocols - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2021

Formal Ontological Analysis for Medical Protocols


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.
No file

Dates and versions

hal-03199742 , version 1 (15-04-2021)



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⟩
66 View
0 Download



Gmail Mastodon Facebook X LinkedIn More