Project A01: Formalizing and Relating Different Notions of Consistency

This project aims to formalize and classify different notions of consistency, exploring their properties and interrelations. While current work uses normative rule-based specifications for V-SUM meta-model construction, alternative approaches—such as model-theoretic or denotational semantics—are also under investigation. The goal is to create a comprehensive, multi-dimensional classification of consistency notions, including gradual consistency, to guide future research. This classification will enable systematic selection of appropriate notions, clarify their implications for engineering applications, and assess their impact on algorithms for V-SUM meta-model construction and operation, particularly in projects focused on achieving and engineering with consistency.