Handbook of theoretical computer science (vol. B)
Symbolic Model Checking
Branching vs. Linear Time: Final Showdown
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
International Journal of Intelligent Systems
Artificial Intelligence in Medicine
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Computer-based Medical Guidelines and Protocols: A Primer and Current Trends
Computer-based Medical Guidelines and Protocols: A Primer and Current Trends
Improving medical protocols by formal methods
Artificial Intelligence in Medicine
Verification of temporal scheduling constraints in clinical practice guidelines
Artificial Intelligence in Medicine
A modular approach for representing and executing clinical guidelines
Artificial Intelligence in Medicine
Flexible guideline-based patient careflow systems
Artificial Intelligence in Medicine
An implicit approach to deal with periodically repeated medical data
Artificial Intelligence in Medicine
Medical protocol diagnosis using formal methods
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
Methodological Review: Computer-interpretable clinical guidelines: A methodological review
Journal of Biomedical Informatics
Supporting a distributed execution of clinical guidelines
Computer Methods and Programs in Biomedicine
Hi-index | 0.00 |
Objectives: Clinical guidelines (GLs) are assuming a major role in the medical area, in order to grant the quality of the medical assistance and to optimize medical treatments within healthcare organizations. The verification of properties of the GL (e.g., the verification of GL correctness with respect to several criteria) is a demanding task, which may be enhanced through the adoption of advanced Artificial Intelligence techniques. In this paper, we propose a general and flexible approach to address such a task. Methods and materials: Our approach to GL verification is based on the integration of a computerized GL management system with a model-checker. We propose a general methodology, and we instantiate it by loosely coupling GLARE, our system for acquiring, representing and executing GLs, with the model-checker SPIN. Results: We have carried out an in-depth analysis of the types of properties that can be effectively verified using our approach, and we have completed an overview of the usefulness of the verification task at the different stages of the GL life-cycle. In particular, experimentation on a GL for ischemic stroke has shown that the automatic verification of properties in the model checking approach is able to discover inconsistencies in the GL that cannot be detected in advance by hand. Conclusion: Our approach thus represents a further step in the direction of general and flexible automated GL verification, which also meets usability requirements.