A process for conducting architecture model-based interoperability assessment may reduce interoperability issues in a design. For instance, a computer-implemented method may include organizing, by a computing system, candidate conditions into a hierarchy of logical expressions, and determining, by the computing system, whether each child condition is necessary or unnecessary to its parent condition.
展开▼