Reificación

¿Qué significa reificación?

La reificación es el proceso durante el cual una idea abstracta relativa a una aplicación informática puede convertirse en un objeto o modelo de datos explícito.

En otras palabras, la reificación ayuda a convertir una idea implícita no expresada en una idea conceptual o lógica. La reificación es uno de los procesos más utilizados en la representación del conocimiento y el análisis conceptual.

Definición de reificación

La reificación de datos es similar en algunos aspectos al refinamiento de datos, aunque el proceso de reificación se centra más en concretar la idea que en refinarla.

Cuando se trata de la reificación de datos, el refinamiento se compone de pasos para encontrar una representación más concreta de los tipos de datos abstractos, lo que se hace utilizando especificaciones estándar.

La reificación de datos ayuda a rebajar el nivel de los tipos de datos abstractos y la abstracción que implica el modelado de operaciones. En el modelado conceptual, la reificación de una relación permite verla como una entidad. El único propósito de la reificación de una relación es hacerla tan explícita con información adicional añadida.

En el contexto de los lenguajes de programación, la reificación es el método por el que un programa o cualquier aspecto de un lenguaje de programación que antes estaba implícito en el entorno de ejecución se
representado en el propio lenguaje. Esto permite que todos los aspectos que antes estaban implícitos estén disponibles como datos ordinarios para su inspección.

La reificación se ha realizado en muchos lenguajes de programación hasta la fecha, aunque sea de forma parcial. Por ejemplo, Java utiliza “tipos reificables” que están totalmente disponibles en tiempo de ejecución. Los detalles de bajo nivel de las direcciones de memoria son reificables en la programación C. El lenguaje de programación Smalltalk permite la reificación de mensajes.