ej10.puml

' Ejercicio 10
'--------------------------------------
@startuml
title Ejercicio 10 - Circuito comercial \n Modelo Conceptual
!include estilos/draft.iuml

'Entidades
!include clases/ej10.iuml

'Relaciones
Cliente *-d- "*" Venta
Producto *-l- "*" Venta

'Reglas de negocio
note as n1
RN-01: Precios
Venta.precioVenta ≤ Producto.precio
end note
n1 .u. Producto
n1 .l. Venta

note as n2
RN-02: Cantidades
cant_pedido ≤ cant_oferta  ∧ 
cant_entrega ≤ cant_pedido 
end note
n2 .d. Venta

note as n3
RN-03: Fechas
fechaOferta ≤ fechaPedido  ∧ 
fechaPedido ≤ fechaEntrega ∧ 
fechaEntrega ≤ fechaFactura ∧ 
fechaFactura ≤ fechaCobro
end note
n3 .d. Venta


note left of Venta::importeFactura  
RN-04: Derivación importe factura
importeFactura(cantEntrega, precioVenta)
    =cantEntrega*precioVenta iF=cantEntrega*precioVenta
end note
@enduml