Rem, CUm, Ocl, Uml

REM:
OK--> Añadir invariantes en lenguaje natural y OCL a la clase
Aseguradora, PresupuestoFactura (incluir los derivados), Cliente,
Vehiculo
OK--> Unir restriccion de Numero de factura y Numero de presupuesto
OK--> revisar las multiplicidades.

Casos de uso:
OK--> Actualizar diagramas

Fotos:
Pasar todos diagramas de EA a fotos
OK--> diagrama de clases
OK--> diagrama de CU y actualizados.
OK--> diagrama secuencia.
OK--> diagrama estado (todos)

OCL:
OK--> Pasar a fotos los escenarios, y si eso, poner también un escenario
especial pa ver que falla.

UML:
OK--> Hemos añadido Total a lineadepedido en pagoa  proveedores y en
lineafacturapresupuesto en contabilidad.

CREAR DIAGRAMA DE SECUENCIA:
- MODIFICAR CATALOGO (subsistema contabilidad)--> no se hace, es
incoherente.
OK--> AÑADIR NUEVO CATALOGO
OK--> CONSULTAR CLIENTE (subsistema informacion)