Resumen

La interoperabilidad es una propiedad de la calidad del software que está relacionada con la cooperación entre sistemas de software para intercambiar información. Sin embargo, este concepto no está bien explicado ni comprendido. Una teoría sería útil para explicar la interoperabilidad en términos de sus elementos y proposiciones esenciales. Las contribuciones teóricas de la interoperabilidad pretenden formalizar este concepto utilizando marcos, modelos y metamodelos comunes. Sin embargo, las contribuciones tentativas desarrolladas en el pasado no han logrado proponer una teoría de la interoperabilidad debido a cuatro razones: (1) se utiliza un vocabulario desunificado, (2) los elementos esenciales para describir la interoperabilidad no están bien identificados, (3) sólo se evalúa un único nivel de interoperabilidad, y (4) los principios de interoperabilidad no están bien formalizados. Este artículo propone provisionalmente una teoría axiomática de la interoperabilidad como enfoque complementario de los conocimientos existentes. La teoría propuesta pretende formalizar mejor los conceptos de interoperabilidad y sugerir acciones encaminadas a establecer la interoperabilidad. Tras una breve revisión de los trabajos relacionados y del estado de la cuestión, se presenta un conjunto de axiomas y proposiciones. Esta teoría es evaluada por un grupo de expertos y se presenta un ejemplo para ilustrar su uso. Al final del documento se esbozan las conclusiones y los trabajos futuros.

1. INTRODUCCIÓN

​La interoperabilidad se conoce como una propiedad de calidad del software (Organización Internacional de Normalización, 2008), una capacidad de las entidades para trabajar juntas (Liu et al., 2020) y una característica de los sistemas de información (Turket al., 2020). , entre otras definiciones. Una característica de la interoperabilidad es la posibilidad de utilizar la información intercambiada, es decir, comprender e interpretar la información intercambiada sin esfuerzo adicional. Se han identificado y definido siete elementos esenciales para describir la interoperabilidad (Torres et al., 2018): sistema software (origen y destino), información, lenguaje, símbolo, contexto e interfaz (Figura 1). La uniformidad en la terminología de interoperabilidad es un requisito para construir una teoría común.Un fenómeno de software como la interoperabilidad se puede explicar mediante una teoría. Los elementos de una teoría son constructos (llamados elementos esenciales) y las relaciones entre ellos. La construcción de una teoría comprende cinco pasos: (i) definir elementos esenciales, (ii) definir proposiciones, (iii) proporcionar explicaciones sobre las proposiciones, (iv) determinar el alcance y (v) probar la teoría (Sjøberg et al. , 2012). Una teoría también puede concebirse como axiomática cuando introduce nuevos conceptos y deduce sus propiedades (Tall, 2004).

Aportes teóricos sobre la interoperabilidad (Tabla 1) que intentan formalizarla, caracterizarla y describirla desde diferentes perspectivas. 

• Materias:Ingeniería de software Axiomas de lógica Arquitectura de software
• Subjects:Software engineering Logic axioms Software architecture
• Palabras claves:Interoperabilidad; Teoría axiomática; Sistema de software; Axioma; Proposición; Consulta de expertos
• Keywords:Interoperability; Axiomatic Theory; Software System; Axiom; Proposition; Expert Consultation