Ejercicios UMLJuan de Lara Grupo 46 G Curso 2008/09

1

Indice

Diagramas de clases y OCL. OCLDiagramas de Transicin de Estados Diagramas de Interaccin.

2

EjercicioRepresenta mediante un diagrama de clases la siguiente especificacin:Una aplicacin necesita almacenar informacin sobre empresas, sus empleados y sus clientes. Ambos se caracterizan por su nombre y edad. Los L empleados ti l d tienen un sueldo b t l empleados que ld bruto, los l d son directivos tienen una categora, as como un conjunto de empleados subordinados. p De los clientes adems se necesita conocer su telfono de contacto. La L aplicacin necesita mostrar l li i it t los d t datos d empleados y de l d clientes.3

EjercicioPersona- nombre - edad + mostrar()

Empleadosubordinados - sueldo_bruto + mostrar () t + calcular_salario_neto()

Cliente- telefono_de_contacto nombre_empresa +mostrar()

0..*

1..*empleados

0..* clientes 1..* 1

Directivo0..*- categoria + mostrar ()

Empresa- nombre b4

Ejercicio: BibliotecaUna biblioteca tiene copias de libros Estos ltimos se libros. caracterizan por su nombre, tipo (novela, teatro, poesa, ensayo), editorial, ao y autor. Los autores se caracterizan por su nombre, nacionalidad y fecha de nacimiento. Cada copia tiene un identificador y puede estar en la identificador, biblioteca, prestada, con retraso o en reparacin. Los lectores pueden tener un mximo de 3 libros en prstamo. prstamo Cada libro se presta un mximo de 30 das, por cada da de retraso, se impone una multa de dos das sin p posibilidad de coger un nuevo libro. Realiza un diagrama de clases y aade los mtodos necesarios para realizar el prestamo y devolucin de libros.

Libro Copia- id : Identifier ejemplar - estado: estadoCopia 1..* 0..3 prestamos Prestamo - inicio: Date - fin: Date 0..1 lector - titulo : string libro - tipo: tipoLibro 1 - editorial: string - anyo: i t int 1..* obras

1 autor

Autor- nombre: string b ti - nacionalidad: string - fechaNacimiento: Date tipoLibronovela teatro poesia i ensayo

Lector- nSocio : Identifier - nombre: string - telefono: string - direccion: string + devolver(id: Identifier, fechaAct: Date) 1 {precondition: prestamos.notEmpty()} + prestar(id: Identifier, fechaAct: Date) {precondition: multa==0} - multar(dias : int)

multa 0..1

Multa- fInicio: Date - fFin: Date

estadoCopiaprestado retraso biblioteca reparacion

EjercicioEspecificar un diagrama de clases que describa redes de ordenadores. Los elementos que se pueden incluir en la red son:Servidor, PC, Impresora. S id PC I Hub, Cable de red.

Los PCs pueden conectarse con un nico Hub los Hub, servidores con uno o varios. Los Servidores y PCs pueden generar mensajes, con una cierta longitud. Los Hubs tienen un nmero de puertos, algunos de los cuales puede usarse para conectar con otros Hubs Hubs. Tienen cierta probabilidad de perder mensajes. Las impresoras pueden averiarse, con cierta probabilidad, durante cierto tiempo. 7

Ejercicio. Ejercicio Posible Solucin. Solucin

Los PCs pueden conectarse con un nico Hub, los servidores con uno o varios 8 Podemos modelarlo como una restriccin OCL, o bien aadir asociaciones desde Servidor y PC

OCLLos PCs pueden conectarse con un nico Hub, los servidores con uno o varios Context PC Inv: cable equipo >size() = 1 cable_equipo->size() Context Servidor Inv: cable_equipo->size() >= 1 q p

Un Hub no puede conectarse consigo mismo a travs de un puertoContext Cable_Hubs Conte t C bl H b Inv: Puerto_Hub.hub->asSet()->size() = 2

9

