Verification of clinical guidelines by model checking

Beatriz Pérez*, Ivan Porres

*Tämän työn vastaava kirjoittaja

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

7 Sitaatiot (Scopus)

Abstrakti

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

AlkuperäiskieliEnglanti
OtsikkoProceedings of the 21st IEEE International Symposium on Computer-Based Medical Systems, CBMS 2008
Sivut114-119
Sivumäärä6
DOI - pysyväislinkit
TilaJulkaistu - 2008
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
Tapahtuma21st IEEE International Symposium on Computer-Based Medical Systems, CBMS 2008 - Jyvaskyla, Finland
Kesto: 17 kesäkuuta 200819 kesäkuuta 2008

Julkaisusarja

NimiProceedings - IEEE Symposium on Computer-Based Medical Systems
ISSN (painettu)1063-7125

Konferenssi

Konferenssi21st IEEE International Symposium on Computer-Based Medical Systems, CBMS 2008
MaaFinland
KaupunkiJyvaskyla
Ajanjakso17/06/0819/06/08

Sormenjälki Sukella tutkimusaiheisiin 'Verification of clinical guidelines by model checking'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Viittausmuodot