Modular Consistency Checking Between Heterogeneous Models Without Direct Data Exchange Between Collaborators

When using model-based systems engineering to develop a system with different models, inconsistencies can occur between these models based on their information overlaps. Multiple approaches exist how to handle such multi-model inconsistencies, but all of them rely in some form on having complete access to all models or exchanging model data directly between all models. This is critical regarding confidentiality, especially when different parties, e.g., different companies, are involved in the model-based development and do not want to share all their model data with each other.