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.
Use this login method if you
don't
have an
@illinois.edu
email address.
(Oops, I do have one)
IDEALS migrated to a new platform on June 23, 2022. If you created
your account prior to this date, you will have to reset your password
using the forgot-password link below.