OCL y diagrama de clases

Diagrama de clases:
-Arregladas multiplicidades de Factura/LineaFactura
-En subsistema de reparación, quitada relación posee, ya que es
redundante.
-¿Es necesario ordered en las lineafactura?

OCL:
-Creados diagramas de clases en OCL