Declarative Guideline Conformance Checking of Clinical Treatments: A Case Study

09/20/2022
by   Joscha Grüger, et al.
0

Conformance checking is a process mining technique that allows verifying the conformance of process instances to a given model. Thus, this technique is predestined to be used in the medical context for the comparison of treatment cases with clinical guidelines. However, medical processes are highly variable, highly dynamic, and complex. This makes the use of imperative conformance checking approaches in the medical domain difficult. Studies show that declarative approaches can better address these characteristics. However, none of the approaches has yet gained practical acceptance. Another challenge are alignments, which usually do not add any value from a medical point of view. For this reason, we investigate in a case study the usability of the HL7 standard Arden Syntax for declarative, rule-based conformance checking and the use of manually modeled alignments. Using the approach, it was possible to check the conformance of treatment cases and create medically meaningful alignments for large parts of a medical guideline.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/22/2022

Process Modeling and Conformance Checking in Healthcare: A COVID-19 Case Study

The discipline of process mining has a solid track record of successful ...
research
04/14/2022

Stateless and Rule-Based Verification For Compliance Checking Applications

Underlying computational model has an important role in any computation....
research
02/15/2023

Separating Technological and Clinical Safety Assurance for Medical Devices

The safety and clinical effectiveness of medical devices are closely ass...
research
10/21/2020

Conformance Checking for a Medical Training Process Using Petri net Simulation and Sequence Alignment

Process Mining has recently gained popularity in healthcare due to its p...
research
06/29/2019

Model Checking a C++ Software Framework, a Case Study

This paper presents a case study on applying two model checkers, SPIN an...
research
12/09/2016

GOTM: a Goal-oriented Framework for Capturing Uncertainty of Medical Treatments

It has been widely recognized that uncertainty is an inevitable aspect o...
research
03/23/2021

Evaluating Dissemination and Implementation Strategies to Develop Clinical Software

Clinical software has become a significant contribution to support clini...

Please sign up or login with your details

Forgot password? Click here to reset