Complexity of Consistency (A02)

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

V-SUMs combine information from heterogeneous models that have semantic overlap. In this project, we provide a formal definition of this concept, as well as methods to measure the complexity of different approaches for handling the semantic overlap, thus providing consistency management. This includes methods to choose between synthetic and projective approaches for constructing VSUMs and their metamodels, as well as slicing techniques to reduce accidental complexity for consistency management.

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