Reifizierung (engl. Reification) ist der Prozess, bei dem eine abstrakte Idee einer Computeranwendung in ein Objekt oder ein explizites Datenmodell umgewandelt wird.
Mit anderen Worten, Reifizierung hilft bei der Umwandlung einer unausgesprochenen, impliziten Idee in eine konzeptuelle oder logische Idee. Reifikation ist einer der am häufigsten verwendeten Prozesse in der Wissensrepräsentation und konzeptionellen Analyse.
Techopedia erklärt Reifikation
Die Reifizierung von Daten ähnelt in mancher Hinsicht der Veredelung von Daten, jedoch konzentriert sich der Reifizierungsprozess mehr auf die Konkretisierung der Idee als auf ihre Verfeinerung. Bei der Datenveredelung besteht die Verfeinerung aus Schritten, die dazu dienen, abstrakte Datentypen konkreter darzustellen, und die mit Hilfe von Standardspezifikationen durchgeführt werden.
Die Datenverfeinerung hilft, die Ebene der abstrakten Datentypen und die Abstraktion bei der Modellierung von Operationen zu reduzieren. Bei der konzeptuellen Modellierung ermöglicht die Verifikation einer Beziehung, diese als Entität zu betrachten. Der einzige Zweck der Verifikation einer Beziehung besteht darin, sie durch zusätzliche Informationen explizit zu machen.
Im Kontext von Programmiersprachen ist die Objektivierung die Methode, mit der ein Programm oder ein Aspekt einer Programmiersprache, der zuvor in der Laufzeitumgebung implizit war, in der Sprache selbst repräsentiert wird. Auf diese Weise können alle Aspekte, die zuvor implizit waren, als gewöhnliche Daten zur Verifikation zur Verfügung gestellt werden.
Reifizierung wurde bisher in vielen Programmiersprachen realisiert, wenn auch nur teilweise. Java verwendet z.B. „reifizierbare Typen“, die zur Laufzeit vollständig verfügbar sind. Low-Level-Details von Speicheradressen sind in der C-Programmierung reifizierbar. Die Programmiersprache Smalltalk erlaubt die Reifizierung von Nachrichten.