EjercicioExamen Junio 2008.Realiza el diseo de una aplicacin para la gestin de pedidos. La aplicacin deber manejar clientes (se guarda su nombre, direccin, telfono y e-mail), que pueden realizar pedidos de productos, de los cuales se anota la cantidad en stock. Un p p , cliente puede tener una o varias cuentas para el pago de los pedidos. Cada cuenta est asociada a una tarjeta de crdito, y tiene una cierta cantidad disponible de dinero, que el cliente debe aumentar peridicamente para poder realizar nuevos pedidos. Un cliente puede empezar a realizar un pedido slo si tiene alguna cuenta con dinero disponible. Al realizar un pedido, un cliente puede agruparlos en pedidos simples o compuestos. Los pedidos simples estn asociados a una sola cuenta de pago y (por restricciones en la distribucin) contienen un mximo de 20 unidades del mismo o distinto tipo de producto. A su vez, un pedido compuesto contiene dos o ms pedidos, que pueden ser simples o compuestos. Como es de esperar, el sistema debe garantizar que todos los pedidos simples que componen un pedido compuesto se paguen con cuentas del mismo cliente Adems slo es posible cliente. Adems, realizar peticiones de productos en stock. Existe una clase (de la cual debe haber una nica instancia en la aplicacin) responsable del cobro, orden de distribucin y confirmacin de los pedidos. El p p cobro de los pedidos se hace una vez al da, y el proceso consiste en comprobar todos los pedidos pendientes de cobro, y cobrarlos de la cuenta de pago correspondiente. Si una cuenta no tiene suficiente dinero, el pedido se rechaza (si es parte de un pedido compuesto, se rechaza el pedido entero). Una vez que el p p p , p ) q pedido est listo para servirse, se ordena su distribucin, y una vez entregado, 10 pasa a estar confirmado. Se pide un diagrama de clases de diseo. Aade las restricciones OCL necesarias.

Solucin

11

Restricciones OCL:

Context Cliente::realizar pedido: Cliente::realizar_pedido: pre: self.cuentas->exists(c | c.disponible > 0) Context Pedido Compuesto: inv: self pedidos simples >c enta >cliente >asSet() >si e() = 1 in self.pedidos_simples->cuenta->cliente->asSet()->size() Context Pedido: inv: self.t_productos.num->sum() =num Context Cliente::rechazar_pedido (p:Pedido): pre: self.cuentas.disponible->sum()fp+30]

[getDate()>fp+30]

prestar(id,fecha)/ reservar(id) / en prestado usrRes = id biblioteca fp=fecha devolver() prestar(id, fecha) [usrRes==id]/ fp=fecha tm(2 d t (2 days) )

reservado devolver() en reserva

Solucion: Estados JerrquicosCon Retraso [getDate()>fp+30] reservar(id) / usrRes = id Con Retraso y reservado reser ado

en reparacion reparado() reparar()

[getDate()>fp+30]

prestar(id,fecha)/ en prestado biblioteca fp=fecha devolver() tm(2 d t (2 days) )

reservar(id) / usrRes = id prestar(id, fecha) [usrRes==id]/ fp=fecha

reservado devolver() en reserva

16

Mquinas de Estados qEstado Histrico. Ejercicio.

Modelar el comportamiento de una p cadena de msica. Esta puede estar encendida (ON) o apagada (Standby). La cadena tiene reproductor de CD Radio y CD, Cinta. Se cambia de uno a otro con el botn mode. Cuando se enciende la mode cadena se recuerda el ltimo estado en el que estuvo.17

Mquinas de Estados q

Estado Histrico. Ejercicio. Solucin

On Standby power power mode CD mode

HRadio mode Tape

Modelar l i M d l el mismo sistema sin usar estado hi t i i t i t d histrico.

18

Mquinas de Estados q

Estado Histrico. Ejercicio. Solucin (ii)

Standby lastCD power power power power lastTape power power mode

On CD mode

lastRadio

Radio

mode

Tape

19

EjercicioExamen Junio 2008.Realiza el diseo de una aplicacin para la gestin de pedidos. La aplicacin deber manejar clientes (se guarda su nombre, direccin, telfono y e-mail), que pueden realizar pedidos de productos, de los cuales se anota la cantidad en stock. Un p p , cliente puede tener una o varias cuentas para el pago de los pedidos. Cada cuenta est asociada a una tarjeta de crdito, y tiene una cierta cantidad disponible de dinero, que el cliente debe aumentar peridicamente para poder realizar nuevos pedidos. Un cliente puede empezar a realizar un pedido slo si tiene alguna cuenta con dinero disponible. Al realizar un pedido, un cliente puede agruparlos en pedidos simples o compuestos. Los pedidos simples estn asociados a una sola cuenta de pago y (por restricciones en la distribucin) contienen un mximo de 20 unidades del mismo o distinto tipo de producto. A su vez, un pedido compuesto contiene dos o ms pedidos, que pueden ser simples o compuestos. Como es de esperar, el sistema debe garantizar que todos los pedidos simples que componen un pedido compuesto se paguen con cuentas del mismo cliente Adems slo es posible cliente. Adems, realizar peticiones de productos en stock. Existe una clase (de la cual debe haber una nica instancia en la aplicacin) responsable del cobro, orden de distribucin y confirmacin de los pedidos. El p p cobro de los pedidos se hace una vez al da, y el proceso consiste en comprobar todos los pedidos pendientes de cobro, y cobrarlos de la cuenta de pago correspondiente. Si una cuenta no tiene suficiente dinero, el pedido se rechaza (si es parte de un pedido compuesto, se rechaza el pedido entero). Una vez que el p p p , p ) q pedido est listo para servirse, se ordena su distribucin, y una vez entregado, 20 pasa a estar confirmado. Se pide un diagrama de transicin de estados para la clase Pedido

