Ej 1: 1a.Domicilio puede contener estado o ciudad , opcionales ambos. 1b.Domicilio contiene Calle, Ciudad y opcional Estado y Codigo postal. 3a. Faltan conectores. 3b. Sobra un signo o falta una letra. 3c.Falta cerrar la llave. 3d. Tendria que ser entre corchetes y pipe. 3e. Parntesis o llave. 3f.Sobra un par de parntesis . 3g. Faltan sumas y Corchetes con Pipe. Funcin: Gestionar el alquiler de vehculos sin conductor. Requisitos: *Administrar altas y bajas de vehculos en la flota. *Clasificar los vehculos de la flota segn su tipo de uso * Registrar las revisiones(iniciales y peridicas) del vehculo *Clasificar clientes en directos o agencias *Definir contratos *Calcular importe de la fianza en base al contrato y en funcin del tipo de vehculo. *Almacenar liquidaciones iniciales y definitivas en funcin al contrato. *Controlar estado de los contratos. *Cerrar contrato. *Gestionar las comisiones anuales para las agencias. *Verificar disponibilidad de vehculos . *Controlar reservas pendientes. *Facturar ventas de coches segn el tipo de pago.

Diagrama de contexto Nivel 0

Contrato de alquiler Pedido de Auto

Clientes

Alquiler Auto

Empresa

Liquidacion de contrato

Requisitos de alquiler

Estado del auto

Diagrama Nivel 1

Factura

Agencias

Gestionar contrato Comprar Auto FacturaCantidad de Autos

Solicitud auto

Compras

Datos auto

Incluir auto a la

flota

Clasificacion y estado del auto

Alquiler Condicion de alquiler

Alquiler de auto

Contrato de alquiler

Pedido de vehiculoVender auto

Facturacion

ClientesLiquidacion del contrato

Liquidacion del Contrato Venta

Devolucion de auto

contrato

Contrato

Diagrama Nivel 2 Compra de Auto Pedido de auto

Compras

Comprar Auto

Cantidad de autos

Factura

Concesionario

-

Incluir auto en la Flota

Factura por auto

Revisar Auto

Clasificacion del auto Resultado del anlisis del auto

Compras

Datos del Auto

Control del Auto

Incluir Auto a la flota

Clasificar Auto

Estado del auto

Clasificacion dentro de la flota

-

Alquiler de Auto Reservas Ver ReservasC o n t r a t o

Clasifiacion y estado del autoC o n t r a t o

Pedido de auto

Liquidacion

Ventas/Alquiler

Auto Disponible

Clientes F a c t u r a

Alquiler de Auto

Condiciones de alquiler

Calcular el importe de fianza

-

Gestionar contrato

reservas Reservas

Ver Reservas Auto disponible Pedido de auto Estado del auto

Agencias

Cantidad por mes

Comisin

Ventas/Alquiler

Pedido de auto Factura

Contrato

Cantidad de autos

-

Venta de Auto Liquidacin contrato Acreditacin pertenencia auto > 6 meses Condiciones Alquiler Factura Contado

Vender

Ventas/Alquiler

Cliente

Factura Financiado

Facturar

Importe Financiera Datos Prstamo

-

Devolucin del Auto

Facturacin

Cliente

Condiciones de alquiler Contrato Alquiler

Estado del vehculo

Liquidacin del contrato

Revisin del auto

Devolucion del auto

Trminos de devolucin

Contrato

Contrato

Notacin del diccionario de datos = esta compuesto de + y () optativo {} iteracin [] seleccionar una de varias alternativas ** comentario @ identificador de un almacn | separa opciones alternativasClientes = [ Cliente particular |Agencia ] Cliente particular = Persona Persona = Nombres + Apellido +DNI +Domicilio Legal Agencia = Datos Cliente No particular Empresa = Datos Cliente No particular

Datos Cliente No particular = Nombre +Domicilio Legal + Servicio +Responsable Inscripto Pedido de Auto = Auto + [Cliente particular |Agencia ] Auto = Marca + Modelo + Patente +Numero Motor Contrato de Alquiler = Pedido de Auto + Empresa + Monto Adelanto +Estado del auto+Clasificacion del auto Liquidacion de Contrato = Monto Faltante + Estado del Auto monto= {numero} Estado del Auto = Estado Clasificacion del auto [Gama Baja |Gama Alta |Gama Media] factura = tipo factura + numero factura+ [Cliente |Agencia ] + precio tipo factura= (A |B |C) numero factura= {nmero} Solicitud Auto = Pedido Auto

Datos Auto = Auto Cantidad de autos = {nmero} Compras = Division Empresa + Fondos Division Empresa = Gerente Gerente= Persona Fondos= Dinero Dinero={Nmero} Alquiler = Division Empresa + Autos Contrato = @contrato de alquiler Concecionario = Nombre +Domicilio +Cuil +Autos Control Auto = @estado del auto+@clasificacion del auto Resultado del Analisis del auto = Estado del Auto + Clasificacion del auto Auto Disponible = [Si | No ] Reservas = Auto + [Cliente |Agencia] Cantidad por mes = {nmero} Comision = {nmero} Factura Contado = Factura +monto pagado Factura Financiado = Factura+ monto a pagar Financiera = @financiacion Financiacion =[ Cliente|Agencia] +Factura

Especificacin de Procesos

Nivel 0

Alquiler de autos

Si (Contrato de alquiler y estado del vehiculo y requisitos de alquiler ) = ok entonces alquilar auto a cliente sino no alquilar auto

Nivel 1

Comprar auto

Si (Auto disponible = si ) entonces emitir factura y comprar auto

Incluir vehiculos a la flota

Si datos del auto = ok entonces almacenar datos del auto y clasificarlo

Gestionar contrato

Si cantidad de autos = disponible entonces realizar contrato de alquiler y emitir factura a Agencia

Vender Auto

Liquidar contrato y facturar

Devolucin del auto

Si Datos contrato y estado auto = ok entonces liquidar contrato y devolucin auto

Nivel 2

Comprar auto

Si Concecionario tiene cantidad de autos pedidos entonces emite factura auto y vende auto

Incluir auto a la flota

Si estado del auto y datos del auto = ok entonces almacenar datos del auto + incrementar cantidad de autos si incremento cantidad de autos entonces asignar categoria de gama dentro de la flota

Alquilar Auto

Si pedido de auto = no entonces ver disponibilidad de auto y realizar contrato de alquiler Sino no alquilar a cliente

Gestionar Contrato

Si Cantidad de Auto Disponible y No reservado entonces Calcular comision por cantidad y emitir factura

Vender Auto

Si Acreditacion > mayor 6 meses Si pago financiado entonces almacenar datos de financiacion y calcular porcentaje de interes y emitir factura financiado Sino emitir factura pago contado

Devolucion Auto

Si Cliente cumplio Condiciones de contato y estado del auto = estado de entrega entonces liquidar contrato Sino Calcular saldo a pagar y liquidar contrato