Instituto Tecnolgico Superior Sudamericano Anlisis y Diseo de
Sistemas I
1
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
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:
CASO DE USO
DIAGRAMA DE
SECUENCIA
OPERACIONES
DEL SISTEMA
CONTRATOS
Instituto Tecnolgico Superior Sudamericano Anlisis y Diseo de
Sistemas I
2
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.
