Recovery from Temporary Inconsistency (B03)

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

This project aims to develop means to deal with inevitable, temporary inconsistencies and ways to find and propose strategies to recover from them. To make recovery from temporary inconsistencies possible without yet knowing about the actual decisions made by users during that process, we will represent options for recovery as "operation templates’’ that leave degrees of freedom for user choices. Our central research question thus is how such abstract recovery operations that lead out of temporary model inconsistency can be represented and efficiently searched for.

• 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: Professorin Dr.-Ing. Anne Koziolek; Dr. Mattias Ulbrich