Modelo de dominio
Diagrama de secuencias
Contratos
|
Contrato
CONT01 |
Iniciar
Sesión |
|
Operación |
iniciarSesion
(usuario: string [30]; contraseña: string [30]) |
|
Referencias |
Caso
de uso Iniciar Sesión |
|
Precondiciones |
Un
usuario existente desea iniciar sesión |
|
Postcondiciones |
Se
creó una nueva sesión. Se
asocio usuario con sesión abierta. |
|
Contrato
CONT02 |
Crear
Factura |
|
Operación |
crearFactura
(numeroFactura: int; idProveedor: int) |
|
Referencias |
Caso
de uso Cargar Factura/s y Documentación |
|
Precondiciones |
Hubo
una compra a un proveedor |
|
Postcondiciones |
Se
creó una nueva factura. Se
incorporó la factura al sistema. Se
notificó al proveedor. |
|
Contrato
CONT03 |
Evaluar
Factura |
|
Operación |
evaluarFactura
(numeroFactura: int) |
|
Referencias |
Caso
de uso Evaluar Factura/s y Documentación |
|
Precondiciones |
El
dueño de contrato está en sesión iniciada. La documentación está cargada y
sin evaluar. |
|
Postcondiciones |
Se
verificó que la factura esté correcta. Se
cambió el estado de la factura. Se
notificó al proveedor. |
|
Contrato
CONT04 |
Corrección
Factura |
|
Operación |
correccionFactura
(numeroFactura: int) |
|
Referencias |
Caso
de uso Corregir Factura/s y Documentación |
|
Precondiciones |
Hay
una factura calificada como “inexacto” o “incompleto” |
|
Postcondiciones |
Se
corrigieron los errores. Se
cargó la factura corregida. Se
notificó al proveedor. |
Diagrama de transición de estados
Modelo de análisis
