A critiquing approach to expert computer advice: Attending
A critiquing approach to expert computer advice: Attending
Communications of the ACM
Safe and sound: artificial intelligence in hazardous applications
Safe and sound: artificial intelligence in hazardous applications
Handbook of Process Algebra
From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
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
Plan management in the medical domain
AI Communications
Knowledge-based verification of clinical guidelines by detection of anomalies
Artificial Intelligence in Medicine
Proceedings of the 30th international conference on Software engineering
A Methodology for Automated Extraction of the Optimal Pathways from Influence Diagrams
AIME '07 Proceedings of the 11th conference on Artificial Intelligence in Medicine
Maintaining Formal Models of Living Guidelines Efficiently
AIME '07 Proceedings of the 11th conference on Artificial Intelligence in Medicine
Rigorously Defining and Analyzing Medical Processes: An Experience Report
Models in Software Engineering
Checking the quality of clinical guidelines using automated reasoning tools
Theory and Practice of Logic Programming
Adopting model checking techniques for clinical guidelines verification
Artificial Intelligence in Medicine
Toward patient safety in closed-loop medical device systems
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
A benchmark for evaluating software engineering techniques for improving medical processes
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care
Authoring and verification of clinical guidelines: A model driven approach
Journal of Biomedical Informatics
Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview
Proceedings of the 1st ACM International Health Informatics Symposium
Process-based derivation of requirements for medical devices
Proceedings of the 1st ACM International Health Informatics Symposium
From natural language to formal proof goal
EKAW'06 Proceedings of the 15th international conference on Managing Knowledge in a World of Networks
Modeling and verification of a dual chamber implantable pacemaker
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Ontology-driven execution of clinical guidelines
Computer Methods and Programs in Biomedicine
Medical protocol diagnosis using formal methods
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
Achieving resilience of heterogeneous networks through predictive, formal analysis
Proceedings of the 2nd ACM international conference on High confidence networked systems
Methodological Review: Computer-interpretable clinical guidelines: A methodological review
Journal of Biomedical Informatics
Hi-index | 0.00 |
Objectives: During the last decade, evidence-based medicine has given rise to an increasing number of medical practice guidelines and protocols. However, the work done on developing and distributing protocols outweighs the efforts on guaranteeing their quality. Indeed, anomalies like ambiguity and incompleteness are frequent in medical protocols. Recent efforts have tried to address the problem of protocol improvement, but they are not sufficient since they rely on informal processes and notations. Our objective is to improve the quality of medical protocols. Approach: The solution we suggest to the problem of quality improvement of protocols consists in the utilisation of formal methods. It requires the definition of an adequate protocol representation language, the development of techniques for the formal analysis of protocols described in that language and, more importantly, the evaluation of the feasibility of the approach based on the formalisation and verification of real-life medical protocols. For the first two aspects we rely on earlier work from the fields of knowledge representation and formal methods. The third aspect, i.e. the evaluation of the use of formal methods in the quality improvement of protocols, constitutes our main objective. The steps with which we have carried out this evaluation are the following: (1) take two real-life reference protocols which cover a wide variety of protocol characteristics; (2) formalise these reference protocols; (3) check the formalisation for the verification of interesting protocol properties; and (4) determine how many errors can be uncovered in this way. Results: Our main results are: a consolidated formal language to model medical practice protocols; two protocols, each both modelled and formalised; a list of properties that medical protocols should satisfy; verification proofs for these protocols and properties; and perspectives of the potentials of this approach. Our results have been evaluated by a panel of medical experts, who judged that the problems we detected in the protocols with the help of formal methods were serious and should be avoided. Conclusions: We have succeeded in demonstrating the feasibility of formal methods for improving medical protocols.