Authoring and verification of clinical guidelines: a model driven approach.
OBJECTIVE
The goal of this research is to provide a framework to enable authoring and verification of clinical guidelines. The framework is part of a larger research project aimed at improving the representation, quality and application of clinical guidelines in daily clinical practice.


METHODS
The verification process of a guideline is based on (1) model checking techniques to verify guidelines against semantic errors and inconsistencies in their definition, (2) combined with Model Driven Development (MDD) techniques, which enable us to automatically process manually created guideline specifications and temporal-logic statements to be checked and verified regarding these specifications, making the verification process faster and cost-effective. Particularly, we use UML statecharts to represent the dynamics of guidelines and, based on this manually defined guideline specifications, we use a MDD-based tool chain to automatically process them to generate the input model of a model checker. The model checker takes the resulted model together with the specific guideline requirements, and verifies whether the guideline fulfils such properties.


RESULTS
The overall framework has been implemented as an Eclipse plug-in named GBDSSGenerator which, particularly, starting from the UML statechart representing a guideline, allows the verification of the guideline against specific requirements. Additionally, we have established a pattern-based approach for defining commonly occurring types of requirements in guidelines. We have successfully validated our overall approach by verifying properties in different clinical guidelines resulting in the detection of some inconsistencies in their definition.


CONCLUSIONS
The proposed framework allows (1) the authoring and (2) the verification of clinical guidelines against specific requirements defined based on a set of property specification patterns, enabling non-experts to easily write formal specifications and thus easing the verification process.
Pérez
Beatriz
B
Department of Mathematics and Computer Science, University of La Rioja, La Rioja, Spain. beatriz.perez@unirioja.es
Porres
Ivan
I
D003658:Decision Making, Computer-Assisted; D020000:Decision Support Systems, Clinical / Q000592:standards*; D006801:Humans; D008962:Models, Theoretical; D017410:Practice Guidelines as Topic / Q000592:standards*; D012107:Research Design / Q000592:standards