University of Illinois Urbana-Champaign

Rewriting-Based Computer-Interpretable Clinical Practice Guidelines

Saxena, Manasvi; Chen, Xiaohong; Song, Shuang; Meng, Shaoyu; Sha, Lui; Rosu, Grigore

Content Files
saxena-chen-song-meng-sha-rosu-2022-tr.pdf

Permalink

https://hdl.handle.net/2142/116016

Description

Title
Rewriting-Based Computer-Interpretable Clinical Practice Guidelines
Author(s)
  • Saxena, Manasvi
  • Chen, Xiaohong
  • Song, Shuang
  • Meng, Shaoyu
  • Sha, Lui
  • Rosu, Grigore
Issue Date
2022-11-17
Keyword(s)
  • Rewriting
  • Cyber Physical Systems
Abstract
Clinical Practice Guidelines (CPGs) are systematically developed statements to assist healthcare professionals with decisions about specific clinical circumstances. Produced by domain experts, they they codify recommended treatments, and are often used as models for building Decision Support Systems (DSS) that assist healthcare professionals adhere to CPGs. CPGs are usually specified informally, or semi-formally (via flowcharts). This, however, may cause the behavior of DSSs to deviate from intended treatment in the corresponding CPGs, and introduce challenges in verifying correctness of the DSSs. In this paper, we propose a novel method of formally specifying CPGs by for- malizing them in K, a rewriting-based executable semantics framework [13]. Our K-based guidelines are executable, allowing them to serve as correct-by-construction models in DSSs, and can be analyzed using tools in the K ecosystem. To support our claims, we present a DSS based on Advanced Cardiac Life Support (ACLS) CPG formalized in K, discuss challenges and present directions for future work.
Type of Resource
text
Genre of Resource
technical report
Language
en

Owning Collections

Research and Tech Reports - Computer Science PRIMARY