Verification of temporal scheduling constraints in clinical practice guidelines

Area of Science:

• Medical Informatics
• Clinical Practice Guideline Development
• Health Data Management

Background:

• Computerizing clinical practice guidelines presents challenges, particularly due to deficiencies in guideline knowledge.
• Temporal scheduling constraints are critical for therapy management but often contain flaws.

Purpose of the Study:

• To develop and present a verification method for detecting flaws in temporal scheduling constraints within clinical practice guidelines.
• To enhance the reliability and interpretability of computerized clinical guidelines.

Main Methods:

• A verification method based on calculating the minimal network of temporal constraints on guideline activities.
• Checking consistency between temporal scheduling constraints and control flow/hierarchical structures.
• Generating suggestions for more explicit representations of non-minimal constraints.

Main Results:

• The method successfully identifies inconsistencies in temporal scheduling constraints.
• It provides a means to generate feasible time intervals for guideline activities.
• The approach was evaluated using a guideline in the Asbru language with a prototype verifier.

Conclusions:

• The developed method effectively verifies temporal scheduling constraints in clinical practice guidelines.
• This approach can improve the accuracy of therapy management and guideline interpretation.
• The method is adaptable to various guideline representation formats beyond Asbru.