Modelado De Casos De Uso

MODELADO DE CASOS DE USO: AÑADIR DETALLES CON LOS CONTRATOS DE LAS OPERACIONES

*Crear los contratos para las operaciones del sistema

Introducción

Objetivos

Los contratos de las operaciones pueden ayudar a definir el comportamiento del sistema; describen el resultado de la ejecución de las operaciones del sistema en función de los cambios de estado de los objetos del dominio.13.1. Contratos

Los casos de uso son el principal mecanismo del UP para describir el comportamiento del sistema y, normalmente es suficiente.Sin embargo, algunas veces se necesita una descripción mas detallada del comportamiento detallado del sistema en función de los cambios de estado de los objetos del Modelo del Dominio, después de la ejecución de una operación del sistema.Operaciones del sistema y la interfaz del sistema

Se pueden definir contratos para las operaciones del sistema _ operaciones que el sistema, como una caja negra, ofrece en su interfaz publica para manejar los eventos del sistema entrantes _.Las operaciones del sistema se pueden identificar descubriendo estos eventos del sistema.

El conjunto completo de operaciones del sistema, detodos los casos de uso, define la interfaz publica del sistema, viendo al sistema como un componente o clase individual.En UML, el sistema como un todo se puede representar mediante una clase.





13.2. Ejemplo de contrato: introducirArticulo

Contrato CO2: introducirArticulo
















13.3. Secciones del contrato





















13.4.Postcondiciones







Las postcondiciones se dividen en:







La poscondición de la eliminación de instancias es más rara, porque en el mundo real uno no se preocupa de forzar explícitamente la destrucción de una cosa.
La cualidad importante es ser declarativo y enunciar con un estilo orientado al cambio en lugar de orientado a la acción, puesto que las postcondicionesson declaraciones sobre los estados o resultados, en lugar de unas descripciones de las acciones a ejecutar, o el diseño de una solución.

Las postcondiciones se relacionan con el Modelo del Dominio

Estas postcondiciones se expresan en el contexto de los objetos del Modelo del Dominio. ¿Que instancias se pueden crear?-Las que se encuentran en el Modelo del Dominio; y así sucesivamente.Una ventaja de las postcondiciones: detalle analítico

Los contratos son una herramienta para el análisis de requisitos que describen los cambios de estado que requiere una operación del sistema (en función de los objetos del Modelo del Dominio) sin tener que describir como se van a llevar a cabo.
Considere la poscondición:






















El Espíritu de laspostcondiciones: el escenario y telón

Expresar las postcondiciones en pasado. Por ejemplo:

 (mejor)Se creo una LineaDeVenta.
en lugar de
 (peor)Cree una LineaDeVenta.
Pensar en las postcondiciones usando esta imagen:
El sistema y sus objetos se presentan en el escenario de un teatro.
1. Antes de la operación, tome una fotografía del escenario.
2. Baje el telón y aplique laoperación del sistema
3. Suba el telón y tome otra fotografía.
4. Compare las fotografías y exprese el cambio de estado del escenario.

Si se utilizan contratos, ¿Cómo de completas deben ser las postcondiciones?

Es mejor diferir su estudio hasta el trabajo del diseño, los desarrolladores deben preocuparse por el diseño de una solución, en lugar de investigar de qué se debe hacer.
Algunos de losdetalles mas importantes de se descubrirán durante el trabajo del diseño., que podrán ser documentado el trabajo de requisitos de una iteración posterior.

13.5. Discusión: postcondiones de introducirArticulo
Análisis de las postcondiciones de la operación del sistema introducirArticulo:


Creación y eliminación de instancias
Después de introducir el articuloID y la cantidad de un...