Describir: Un modelo de persistencia para el diseño de la base de datos basado en un modelo de objetos formal