TY - GEN
T1 - Verification of clinical guidelines by model checking
AU - Pérez, Beatriz
AU - Porres, Ivan
N1 - Copyright:
Copyright 2008 Elsevier B.V., All rights reserved.
PY - 2008
Y1 - 2008
N2 - Clinical guidelines systematically assist practitioners with providing appropriate health care for specific clinical circumstances. However, a significant number of guidelines are lacking in quality. In this paper, we use the UML modeling language to capture guidelines and model checking techniques for their verification. We have established a classification of possible properties to be verified in a guideline and we present an automated approach based on a translation from UML to PROMEIA, the input language of the SPIN model checker. Our approach is illustrated with a guideline based on a guideline published by the National Guideline Clearing House (NGC).
AB - Clinical guidelines systematically assist practitioners with providing appropriate health care for specific clinical circumstances. However, a significant number of guidelines are lacking in quality. In this paper, we use the UML modeling language to capture guidelines and model checking techniques for their verification. We have established a classification of possible properties to be verified in a guideline and we present an automated approach based on a translation from UML to PROMEIA, the input language of the SPIN model checker. Our approach is illustrated with a guideline based on a guideline published by the National Guideline Clearing House (NGC).
UR - https://www.scopus.com/pages/publications/51849119337
U2 - 10.1109/CBMS.2008.86
DO - 10.1109/CBMS.2008.86
M3 - Published conference proceeding
AN - SCOPUS:51849119337
SN - 9780769531656
T3 - Proceedings - IEEE Symposium on Computer-Based Medical Systems
SP - 114
EP - 119
BT - Proceedings of the 21st IEEE International Symposium on Computer-Based Medical Systems, CBMS 2008
T2 - 21st IEEE International Symposium on Computer-Based Medical Systems, CBMS 2008
Y2 - 17 June 2008 through 19 June 2008
ER -