Une preuve dynamique n'est, par sa nature, pas modélisée. Il s'agit d'une entité unique (ou d'un ensemble d'entités) qui contient des données pour tous les types de preuve dynamique. Un type de preuve dynamique possède une ou plusieurs versions de type de preuve tout au long de sa durée de vie. A n'importe quel moment, une seule version de type de preuve sera effective. Tous les éléments de métadonnées (attributs, relations, etc.) seront définis au niveau de la version de type de preuve. Ainsi, le développeur est chargé de fournir la spécification de mappage correcte ainsi que les configurations de la version de type de preuve actuellement en fonction.