La interoperabilidad es una propiedad de calidad del software asociada con el intercambio de informacion entre sistemas de software que poseen caracteristicas heterogeneas. La interoperabilidad se desarrolla en niveles, es decir, tecnica, sintactica, semantica y organizacional. La interoperabilidad involucra elementos esenciales y proposiciones (relaciones entre los elementos esenciales) los cuales se identifican y declaran en una teoria. El objetivo de algunas propuestas es formalizar la interoperabilidad usando marcos comunes, modelos comunes y metamodelos. Estas propuestas presentan dificultades al proponer una teoria debido a cuatro razones principales: (i) usan una terminologia desunificada sobre la interoperabilidad; (ii) desconocen los elementos esenciales de interoperabilidad; (iii) dejan de lado los principios de la interoperabilidad; y (iv) tienen una vista parcial de la interoperabilidad. Por estas razones, es necesario la formulacion de una teoria unificada de la interoperabilidad de los sistemas de software heterogeneos que permita identificar el conjunto de elementos esenciales participando en la interoperabilidad y determinar la relacion entre dichos elementos.