U0_-_UML_-_3_-_CONTRATOS

Vista previa del material en texto

CONTRATOS
CONTRATOS
 Para su preparación debe estar desarrollado previamente el Modelo Conceptual, los DS’s y la identificación de sus operaciones.
 Este artefacto también tiene relación con el Comportamiento de un Sistema, ya que permite ver cómo cambia el estado de un sistema cuando se llama una operación suya.
 El Contrato es un documento que describe lo que una operación se propone lograr, que se redacta en un estilo declarativo, enfatizando lo que sucederá y no cómo se conseguirá.
 Se deben redactar contratos para cada operación del sistema con el fin de describir su comportamiento.
CONTRATOS
Secciones de un Contrato:
Nombre
Responsabilidades
Tipo
Ref. cruzadas
Notas
Excepciones
Precondiciones
Poscondiciones
CONTRATOS
 Precondiciones: son las suposiciones acerca del estado del sistema antes de ejecutar la operación. Se deben describir las cosas que son importantes probar en el software en algún momento de la ejecución de la operación y las cosas que no serán sometidas a prueba, pero de las cuales depende el éxito de la operación
 Poscondiciones: el estado del sistema después de la operación. O sea cómo cambió el sistema tras una operación.
Estas poscondiciones se relacionan con el MC en que a la pregunta de qué instancias o asociaciones es posible crear o formar, la respuesta nos la dará el MC.
CONTRATOS
Categorías de Poscondiciones
1.- Creación y eliminación de instancias;
2.- Modificación de los atributos
3.- Asociaciones formadas y canceladas
Para expresar las poscondiciones se debe hacerlo en forma pasiva declarativa, en pretérito (Fue creada..., Se asoció..., Se estableció..., etc.) para destacar la declaración de un cambio de estado