Fig. 12: Transformation or mapping in categorical language as a morphism (functor) between two categories; the problemcategory (Pro) and the solution-category (Sol). - "Category Theory as a Formal Mathematical Foundation for Model-Based Systems Engineering"

Interoperabilidade é a capacidade de um sistema (informatizado ou não) de se comunicar de forma transparente (ou o mais próximo disso) com outro sistema (semelhante ou não). Para um sistema ser considerado interoperável, é muito importante que ele trabalhe com padrões abertos ou ontologias. Um caso de uso comum para a interoperabilidade de software é a liberdade dos clientes de mudar de um produto para outro, mantendo os dados intactos após a transferência. Isso é especialmente importante para