Los contratos son documentos que describen el comportamiento del sistema.

Los contratos describen el comportamiento detallado del sistema en términos de cambios de

estado de los objetos del Modelo de Dominio, una vez que es ejecutada una operación del
sistema.

El sistema puede representarse mediante una clase conceptual con sus operaciones, que
representan su interface publica