Verification of clinical guidelines by model checking

Beatriz Pérez*, Ivan Porres

*Corresponding author for this work

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-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 languageEnglish
Title of host publicationProceedings of the 21st IEEE International Symposium on Computer-Based Medical Systems, CBMS 2008
Pages114-119
Number of pages6
DOIs
Publication statusPublished - 2008
MoE publication typeA4 Article in a conference publication
Event21st IEEE International Symposium on Computer-Based Medical Systems, CBMS 2008 - Jyvaskyla, Finland
Duration: 17 Jun 200819 Jun 2008

Publication series

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

Conference

Conference21st IEEE International Symposium on Computer-Based Medical Systems, CBMS 2008
CountryFinland
CityJyvaskyla
Period17/06/0819/06/08

Fingerprint Dive into the research topics of 'Verification of clinical guidelines by model checking'. Together they form a unique fingerprint.

Cite this