An Automated Approach for the Discovery of Interoperability

Motivation Interoperability has been a challenging unsolved problem that relies on manual, error-prone solutions and costs bill ions of dollars annually [2, 3]. Semi-automated verification of interoperability can be achieved by a set of limited tools. However, there does not exist any automated tools for the verification and the validation of interoperability soluti ons. This work may enable the next generation of automatically composable and reconfigurable systems, and support formal verification of the currently used standards. In this articl e, we focus on the theoretical framework we built in [1], and construct an algorithmic framework that can be used to apply the theory presented in [1]. W e also provide practical applicat ions using the automated system we built based on the algorithmic framework we present here. To our knowledge, there does not exist any work in the literature which has developed an algorithmic framework or an automated system that is capable of testing for the interope r-ability of CAD systems based on the interchangeability of th eir models with respect to their shape properties. By construct ing such a framework and a system, we aim to show that it is possible to discover the interoperability between CAD syst ems with a predetermined tolerance without translating forma ts or converting representations.