Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Experiment Videos

Model checking for clinical guidelines: an agent-based approach.

L Giordano1, P Terenziani, A Bottrighi

  • 1DI, Univ. Piemonte Orientale, A. Avogadro, Via Bellini 25/g, Alessandria, Italy.

AMIA ... Annual Symposium Proceedings. AMIA Symposium
|January 24, 2007
PubMed
Summary
This summary is machine-generated.

Related Concept Videos

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Biochemical fingerprinting of dried blood serum from chronic lymphocytic leukemia patients by Raman spectroscopy: Towards prognostic classification.

Spectrochimica acta. Part A, Molecular and biomolecular spectroscopy·2025
Same author

UBA5-epileptic encephalopathy: new patient, a novel variant, and a review of epileptic phenotypes.

Epileptic disorders : international epilepsy journal with videotape·2025
Same author

Determinants of sustainable adoption in primary care of a clinical decision support system for antimicrobial prescribing: A qualitative study.

Infectious diseases now·2025
Same author

Retrospective multicenter study on cryptogenic NORSE/FIRES patients treated with anakinra.

Seizure·2025
Same author

Comparison of "IN-REC-SUR-E" and LISA in preterm neonates with respiratory distress syndrome: a randomized controlled trial (IN-REC-LISA trial).

Trials·2024
Same author

Dissecting the prognostic signature of patients with astrocytoma isocitrate dehydrogenase-mutant grade 4: a large multicenter, retrospective study.

ESMO open·2024
Same journal

Sensitivity Analyses of a Scoring System for a Contraception Decision Aid.

AMIA ... Annual Symposium proceedings. AMIA Symposium·2026
Same journal

Improving electronic health record processing of large language models via retrieval-augmented generation: A case study on dietary supplements.

AMIA ... Annual Symposium proceedings. AMIA Symposium·2026
Same journal

Developing a User-Centered Mobile Application Prototype: Bridging Lower-Limb Fracture Care from Skilled Nursing Facility and Back to the Community.

AMIA ... Annual Symposium proceedings. AMIA Symposium·2026
Same journal

KERAP: A Knowledge-Enhanced Reasoning Approach for Accurate Zero-shot Diagnosis Prediction Using Multi-agent LLMs.

AMIA ... Annual Symposium proceedings. AMIA Symposium·2026
Same journal

Automating Adjudication of Cardiovascular Events Using Large Language Models.

AMIA ... Annual Symposium proceedings. AMIA Symposium·2026
Same journal

Predictive Factors and State-Level Barriers to Postpartum Birth Control Usage in the United States: Insights from PRAMS Phase 8.

AMIA ... Annual Symposium proceedings. AMIA Symposium·2026
See all related articles

This study introduces an agent-based approach to model clinical guidelines using Promela and SPIN model checking. This method enables automatic verification of guideline properties, enhancing clinical decision support systems.

Area of Science:

  • Computer Science
  • Medical Informatics
  • Artificial Intelligence

Background:

  • Clinical guidelines are crucial for standardized patient care but can be complex to model and verify.
  • Existing methods for guideline representation may lack automated verification capabilities.
  • The agent-based paradigm offers a novel approach for modeling complex systems like clinical guidelines.

Purpose of the Study:

  • To propose and demonstrate a computer-based approach for modeling clinical guidelines using agent-based principles.
  • To leverage model-checking technology for automated verification of clinical guideline properties.
  • To apply the proposed methodology to a real-world clinical guideline system (GLARE).

Main Methods:

  • Clinical guidelines were modeled using the agent-based paradigm in Promela, a specification language.

Related Experiment Videos

  • The SPIN model checker was employed to automatically verify properties of the modeled clinical guidelines.
  • The methodology was validated using the GLARE system, a prototypical clinical guideline management system.

    • Main Results:

    • The proposed approach successfully models clinical guidelines as agents.
    • SPIN model-checking facilities were utilized to automatically prove various properties of the modeled guidelines.
    • The methodology was successfully applied to the GLARE system, demonstrating its practical applicability.

    Conclusions:

    • Agent-based modeling combined with model checking provides an effective method for representing and verifying clinical guidelines.
    • This approach enhances the reliability and accuracy of clinical decision support systems.
    • The study validates the potential of computational methods for improving the quality of healthcare delivery.