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

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