De la realidad a los programas y (casi) de vuelta

Hacer explícitos los mapeos entre conceptos del mundo real y los elementos del programa que los implementan es un paso esencial para entender, utilizar o evaluar la interfaz pública de programas, bibliotecas y otras colecciones de clases que modelan conceptos centrales del dominio. Desafortunadamente, debido a la gran brecha de abstracción entre el dominio modelado y los lenguajes de programación actuales, el mapeo es en la mayoría de las veces ambiguo, ya que los conceptos y relaciones del mundo real están distorsionados y difuminados en el código. En este artículo presentamos un marco formal integral para describir los mapeos de muchos a muchos entre conceptos del dominio y los elementos del programa, relaciones del mundo real y relaciones del programa, y los nombres de conceptos del mundo real e identificadores de programa. Este marco nos permite describir y discutir clases típicas de difusión del conocimiento del dominio en el código. Basado en nuestro marco formal, describimos un algoritmo para recuperar los mapeos entre entidades de una ontología y elementos del programa. Ilustramos el marco utilizando ejemplos de la biblioteca estándar de Java.