1. Autor: Br. Marina Mallol. Junio 2014 Instituto Universitario
Politcnico Santiago Mario Extensin Porlamar Optimizacion de
sistemas Ingeniera de sistemas
3. Cliente +codigo_cliente:String +nombre:String
+apellido:String +telfono:String +direccion:String +inclusion()
+modificacin() +eliminacin() +consultar() +impresin() Producto
+codigo:String +nombre:sring +precio:Double +ingresar()
+modificar() +eliminar() +consultar() +impresin() Cliente Personal
+NdeTarjeta.Credito +Cedula:String +ConsultarTarjeta() Cliente
Empresarial +RIF +lmiteDeCrdito +PersonaDeContacto
+telfonoDeContacto +montoAcreditado +SoportaCredito
+imprimirMontoCredito Recibido Se obtiene que las clases que
conforman el proceso se pueden resumir en cliente (persona o
empresa que hace la compra) el cliente principalmente adquiere el
producto para luego incluirlo en la factura
7. El estadoParado asignael valor cero al atributo
temporizador, luegolo incrementa continuamente hastaque ocurra el
eventoBajar o el eventoSubir
8. Esta transicin de estado [temporizador = tiempo-lmite] /
Bajar (primerpiso) se puede convertir en una clasula-envo tal como:
[temporizador = tiempo-lmite] ^ Self.Bajar (primerpiso)