A Modeling and Analysis Framework for Clinical Guidelines

Applicants Professor Dr. Martin Boeker; Professor Dr. Andreas Podelski
Subject Area Software Engineering and Programming Languages
Medical Informatics and Medical Bioinformatics
Term since 2024
Project identifier Deutsche Forschungsgemeinschaft (DFG) - Project number 536231777
 

Project Description

A clinical guideline (CG) defines the protocol applicable to a specific clinical condition; it consists of recommendations that guide the health practitioner methodically towards (evidence-based) best practices. The project will investigate the conceptual and algorithmic foundation of a practical modeling and analysis framework for CGs. The analysis framework will allow the health practitioner to represent CGs by formal models and apply algorithms to check their correctness. The motivation behind the research in the proposed project is the question to what extent one can enable the health practitioner to model CGs and apply algorithms in order to check their correctness. This question entails the investigation of formalisms to specify (textual and graphical) models of CGs and of correctness properties, and algorithms to check the models against the correctness properties.
DFG Programme Research Grants