Contratos

Un contrato es un documento que describe lo que se propone cumplir o lograr una operación; se redactan de una manera declarativa, haciendo hincapié en lo que sucederá y no en el cómo sucederá. Se elaboran durante la fase de análisis.

Describen el comportamiento del sistema informático según los cambios de estado de la base de información y según salidas que el sistema proporcione.

Toda operación tiene un contrato. Por ejemplo:

Si el sistema tiene las operaciones: terminar Venta(), introducir Producto() y Efectuar Pago(), entonces tendremos tres contratos, uno para cada operación.

El uso de contratos ayuda a eliminar las pretensiones asumidas por las partes involucradas; a eliminar la incertidumbre y dar mayor seguridad; a realizar simplicidad en los procesos de formación.

Fuente: Apuntes de Informática V de la FCA de la UNAM