A critiquing approach to expert computer advice: Attending
A critiquing approach to expert computer advice: Attending
Parallel program design: a foundation
Parallel program design: a foundation
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Model checking
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
KIV 3.0 for Provably Correct Systems
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Using Critiquing for Improving Medical Protocols: Harder than It Seems
AIME '01 Proceedings of the 8th Conference on AI in Medicine in Europe: Artificial Intelligence Medicine
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Bridging the Gap between Informal and Formal Guideline Representations
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Improving medical protocols by formal methods
Artificial Intelligence in Medicine
Adopting model checking techniques for clinical guidelines verification
Artificial Intelligence in Medicine
Authoring and verification of clinical guidelines: A model driven approach
Journal of Biomedical Informatics
Modeling in Event-B: System and Software Engineering
Modeling in Event-B: System and Software Engineering
Interactive verification of medical guidelines
FM'06 Proceedings of the 14th international conference on Formal Methods
Verification of medical guidelines by model checking – a case study
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
Hi-index | 0.00 |
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.