Solucin

21

EjercicioModelar l M d l el comportamiento reactivo d un reloj d pulsera. t i t ti de l j de l El valor del tiempo se debe actualizar cada segundo, incluso cuando no se muestra (p.ej. crono encendido). El botn de la parte superior derecha enciende la luz que se mantiene luz, encendida tanto como el botn est apretado, una vez que se suelta, la luz est encendida durante 2 segundos ms y se apaga. El botn superior izquierdo alterna entre el modo de crono y de reloj. El sistema empieza en el modo reloj en el que se muestra la hora en formato reloj, HH:MM:SS. En el modo crono, el tiempo discurrido se muestra en formato MM:SS:CC ( (CC son centsimas de segundo). Inicialmente el crono empieza en g ) p 00:00:00. El botn inferior derecho se usa para activar el crono. ste se actualiza en incrementos de 1/100 segundos. Presionando el botn inferior derecho pausa o continua el crono (si el reloj est en modo crono). Pulsando el botn inferior izquierdo resetea el crono a 00:00:00 si el reloj q j est en modo crono y el crono ha sido pausado antes. El crono continua corriendo (si est corriendo) o mantiene su valor (si est en pausa) incluso cuando el reloj est en un modo de display distinto (por ejemplo, cuando se muestra la hora).22

EjercicioInterface provisto por el controlador:getTime() : Devuelve la hora actual. refreshTimeDisplay() : Repinta la hora en el visor con la hora interna actual. El visor no necesita limpiarse antes de llamar a esta funcin. Por ejemplo, si se est visualizando el crono, se borrar antes de pintar la hora. refreshChronoDisplay() : ver refreshTimeDisplay(). resetChrono() : Resetea el crono interno a 00:00:00. increaseTime() : Incrementa la hora en un segundo. Los minutos y horas se modificarn adecuademente, (por ejemplo, si se llama a increaseTime () a las 11:59:59, la nueva hora ser 12:00:00). increaseChrono () : Incrementa el crono en 1/100 segundos. setLight() : Enciende la luz del visor. unsetLight() : Apaga la luz del visor visor.

Eventos de botones recibidos:topRightPressed. topRightReleased. p g topLeftPressed. topLeftReleased. bottomRightPressed. bottomRightReleased. bottomRightReleased bottomLeftPressed. bottomRightReleased.

23

Posible Solucin. Solucin

24

IndiceDiagramas de clases Diagramas de Transicin de Estados

Diagramas de Interaccin. g

25

EjercicioEspecificar el diagrama de secuencia de la operacin f crearLaberintopublic class JuegoLaberinto { public Laberinto crearLaberinto () { Laberinto lab = new Laberinto(); Habitacion h1 = new Habitacion(); Habitacion h2 = new Habitacion(); Puerta puerta = new Puerta(h1, h2); lab.aadeHabitacion(h1); lab.aadeHabitacion(h2); h1.aadePuerta(puerta); return lab; } }

Solucin:JuegoLaberintocrearLaberinto()

lab:Laberinto l bL b i t h1:Habitacion h2:Habitacioncreate(h1,h2)

puerta:PuertaaadeHabitacion(h1) aadeHabitacion(h2) aadePuerta(puerta)

EjercicioEspecificar el diagrama de secuencia de la operacin crearLaberintopublic class JuegoLaberinto { private Laberinto lab; private boolean conVentana; public JuegoLaberinto() { lab = new Laberinto(); conVentana = true; } public void crearLaberinto () { Habitacion h; for (int i=0; i0]: multar(retraso) 1: devolver(id, fecha) ( , )

:Lector1.3.1a [multa=0]: multa:= create(fecha,retraso)

prestamos

1.1: dev:=remove(id)

:Copia

multa:Multa lt M lt {new} multa:Multa

1.2: retraso:=getRetraso(fecha)

dev:Copia

1.3.1b [multa0]: anyade(fecha,retraso)