Formalisierung und Verknüpfung verschiedener Begriffe von Konsistenz (A01)

• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen
• Förderung: Förderung seit 2023
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 501798263

In diesem Projekt geht es um die Formalisierung und Verknüpfung verschiedener Konsistenzbegriffe, ihrer Eigenschaften und Beziehungen. Für die Konstruktion von V-SUM-Metamodellen sind die Konsistenz auf der Grundlage normativer Spezifikationen, deskriptive und graduelle Konsistenz und Konsistenz auf der Grundlage modelltheoretischer oder denotationaler Semantik von Interesse. Wir formalisieren die Eigenschaften dieser Konsistenzbegriffe durch eine umfassende Taxonomie und testen sie in einer empirischen Fallstudie und im KARaceing-Fall. Dies wird helfen, Konsistenzkonzepte im CRC zu analysieren, beschreiben, erhalten, wiederherzustellen und visualisieren.

• DFG-Verfahren: Sonderforschungsbereiche
• Teilprojekt zu: SFB 1608: Konsistenz in der sichtenbasierten Entwicklung Cyber-Physikalischer Systeme
• Antragstellende Institution: Karlsruher Institut für Technologie
• Teilprojektleiter: Professor Dr. Uwe Aßmann; Professor Dr. Bernhard Beckert; Professor Dr. Ralf Heinrich Reussner