Formalising and Relating Different Notions of Consistency (A01)

• Subject Area: Software Engineering and Programming Languages
• Term: since 2023
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 501798263

This research project is about formalising and relating various notions of consistency, their properties, and their relations. Not only consistency based on normative specifications is of interest for V-SUM meta-model construction, but also descriptive consistency, consistency based on model-theoretic or denotational semantics, as well as gradual consistency. We formalize the properties of these consistency notions, their relations, their commonalities and differences by a comprehensive taxonomy and test it in an empirical case studies as well as in the KARaceing case. This will help to analyse, describe, preserve, re-establish and visualise consistency concepts in the CRC.

• DFG Programme: Collaborative Research Centres
• Subproject of: SFB 1608: Consistency in the View-Based Development of Cyber-Physical Systems
• Applicant Institution: Karlsruher Institut für Technologie
• Project Heads: Professor Dr. Uwe Aßmann; Professor Dr. Bernhard Beckert; Professor Dr. Ralf Heinrich Reussner