Contrato

Nombre:

ElegirBoleto (código:número, Nasiento:entero)

Responsabilidades:

Capturar (registrar) la venta de un producto y agregarla a la venta. Desplegar el código y su

respectivo asiento.

Tipo:

Sistema.

Referencias

cruzadas:

Funciones del sistema: R3.1, R3.3, R3.4.

Casos de uso: Comprar Boletos.

Notas:

Utilizar acceso súper-rápido a la base de datos.

Excepciones:

Si el código no es válido, indicar que se cometió un error.

Precondiciones:

El sistema conoce el código.

Postcondiciones:

· Si se trata de una nueva venta, se crea una Venta (creación de instancia).

· Si se trata de una nueva venta, la nueva Venta fue asociada a PVB (asociación formada).

Contrato

Nombre:

TerminarVenta( )

Responsabilidades:
Registrar que es el final de la captura de los Boletos de la venta y desplegar el total de la venta.

Tipo:

Sistema.

Referencias

cruzadas:

Funciones del sistema: R3.2, R3.5.

Casos de uso: Comprar Boletos

Notas:

Excepciones:

Si no está realizándose una venta, indicar que se cometió un error.

Precondiciones:

Se está realizando una venta.

Postcondiciones:

· Estableció Venta.estaTerminada en verdadero (modificación de atributo).

Contrato

Nombre:

EfectuarPagoEfectivo(monto:número)

Responsabilidades:

Registrar el pago, calcular el saldo, imprimir la boleta.

Tipo:

Sistema.

Referencias

cruzadas:

Funciones del sistema: R1.9.

Casos de uso: Comprar productos.

Notas:

Excepciones:

Si la venta no está concluida, indicar que se cometió un error.

Precondiciones:

Postcondiciones:

· Se creó un Pago (creación de instancia).

· Se asignó a Pago.montoOfrecido el valor de monto (modificación de atributo).

· Se asoció el Pago a la Venta (relación formada).

· Se asoció la Venta a la Tienda para agregarla al registro histórico de las ventas terminadas
(relación formada).

Contrato

Nombre:

inicio( )

Responsabilidades:

Iniciar el sistema.

Tipo:

Sistema.

Referencias

cruzadas:

Funciones del sistema: R3.7.

Notas:

Excepciones:
Precondiciones:

Postcondiciones:

· Se creó una instancia de Tienda, PVB, ListadeBoletos, y EspecificacióndeBoleto (creación de

instancias).

· Se asoció ListadeBoletos a EspecificacióndeBoleto (asociación formada).

· Se asoció Tienda a ListadeBoletos (asociación formada).

· Se asoció Tienda a PVB (asociación formada).

· Se asoció PVB a ListadeBoletos (asociación formada).

Contrato

Nombre:

efectuarPagoTarjeta(num:número, fechaVen:fecha)

Responsabilidades:

Crear y solicitar autorización de un pago con tarjeta de crédito.

Tipo:

Sistema.

Salida:

Una solicitud de pago con tarjeta se envía al servicio de autorización de crédito.

Precondiciones:

Se terminó la venta actual.

Postcondiciones:

· Se creó un pagoTarjeta.

· Se asoció el pago con la Venta actual.

· Se creó una tarjetaCrédito tc con tc.numero = tc.Num, tc.fechaVen = fechaVen.

· Se asoció tc a pgo.

· Se creó una solicitudPagoTarjeta spt.

· Se asoció spt a servicioAutorizacionCredito.

http://inf162-grupo6oo-i2011.blogspot.com/p/boleteria.html