Verification of clinical guidelines by model checking

Beatriz Pérez; Ivan Porres

doi:10.1109/CBMS.2008.86

Verification of clinical guidelines by model checking

Beatriz Pérez^*, Ivan Porres

^*Corresponding author for this work

Information Technology

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

7 Citations (Scopus)

Abstract

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).

Original language	English
Title of host publication	Proceedings of the 21st IEEE International Symposium on Computer-Based Medical Systems, CBMS 2008
Pages	114-119
Number of pages	6
DOIs	https://doi.org/10.1109/CBMS.2008.86
Publication status	Published - 2008
MoE publication type	A4 Article in a conference publication
Event	21st IEEE International Symposium on Computer-Based Medical Systems, CBMS 2008 - Jyvaskyla, Finland Duration: 17 Jun 2008 → 19 Jun 2008

Publication series

Name	Proceedings - IEEE Symposium on Computer-Based Medical Systems
ISSN (Print)	1063-7125

Conference

Conference	21st IEEE International Symposium on Computer-Based Medical Systems, CBMS 2008
Country/Territory	Finland
City	Jyvaskyla
Period	17/06/08 → 19/06/08

Access to Document

10.1109/CBMS.2008.86

Cite this

@inproceedings{503bc46616954b5f8b8bbc0948277134,

title = "Verification of clinical guidelines by model checking",

abstract = "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).",

author = "Beatriz P{\'e}rez and Ivan Porres",

year = "2008",

doi = "10.1109/CBMS.2008.86",

language = "English",

isbn = "9780769531656",

series = "Proceedings - IEEE Symposium on Computer-Based Medical Systems",

pages = "114--119",

booktitle = "Proceedings of the 21st IEEE International Symposium on Computer-Based Medical Systems, CBMS 2008",

}

Pérez, B & Porres, I 2008, Verification of clinical guidelines by model checking. in Proceedings of the 21st IEEE International Symposium on Computer-Based Medical Systems, CBMS 2008., 4561967, Proceedings - IEEE Symposium on Computer-Based Medical Systems, pp. 114-119, 21st IEEE International Symposium on Computer-Based Medical Systems, CBMS 2008, Jyvaskyla, Finland, 17/06/08. https://doi.org/10.1109/CBMS.2008.86

Verification of clinical guidelines by model checking. / Pérez, Beatriz; Porres, Ivan.
Proceedings of the 21st IEEE International Symposium on Computer-Based Medical Systems, CBMS 2008. 2008. p. 114-119 4561967 (Proceedings - IEEE Symposium on Computer-Based Medical Systems).

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Verification of clinical guidelines by model checking

AU - Pérez, Beatriz

AU - Porres, Ivan

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 - http://www.scopus.com/inward/record.url?scp=51849119337&partnerID=8YFLogxK

U2 - 10.1109/CBMS.2008.86

DO - 10.1109/CBMS.2008.86

M3 - Conference contribution

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 -

Verification of clinical guidelines by model checking

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this