Instituto Tecnolgico Superior Sudamericano

Anlisis y Diseo de Sistemas I

CONTRATOS
Los contratos contribuyen a definir el comportamiento de un sistema, son documentos
que describen lo que una operacin se propone lograr.
Un contrato de operacin describe los cambios de estado del sistema total cuando se
llama o se hace referencia a una de sus operaciones.
Se redactan en estilo declarativo, enfatizando lo que suceder y no cmo se conseguir.
Estos son redactados para cada operacin del sistema con el fin de describir su
comportamiento.
CASO DE USO DIAGRAMA DE SECUENCIA OPERACIONES DEL SISTEMA CONTRATOS

CASO DE USO

DIAGRAMA DE
SECUENCIA
OPERACIONES
DEL SISTEMA

CONTRATOS

SECCIONES DEL CONTRATO

Nombre: Nombre de la operacin y parmetros
Responsabilidad: Descripcin informal de las responsabilidades que debe cumplir
la operacin
Tipo: Nombre del tipo (concepto, clase de software, interfaz)
Referencias Cruzadas: Nmero de referencia de las funciones del sistema, casos de
uso.
Notas: Notas de diseo algoritmos e informacin afn
Excepciones: Casos excepcionales
Salida: No salidas de interfaz de usuario; por ejemplo mensajes o registros que se
envan afuera del sistema
Precondiciones: Suposiciones acerca del estado del sistema antes de ejecutar la
operacin
Poscondiciones: Estado del sistema despus de la operacin.
CMO PREPARAR UN CONTRATO?
1. Identifique las operaciones del sistema a partir de los diagramas de secuencia
2. Elabore un contrato en cada operacin del sistema
3. Comience redactando la seccin de Responsabilidades, despus describa
informalmente el propsito de la operacin
4. Complete luego la seccin de Poscondiciones, describiendo en forma declarativa
los cambios de estado de los objetos en el modelo conceptual.
5. Para definir las poscondiciones utilice las siguientes categoras:
1

Instituto Tecnolgico Superior Sudamericano

Anlisis y Diseo de Sistemas I

a. Creacin y eliminacin de instancias

b. Modificacin de atributos
c. Asociaciones formadas y canceladas.
Las poscondiciones deben expresarse en tiempo pasado para enfatizar declaraciones
sobre un cambio pretrito de estado. (Ejm: Se cre una instancia)
Cuando se elaboran contratos surgir quiz la necesidad de insertar en el modelo
conceptual nuevos conceptos, atributos o asociaciones.