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

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