Ein Framework für die Modellierung und Analyse von Clinical Guidelines

• Antragsteller: Professor Dr. Martin Boeker; Professor Dr. Andreas Podelski
• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen ; Medizininformatik und medizinische Bioinformatik
• Förderung: Förderung seit 2024
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 536231777

Eine Clinical Guideline (CG) definiert das auf einen bestimmten klinischen Zustand anwendbare Protokoll; sie besteht aus Empfehlungen, die den Health Practitioner methodisch zu (evidenzbasierten) Best Practices führen. Im Rahmen des Projekts wird die konzeptionelle und algorithmische Grundlage eines praktischen Framework für die Modellierung und Analyser von Clinical Guidelines untersucht. Das Framework wird es dem Health Practitioner ermöglichen, CGs durch formale Modelle darzustellen und Algorithmen anzuwenden, um die Modelle auf bestimmte Kriterien für Korrektheit zu überprüfen. Die Motivation hinter der Forschung in dem vorgeschlagenen Projekt ist die Frage, inwieweit man den Health Practitioner in die Lage versetzen kann, CGs zu modellieren und ihre Korrektheit automatisch zu überprüfen. Zur Untersuchung dieser Frage untersuchen wir Formalismen, um (textuelle und grafische) Modelle von CGs und von Korrektheitseigenschaften zu spezifizieren, und Algorithmen, um die Modelle auf diese Korrektheitseigenschaften zu überprüfen.

• DFG-Verfahren: Sachbeihilfen