Project A02: Complexity of Consistency

The project aims to equip engineers with tools to make informed trade-offs when integrating meta-models into a V-SUM meta-model. A key concept is the impact sets of semantic overlaps, which underpin many consistency analysis algorithms. Accurately identifying and minimizing these sets is crucial because consistency management effort grows with model size. Large sets pose two challenges: engineers struggle to understand and resolve consistency issues across numerous models, and full V-SUM analyses risk scalability problems, even when only a small subset is relevant. Reducing impact sets is therefore essential for efficient and scalable consistency management.