Código Nombre Descripción Casos de uso afectados Reglas de Estructura : Del modelo de datos RN01 Precio Todo producto debe tener un precio unitario Registrar Unitario de de alquiler producto alquiler RN02 Código de Es numérico y será generado Registrar Producto automáticamente por el sistema producto RN03 Código de El código de la reserva tienen la forma Realizar reserva reserva AAAA-MM-NNNN y será manejado por el sistema Reglas de Estructura: De relación RN04 Clasificación Todos los productos deben tener un vínculo Registrar del producto con una marca y modelo producto RN05 Consistencia Toda reserva debe estar relacionada con un Realizar reserva de la reserva cliente y un producto RN06 Consistencia Todo alquiler se produce luego de haber Alquilar del alquiler sido registrada una reserva, vehículos Reglas de restricción: Estímulo y respuesta RN07 Fecha límite Si un cliente entrega un vehículo alquilado Finalizar de devolución en una fecha posterior a lo pactado en una alquiler reserva, deberá pagar una mora. Reglas de restricción: De las operaciones RN08 Actualizar una No se puede eliminar o modificar una Realizar reserva reservas reserva si su fecha de inicio es anterior a la fecha vigente RN09 Anular Es posible anular una reserva sin cargos Realizar reserva reserva con 24 horas de anticipación RN10 Confirmación Todo alquiler lleva a cabo previa Confirmar de la reserva confirmación de una reserva. reserva Reglas de derivación: De cálculo RN11 Monto total El monto del alquiler se calculará de Realizar de Alquiler acuerdo a la cantidad de días de alquiler Reserva multiplicado por el precio unitario del Alquilar producto. vehículos RN12 Monto neto Es igual al monto total del alquiler Alquilar del alquiler multiplicado por el impuesto vehículos Reglas de derivación: De inferencia RN13 Reserva Toda reserva registrada quedará Realizar Pendiente “pendiente de confirmación Reserva RN14 Reserva Toda reserva que es ratificada por el cliente Confirmar Confirmada quedará “confirmada” y pendiente de ser reserva realizada en un Alquiler RN15 Reserva Toda reserva que es concretada a través de Alquilar Realizada un Alquiler queda “realizada” vehículos RN16 Alquiler Todo alquiler registrado queda “pendiente” Alquilar Pendiente hasta la devolución del vehículo vehículos RN17 Alquiler Todo alquiler queda “finalizado” luego de Entregar Finalizado que se entrega el vehículo vehículo