Komplexität von Konsistenz (A02)

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

V-SUMs kombinieren Informationen aus heterogenen Modellen, die semantische Überschneidungen aufweisen. In diesem Projekt liefern wir eine formale Definition dieses Konzepts sowie Methoden zur Messung der Komplexität verschiedener Ansätze für die Behandlung der semantischen Überlappung und bieten somit ein Konsistenzmanagement. Dazu gehören Methoden zur Auswahl zwischen synthetischen und projektiven Ansätzen zur Konstruktion von VSUMs und ihren Metamodellen sowie Slicing-Techniken zur Reduzierung der zufälligen Komplexität für das Konsistenzmanagement.

• 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. Colin Atkinson; Dr.-Ing. Erik Burger; Dr. Mattias Ulbrich