uml: lenguaje unificado de lenguaje unificado de modelado

UMLUML:Lenguaje Unificado deLenguaje Unificado de Modelado http://uml.org

Tema 4

TACC II1

TACC IICurso 2008/09

IntroducciónIntroducción

Similitud:Similitud: Arquitectos, edificios, planosIng. Inf., programas, diagramas

UML Unified Modeling Language. Versión 2.0 (finales 2004)Diagramas (ing inf )Diagramas (ing. inf.)

Usados como esquemas y menos con información rigurosa (“planos de arquitectos”)Dos modos:

• Ingeniería inversa: a partir de código hacer diagramas• Ingeniería directa: hacer diagramas y luego implementar

DominioMundo en el que hay definido un problema

Modelo:Abstracción de un problema

2

Abstracción de un problemaFormado por objetos

IndiceIndice

Diagramas de Casos de Uso.Diagramas de EstructuraDiagramas de Estructura.Diagramas de Comportamiento.OCL.H i tHerramientas.Ejemplos.j pBibliografía.

3

Casos de UsoCasos de Uso

D ib é h l i t d d l tDescriben qué hace el sistema desde el punto de vista de un observador externo.

Ponen énfasis en qué hace el sistema, no en cómo lo hace.cómo lo hace.

Un escenario es una instancia particular de unUn escenario es una instancia particular de un diagrama de casos de uso.

Ejemplo de lo que ocurre cuando alguien interactúa con el sistema

4


A t Al t i t ( tActor = Algo con comportamiento (persona, otro programa, organización...), que interactua con el sistema.sistema.

Escenario (instancia de caso de uso) =Escenario (instancia de caso de uso) Secuencia de acciones e interacciones entre los actores y el sistema.

Caso de Uso = Colección de escenarios (éxito y fracaso) que describen actores que usan elfracaso) que describen actores que usan el sistema para conseguir un objetivo.

5

Casos de Uso

P

Casos de Uso

Pasos:

Identificar los límites del sistema.

Identificar los actores principales.

Para cada uno, identificar sus objetivos.

Definir casos de uso que satisfagan susobjetivos.

6

EjemploEjemploAplicación para una Galería de Arte

Te encargan realizar una aplicación para la compra-venta de cuadros. En cuanto a la compra de cuadros, una vezque el agente introduce unos datos básicos sobre el cuadro el sistema debe proporcionar el precio recomendadoque el agente introduce unos datos básicos sobre el cuadro, el sistema debe proporcionar el precio recomendadoque el agente de la galería debería pagar. Si el vendedor del cuadro acepta la oferta, entonces el agente de lagalería introduce más detalles (sobre el vendedor del cuadro y la venta).

Los datos básicos incluyen el nombre y apellidos del artista, el título y fecha de la obra, sus dimensiones, la técnicay y p , y , ,(óleo, acuarela u otras técnicas), el tema (retrato, naturaleza muerta, paisaje, otro) y la clasificación (obra maestra,obra representativa, otro tipo). Si es obra maestra, el precio recomendado se calcula comparando el cuadrointroducido con los que hay en el registro de cuadros, tomando el más parecido y aplicando un algoritmo que tieneen cuenta la coincidencia de tema, la técnica y las dimensiones del cuadro. El sistema debe utilizar información desubasta de todo el mundo que ahora la galería recibe en un CD de manera mensual. Para una obra representativa,el precio recomendado se calcula como si fuera una obra maestra y luego se aplica una corrección. Para una obrade otro tipo, se calcula utilizando el área del cuadro y un coeficiente de moda para el artista. Si no hay coeficiente demoda para un artista, el agente tiene por norma no comprar el cuadro. El coeficiente de moda varia de mes a mes.

Si el cuadro finalmente se compra, se introducen datos adicionales.

En cuanto a la venta de cuadros por parte de la galería, el sistema simplemente registra la fecha de venta, el nombrey dirección del comprador y el precio de venta real.y p y p

El sistema también deberá detectar nuevas tendencias en el mercado de arte tan pronto como sea posible. La ideaes detectar secuencias de compras por valores mayores que los esperados por la obra de un artista determinado, detal manera que tu cliente pueda comprar cuadros de ese artista antes de que otros detecten la tendencia. Con el

7

objetivo de detectar cuándo el precio de venta es mayor que el precio esperado cuando tu cliente compró el cuadro,se debe mantener un registro de todas las compras y todas las ventas.

Se quieren generar tres informes: compras y ventas realizadas durante un año, y artistas de moda.…

Comprar unaEjemplo pObra maestra

Comprar unaO

Ejemplo

VendedorObra representativa

Comprar unaObra de Otro Tipo

Vender uncuadro

Obra de Otro Tipo

Agente

Producir Informecompras

Comprador

AgenteGalería Producir Informe

ventas

Producir Informetendencias

8Actualizar

Coeficiente de moda

EjemploActores primarios:

Caso de uso: comprar una obra maestra

EjemploActores primarios:

Agente Galería, vendedorInteresados y Objetivos:

• Agente: quiere obtener una recomendación lo más acertada posible del precio á i d d d á idmáximo recomendado de manera rápida.

• Vendedor: quiere vender el cuadro a un precio razonable de manera rápida.Precondiciones:

El agente ha entrado en la aplicación.El agente ha entrado en la aplicación.Garantía de éxito (post-condiciones):

Se registra la venta.Escenario Principal de Éxito:

1 El t i t d l d i ió d l d1. El agente introduce la descripción del cuadro.2. El sistema busca el cuadro más parecido del mismo autor.3. El sistema presenta el precio recomendado.4. El agente hace una propuesta por debajo del precio recomendado, y el vendedor age e ace u a p opues a po debajo de p ec o eco e dado, y e e dedoacepta la oferta.5. El agente introduce información de la venta.

Extensiones:2 N h i ú d id d l i t í l i t t

9

2a. No hay ningún cuadro parecido del mismo autor, así que el sistema no presenta una recomendación.4a. El vendedor no acepta la oferta y la venta no se produce.

Ejemplo

TPV

EjemploTerminal Punto de Venta

TPVProcesar

VentaServicio

cajeroProcesar

Devoluciones

Serviciode Autorización

de Pagos

«actor»

Calculador de

AnalizarActividad

«actor»Analizador deA ti id d d pImpuestos

«actor»

Actividad deVentas

...

Sistema decontabilidad

GestionarSeguridad

10Administradordel sistema

GestionarUsuarios

Diagramas de Caso de UsoDiagramas de Caso de UsoRelaciones

R l i t d dRelaciones entre dos casos de usoGeneralización

“E ti l d ”“Es un caso particular de …”Herencia de clases en POO (overriding)También se puede tener esta relación entre dos actoresTambién se puede tener esta relación entre dos actores

Inclusión (include)“Implica hacer también …”

Extensión (extend)“Se insertará en …” un determinado punto (llamado “punto de extensión”) dependiendo de una condiciónextensión”) dependiendo de una condición. Si un caso de uso depende de varios casos de uso mediante “extend” tendrá un punto de extensión para cada uno.

11

EjemploEjemploGestión de Pacientes

Cancel Appointment

Make AppointmentScheduler

<<include>>

Patient Request Medication

Check Patient Record<<include>>

DoctorDefer Payment<<extend>>

Clerk

Pay Bill

Extensions PointsMore Treatment

12Bill InsuranceMore Treatment

EjemploEjemploGestión de Proyectos

13


Son útiles en tres áreas:

Especificación de requisitos

Comunicación con los clientesSu simplicidad los convierte en excelentes medios de comunicación

Generación de casos de pruebaGeneración de casos de pruebaA partir de los escenarios de un Caso de Uso

14

IndiceIndiceDiagramas de Casos de Uso.Diagramas de Casos de Uso.Diagramas de Estructura.

Clases y Objetos.Clases y Objetos.Componentes.Estructuras Compuestas.Estructuras Compuestas.Despliegue.Paquetes.q

Diagramas de Comportamiento.OCL.Herramientas.Ejemplos.

15Bibliografía.

Clases y ObjetosClases y Objetos

Los diagramas de Clases y de Objetos son losLos diagramas de Clases y de Objetos son los principales modos de representar los aspectos estructurales en UML.

Diagramas de clases. Estructura del sistema.ClasesClases.

Atributos: Tipos, valores iniciales.Operaciones: visibilidad.

Relaciones con otras clases: AsociacionesRelaciones con otras clases: Asociaciones

Diagramas de objetos. Estructura del sistema en ti d j iótiempo de ejecución.

Objetos. Instancias de una Clase. Atributos (valores actuales).

16Links. Relaciones entre objetos, instancias de asociaciones.

Clases y ObjetosClases y Objetos

Elemento

Diagrama de

HidrógenoCarbono

ag a a declases

:Hidrógeno:Hidrógeno

Di d:Hidrógeno :Hidrógeno:Carbono :Carbono

Diagrama deobjetos

17:Hidrógeno :Hidrógeno

Clases y ObjetosNombre

Clases y ObjetosEn cursiva si es

abstractaCirculo

-radio: doublet d bl

Nombre de la clase

At ib t

abstracta

-centrox: double-centroy: double

Atributosvisibilidad

+Area(): double+Perímetro(): double Operaciones

Nombre d l bj

Clase unCirculo: Circulo

radio = 3.4centrox = 2 0

del objeto del objeto

Valores de18

centrox 2.0centroy = 2.0 los atributos

Clases

Notación para atributos:Atributos

p

[visibilidad] [/] nombre [: tipo] [multiplicidad] [= valor] [{ propiedad }]

Visibilidad (opcional): Pública: +Privada: -Protegida: #Paquete: ~

“/” indica que el atributo es derivado.La multiplicidad va entre [ ] y por defecto vale 1.Propiedades válidas: {readOnly} {union} {subsets <propertyPropiedades válidas: {readOnly}, {union}, {subsets <property-name>}, {redefines <property-name>}, {ordered}, {bag}, {seq}, {sequence}, y {composite}.

19

Un atributo subrayado es estático.

ClasesEjemplo atributos

ClaseAname: Stringshape: Rectangle+ size: Integer [0..1]/ area: Integer {readOnly}h i ht I t 5height: Integer = 5width: Integer# pos: Point

ClaseBid: {redefines name}

20

id: {redefines name}shape: Square

Clases

N t ió ét d

Métodos

Notación para métodos:

[visibilidad] nombre ( [lista-parametros] ) : [{propiedad}][ ] ( [ p ] ) [{p p }]

Visibilidad (opcional).nombre del métodonombre del métodolista de parámetros formales, separados por coma:

direccion nombre : tipo [multiplicidad] = valor [{propiedad}]Los métodos estáticos se subrayan.

Ejemplos:Ejemplos:display ()-hide ()+createWindow (location: Coordinates container: Container [0 1]): Window

21

+createWindow (location: Coordinates, container: Container [0..1]): Window+toString (): String

Asociaciones

Un Círculo contiene un Punto

Composición

Un Círculo contiene un PuntoSe representa con una Composición

Círculo Punto

Relación del tipo todo/parteRelación del tipo todo/parteEl todo es el CírculoLa parte es el Punto

Es una relación fuerteSi el Círculo es destruido o copiado, también lo es el PuntoLa cardinalidad en la parte del todo es 0..1 o 1.

22

La cardinalidad en la parte del todo es 0..1 o 1.

Asociaciones

Las asociaciones pueden tener etiquetas:Navegación, Roles, Cardinalidad

Las asociaciones pueden tener etiquetas:NombreRoles en la relaciónMultiplicidad (cardinalidad) navegación

Ej l d di lid d

Círculo Puntocentro

1N ióEjemplos de cardinalidad:

1..* mínimo 1, no hay máximo0..* mínimo 0, no hay máximo

Navegación:UnidireccionalBidireccional0.. mínimo 0, no hay máximo

0..1 mínimo 0, máximo 11,2,4 uno, dos o cuatro3 exactamente tres

BidireccionalNo especificado.No navegable (x)

23

3 exactamente tres No navegable (x)

AsociacionesEjemplos de Navegación y Cardinalidad

24

EjercicioEjercicioRepresenta mediante un diagrama de clases la siguienteRepresenta mediante un diagrama de clases la siguienteespecificación:

Una aplicación necesita almacenar información sobreempresas, sus empleados y sus clientes.Ambos se caracterizan por su nombre y edad.L l d ti ld b t l l dLos empleados tienen un sueldo bruto, los empleados queson directivos tienen una categoría, así como un conjunto deempleados subordinados.pDe los clientes además se necesita conocer su teléfono decontacto.L li ió it t l d t d l dLa aplicación necesita mostrar los datos de empleados yclientes.

25

EjercicioEjercicioPersonaPersona

+ mostrar()

- nombre- edad

+ mostrar()

- nombre- edad

t ()

- sueldo_bruto - nombre_empresa- telefono_de_contacto

Empleado Clientesubordinados

t ()

- sueldo_bruto - telefono_de_contacto


0..*

+mostrar()

+ mostrar ()+ calcular_salario_neto()

empleados clientes+mostrar()

+ mostrar ()+ calcular_salario_neto()

1..*0..*

- categoria

DirectivoEmpresa

b

empleados

- categoria

DirectivoEmpresa

b1

1..*

0..*

26+ mostrar ()- nombre

+ mostrar ()- nombre

Asociaciones: AgregaciónAsociaciones: Agregación

Cuando la relación todo/parte no es tan fuerte, se utiliza Agregación, g g

Ventana FigurasusFiguras

0 *0..

La ventana contiene figuras, pero cada una puede existir sin la otra

27

Asociaciones y DependenciaAsociaciones y Dependencia.

Existen relaciones de conocimiento entre clases que no implican una relación todo/parte

Cliente Cuentatitular1 *

cuentas0 *1.. 0..

Dependencia: relación muy débil.

VentanasusFiguras

0..*Figura

Draw(ContextoDibujo)

suContexto

28

ContextoDibujo

Dependencia

Clases AsociativasClases Asociativas

Asociación con atributos propios.

Nombre asociación

Empleado Persona1

casado con >1

Matrimoniofecha

2testigos

fecha0..*

29Clase Asociativa

Clases y Objetosy jEstilo

Los atributos no deben ser objetos (utilizar relaciones en tal caso).

En los diagramas de clases no suelen aparecerEn los diagramas de clases no suelen aparecer (son detalles de implementación y no de diseño):diseño):

ConstructoresMétodos de acceso (“get/set”)Métodos de acceso ( get/set )Métodos de gestión de elementos de una asociación o agregación (por ejemplo, “add/remove”)

30

EjemploEjemplo

Cliente

nombre

Orden

fecha1 0..*dirección estado

calcImpuestocalcTotalcalcPesoTotalPago

1..* 1 calcPesoTotalPago

monto 1

EfectivoCrédito Cheque DetalleOrden Item

1..*

0 * 1

línea

monedafechanúmerotipo

autorizado

nombreidentifBanco

autorizado

cantidadtipoImpuesto

calcSubtotalcalcPeso

pesodescripción

precioPorCantidadobtenerPeso

0.. 1

31

autorizado

EjercicioEjercicioEspecificar un diagrama de clases que describa redesde ordenadores.Los elementos que se pueden incluir en la red son:

S id PC IServidor, PC, Impresora.Hub, Cable de red.

Los PCs pueden conectarse con un único Hub losLos PCs pueden conectarse con un único Hub, losservidores con uno o varios.Los Servidores y PCs pueden generar mensajes, conuna cierta longitud.Los Hubs tienen un número de puertos, algunos de loscuales puede usarse para conectar con otros Hubscuales puede usarse para conectar con otros Hubs.Tienen cierta probabilidad de “perder” mensajes.Las impresoras pueden averiarse, con cierta

32

Las impresoras pueden averiarse, con ciertaprobabilidad, durante cierto tiempo.

Ejercicio Posible SoluciónEjercicio. Posible Solución.

33“Los PCs pueden conectarse con un único Hub, los servidores con uno o varios”Podemos modelarlo como una restricción OCL, o bien añadir asociaciones desde Servidor y PC

Más sobre asociacionesMás sobre asociacionesAsociaciones n-arias

Asociaciones entre más de dos clases:

Añod

E i J d

temporada

Equipo Jugadorpichichiequipo

34

Más sobre asociaciones

A i i d i d ( “/” d l t d l b )

Más sobre asociacionesAdornos en asociaciones y fin de asociación.

Asociaciones derivadas (con un “/” delante del nombre).Propiedades, cerca del nombre de la asociación.Los finales de la asociación pueden adornarse con:Los finales de la asociación pueden adornarse con:

Multiplicidad.Nombre (rol).( )Propiedades:

{subsets <nombre-prop>}.{redefine <nombre-fin-asoc>}{redefine <nombre-fin-asoc>}.{union}.{ordered} (un conjunto ordenado).{bag} (conjunto con repetición){bag} (conjunto con repetición).{sequence} o {seq} (bag ordenado).

35

Más sobre asociacionesMás sobre asociacionesAdornos en asociaciones y fin de asociación: Ejemplos

A Ba b

A B0..1 *{ordered}

C D1 0..1

d

{subsets b}{subsets b}

Para un objeto de tipo C, la colección d es un subconjunto de la colección b.

36

Más sobre asociaciones

Un cualificador declara una partición del conjunto de instancias asociadas con

Más sobre asociacionesAsociaciones Cualificadas

Un cualificador declara una partición del conjunto de instancias asociadas con respecto a la instancia cualificada.

Banco TableroBancoNumCuenta

*

Ajedrezfila: Filacol: Colum

1

Persona

*0..1

Casilla

11

Dado un objeto cualificado, el número de objetos al otro lado de la asociación i d d l lti li id d d l d

Persona Casilla

viene dado por la multiplicidad declarada.0..1 : el valor del cualificador es único.0..* : el conjunto de instancas asociadas se particiona en subconjuntos.

Similar a un array asociativo map o tabla hash

37

Similar a un array asociativo, map o tabla hash.

Pre y Post Condiciones NotasPre- y Post- Condiciones, Notas

pre-condición

body-condition

post-condición

38

InterfacesInterfaces<<interface>>

ClaseClase MiInterfaz

métodos MiInterfaz

ClaseMiInterfaz

39

PlantillasPlantillas

FArray<T -> Point>Una clase anónima ligada:

T -> Point

40K -> 10

EjercicioExamen Junio 2008.

Realiza el diseño de una aplicación para la gestión de pedidos. La aplicación deberámanejar clientes (se guarda su nombre, dirección, teléfono y e-mail), que puedenrealizar pedidos de productos, de los cuales se anota la cantidad en stock. Unp p ,cliente puede tener una o varias cuentas para el pago de los pedidos. Cadacuenta está asociada a una tarjeta de crédito, y tiene una cierta cantidaddisponible de dinero, que el cliente debe aumentar periódicamente para poderrealizar nuevos pedidos.realizar nuevos pedidos.

Un cliente puede empezar a realizar un pedido sólo si tiene alguna cuenta con dinerodisponible. Al realizar un pedido, un cliente puede agruparlos en pedidos simpleso compuestos. Los pedidos simples están asociados a una sola cuenta de pago y(por restricciones en la distribución) contienen un máximo de 20 unidades del(por restricciones en la distribución) contienen un máximo de 20 unidades delmismo o distinto tipo de producto. A su vez, un pedido compuesto contiene dos omás pedidos, que pueden ser simples o compuestos. Como es de esperar, elsistema debe garantizar que todos los pedidos simples que componen un pedidocompuesto se paguen con cuentas del mismo cliente Además sólo es posiblecompuesto se paguen con cuentas del mismo cliente. Además, sólo es posiblerealizar peticiones de productos en stock.

Existe una clase (de la cual debe haber una única instancia en la aplicación)responsable del cobro, orden de distribución y confirmación de los pedidos. Elp y pcobro de los pedidos se hace una vez al día, y el proceso consiste en comprobartodos los pedidos pendientes de cobro, y cobrarlos de la cuenta de pagocorrespondiente. Si una cuenta no tiene suficiente dinero, el pedido se rechaza (sies parte de un pedido compuesto, se rechaza el pedido entero). Una vez que el

41

p p p , p ) qpedido está listo para servirse, se ordena su distribución, y una vez entregado,pasa a estar confirmado.

Se pide un diagrama de clases de diseño.

Solución

42

Solucion (ii)Solucion (ii)Nota: pedidos_simples es una asociación derivada. El atributo total de Pedido es derivadoPedido es derivado.Habría que incluir las siguientes restricciones OCL:

C t t li didContext realizar_pedido:pre: self.cuentas->exists(c | c.disponible > 0)

Context Pedido Compuesto:Context Pedido Compuesto:inv: self.pedidos_simples->cuenta->cliente->asSet()->size() = 1

Context Pedido:Context Pedido:inv: self.t_productos.num->sum() <= 20

Context añadir pedido(p: Producto num: int):Context añadir_pedido(p: Producto, num: int):pre: p.stock>=num

Se usa el composite y el singleton (para la clase “Controlador43

Se usa el composite y el singleton (para la clase Controlador Pedidos”, aunque esto no queda reflejado en el diseño a este nivel de abstracción).

Ejercicio: BibliotecaEjercicio: Biblioteca

Una biblioteca tiene copias de libros Estos últimos seUna biblioteca tiene copias de libros. Estos últimos se caracterizan por su nombre, tipo (novela, teatro, poesía, ensayo), editorial, año y autor. Los autores se caracterizan por su nombre, nacionalidad y fecha de nacimiento.Cada copia tiene un identificador y puede estar en laCada copia tiene un identificador, y puede estar en la biblioteca, prestada, con retraso o en reparación.Los lectores pueden tener un máximo de 3 libros en préstamopréstamo. Cada libro se presta un máximo de 30 días, por cada día de retraso, se impone una “multa” de dos días sin pposibilidad de coger un nuevo libro.Realiza un diagrama de clases y añade los métodos necesarios para realizar el prestamo y devolución denecesarios para realizar el prestamo y devolución de libros.

LibroCopia

- id : Identifier- estado: estadoCopia

Libro- titulo : string- tipo: tipoLibro- editorial: string

i t

libro11..*

ejemplar

Prestamo

0..3 prestamos - anyo: intobras1..*

- inicio: Date- fin: Date

0..1 lector Autorb t i

autor1fechas

Lector- nSocio : Identifier- nombre: string

- nombre: string- nacionalidad: string- fechaNacimiento: Date

- telefono: string- direccion: string

<<enumeration>>tipoLibro

novelateatro

i

+ devolver(id: Identifier, fechaAct: Date){precondition: prestamos.notEmpty()}

1

<<enumeration>>estadoCopia

poesiaensayo

Multa

{precondition: prestamos.notEmpty()}+ prestar(id: Identifier, fechaAct: Date){precondition: multa==0}- multar(dias : int)

0..1multa

prestadoretrasobibliotecareparacion

- fInicio: Date- fFin: Date

Objetos+ mostrar()

- nombre- edad

Persona

+ mostrar()

- nombre- edad

Persona

Objetos+ mostrar ()+ l l l i t ()



+ mostrar ()+ l l l i t ()



+mostrar()

()

+ calcular_salario_neto()

- categoria

DirectivoEmpresa

- nombre

empleados clientes+mostrar()

()

+ calcular_salario_neto()

- categoria

DirectivoEmpresa

- nombre

empleados clientes

+ mostrar ()+ mostrar ()

e1 : Empleado- nombre=“Pedro”- edad=23

e2 : Empleado- nombre=“María”- edad=25 edad 23

- sueldo_bruto=30000edad 25

- sueldo_bruto=36000subordinados empleados empleados

d1 : Directivo- nombre=“Luis”

d d 35

Empresa- nombre=“HGJ”

empleados

- edad=35- sueldo_bruto=36000- categoria=“C1”

c1 : Clienteclientes

46

- nombre=“Luis”- edad=35- nombre_empresa=“Macroware”- telefono_de_contacto=91555666

ComponentesComponentes

C t “U id d M d l i t fComponente = “Unidad Modular con interfacesbien definidos que es reemplazable en suentorno”entorno .

É f i tili ió l i tÉnfasis en reutilización y encapsulamiento.

Servicios que provee y requiere (interfaces).

Componentes lógicos (componentes de negocio,de proceso) y físicos (EJB, CORBA, COM+, .NET,

47…)


Interfacesque ofrece

Interfacesque requiere

48


Vi t d j blVista de caja blanca

49

Estructuras Compuestas

C i ió d l t ( l ifi d


Composición de elementos (clasificadores ocolaboraciones)

Instancias en tiempo de ejecución que colaborana través de enlaces para alcanzar objetivosa través de enlaces para alcanzar objetivoscomunes.

Colaboraciones: a través de roles.

Se añade a las clases estructura internas ypuertos.

50

Estructuras CompuestasEstructura interna de una clase

Estructuras CompuestasEstructura interna de una clase.

Estructura interna de una clase. Multiplicidades.

51

Estructuras CompuestasEstructuras CompuestasAlternativa a relaciones de composición

A li tiApplication

ButtonWindow 2

Application

Button2

Window

52

Estructuras CompuestasEstructuras Compuestas

Estructura interna de una clase. Constructor.

53


E t t i t d l b ió

pColaboración.

Estructura interna de una colaboración.

54


O i d l b ió t Bi di

pColaboración.

Ocurrencia de una colaboración en otra. Binding.

55

Estructuras CompuestaspColaboración.

Template de colaboración.

56

DespliegueDespliegue

D fi l it t d j ió d i tDefinen la arquitectura de ejecución de un sistema.

Representa la asignación de artefactos software a nodosRepresenta la asignación de artefactos software a nodos.

Nodos = elementos hardware, o entornosde ejecución software.

Artefactos = elementos concretos (p.e.:ficheros) que son el resultado del procesode desarrollo.

57

Desplieguep gRelaciones entre artefactos.

“Manifestación” de elementos a través de

artefactos

58

Desplieguep gEjemplo.

59

PaquetesPaquetes

Un paquete es un contenedor que agrupa elementos relacionados.

Los diagramas de paquetes muestran la estructura de alto nivel de la aplicaciónnivel de la aplicación.

60

PaquetesqEjemplo.

61

IndiceIndice

Diagramas de Casos de UsoDiagramas de Casos de Uso.Diagramas de Estructura.Diagramas de ComportamientoDiagramas de Comportamiento.

Diagramas de Interacción.Diagramas de Comunicación.Diagramas de Secuencia.Diagramas de visión de conjunto de la interacción.Diagramas de tiempo.Diagramas de tiempo.

Diagramas de Estados.Diagramas de Actividad.

OCLOCLHerramientas.Ejemplos

62

Ejemplos.Bibliografía.

Diagramas de InteracciónDiagramas de Interacción

El t i t t t é dEl comportamiento se representa a través decolaboraciones:

Colección de objetos:

Instancias

RolesRoles

Especifica cómo los objetos y las asociaciones cooperan

En un contexto dado

63Con un propósito específico

Diagramas de Interacción

El t ó d j d t d


El patrón de mensajes dentro de unacolaboración es una interacción:

Mensajes: señales, invocaciones, interacciones implícitasa través de condiciones y eventos temporales.

Especifica secuencia de mensajes para cumplir elobjetivo de la colaboraciónobjetivo de la colaboración

Para especificar la interacción, es necesario especificarprimero la colaboraciónprimero la colaboración

Semántica basada en trazas.64

Diagramas de InteracciónDiagrama de Comunicación

Diagramas de InteracciónDiagrama de Comunicación

Muestra un contexto y una interacciónMuestra un contexto y una interacción.

Di d S iDiagrama de Secuencia

Representación explícita de la secuencia decomunicaciones, eje temporal.

Es más apropiado para aplicaciones de Tiempo Realy escenarios complicados

65

y escenarios complicados


E t t d l ti i t


Estructura de los participantesDiagramas de Comunicación

Patrones de comunicaciónDiagramas de ComunicaciónDiagramas de Secuencia

Temporización de la comunicación.pDiagramas de SecuenciaDiagramas de Tiempo.

Estructuración de las interaccionesDiagrama de visión de conjunto de la

66

g jinteracción.

Diagramas de Comunicación

R t l bj t ( l i t i )


Representa los objetos (roles o instancias)necesarios para una interacción y susrelaciones.relaciones.

Puede también representar la secuencia dePuede también representar la secuencia demensajes

Especifica el orden relativo mediante números

Similar a un diagrama de objetos, muestra elcontexto necesario para una colaboración.

67

Diagramas de Comunicaciónparticipantes


Wi d / Ob Slidi B I

p p

:Window / Observer : SlidingBarIcon

l

relaciones

roles

/Subject :CallQueue

68

Diagramas de ComunicaciónDiagramas de Comunicación

Wi d / Ob Slidi B I:Window / Observer : SlidingBarIcon

restricción

{Observer.reading=length(Subject.queue)/Subject :CallQueue

{ g g ( j q )andObserver.range = (0..Subject.capacity)}

69

Diagramas de ComunicaciónDiagramas de Comunicación

realizarPago(cantidad)

Llamadas anidadas:

:Registro :VentarealizarPago(cantidad) 1: realizarPago(cantidad)

1.1: crear(cantidad)

:Pago

Iteraciones:

:Simulador :RandomEjectuar() 1*[i:=1..N]: num:= nextInt()

70


R t j t d i t i l

gMultiobjetos.

Representan conjuntos de instancias en elextremo “muchos” de una relación 1:N o M:N

Una operación sobre cada instancia requiered jdos mensajes:

Iteración para obtener referencias a las instanciasindividuales

Mensaje a cada instancia, usando la referenciatemporal

71

Diagramas de ComunicacióngMultiobjetos.

:Client :Server:Serverservers

1:aServer:=find(specs)

:ServeraServer <<local>>

2:process2:process

72

Diagramas de ComunicacióngCondiciones.

e:ClaseE

2 6()

a:ClaseA b:ClaseBmsg1() 1a [test]: msg2()

2: msg6()

a:ClaseA b:ClaseB

1b [not test]: msg4() 1a.1: msg3()

d:ClaseD c:ClaseC

b [ ot test] sg ()

1b 1 5()

a sg3()

1b.1: msg5()

73


Una biblioteca tiene copias de libros Estos últimos seUna biblioteca tiene copias de libros. Estos últimos se caracterizan por su nombre, tipo (novela, teatro, poesía, ensayo), editorial, año y autor. Los autores se caracterizan por su nombre, nacionalidad y fecha de nacimiento.Cada copia tiene un identificador y puede estar en laCada copia tiene un identificador, y puede estar en la biblioteca, prestada, reservada, con retraso o en reparación.Los lectores pueden tener un máximo de 3 libros enLos lectores pueden tener un máximo de 3 libros en préstamo. Cada libro se presta un máximo de 30 días, por cada día p pde retraso, se impone una “multa” de dos días sin posibilidad de coger un libro.Realiza el diagrama de colaboración para el métodoRealiza el diagrama de colaboración para el método devolver()

SoluciónSolución

1: devolver(id, fecha)

1.3 [retraso>0]: multar(retraso)

:Lector

( , )

:Copiaprestamos

1.1: dev:=remove(id)1.3.1a [multa=0]: multa:=

lt M lt

create(fecha,retraso)

dev:Copia1.2: retraso:=getRetraso(fecha)multa:Multa

{new}

multa:Multa1.3.1b [multa<>0]: anyade(fecha,retraso)

SoluciónSolución

1: devolver(id, fecha)

1.3 [retraso>0]: multar(retraso)

:Lector

( , )

:Copiaprestamos

1.1: fec:=remove(id)1.3.1a [multa=0]: multa:=

lt M lt

create(fecha,retraso)

1.2: retraso:=getRetraso(fecha)multa:Multa

{new} fec:Fechafechas

multa:Multa1.3.1b [multa<>0]: anyade(fecha,retraso)

76

Diagramas de ComunicacióngEtiquetas de las flechas.

d d i l l t

Predecesor

predecesor orden-secuencial valor-retorno := nombre-mensaje lista-argumentos

PredecesorLista separada por “,” terminada en “/”El j tá h bilit d h t lEl mensaje no está habilitado hasta que no ocurran los mensajes en la lista

Orden en la secuenciaOrden en la secuenciaLista separada por “.”, terminada en “:”C d té i t i l d id i t d lCada término representa nivel de anidamiento proceduralIteración: *[cláusula interación]Bifurcación: [condición]

77

Bifurcación: [condición]

Diagramas de ComunicacióngEtiquetas de las flechas.

Ejemplos:2: display(x y)2: display(x,y)1.3.1: p:=find(specs)4 [x<0]: invert(x, color)A3,B4/ C3.1:update()1.1 *[i:=1..n]: lecturer()

78


redisplay()

gEjemplo.

:Controller :Windowredisplay()

1:displayPositions(window) 1.1.3.1:add(self)

Li { }

1.1*[i:=1..n]: drawSegment(i)

wire:Wirewire

<< local >> linecontents {new}

:Line {new}wire:Wire

i-1 i

1 1 1 0 i i ()

<< self >>

1 1 1b 1 i i ()

1.1.2: create(r0,r1)1.1.3: display(window)

left:Bead right:Bead

1.1.1a: r0:= position() 1.1.1b: r1:= position()

79

g


P i hil d t l

gObjetos Activos.

Poseen su propio hilo de control

Un objeto pasivo sólo almacena datos

Puede enviar mensajes mientras procesa unpedido (mensaje) que haya recibidopedido (mensaje) que haya recibido

L bj t ti tLos objetos activos se representanfrecuentemente con componentes internas

80

Diagramas de ComunicacióngObjetos Activos. Ejemplo.

:FactoryScheduler:FactoryManager

currentJob:TransferJob1:start(job)A2,B2/2:completed(job)

job

:FactoryJobMgr<<local>> job

B2:completed

1/B1:start(job)

A2:completed

1/A1:start(job)

:Robot :Oven

81

Diagramas de ComunicacióngObjetos Activos. Ejemplo.

Tipos de Flujos de Control

Llamada a procedimiento u otra forma de llamada con anidamiento de control. La secuencia anidada termina antes de que siga la operación que invocó Puedeantes de que siga la operación que invocó. Puede usarse para procesos concurrentes cuando el mensaje es síncrono.Comunicación asincróna, sin anidamiento de control. El objeto que envía no se detiene a esperar respuesta.

Retorno de una llamada a procedimiento. Esta flecha puede omitirse si queda claro por el fin de la activación.

82

Diagramas de Secuencia

R t j t d j t l


Representa conjunto de mensajes entre roles (o instancias) en una interacción

Dos dimensiones:Tiempo (generalmente vertical); puede ser una escala siTiempo (generalmente vertical); puede ser una escala si el sistema es de tiempo real

Dif t i t i ( l t h i t l) lDiferentes instancias (generalmente horizontal); el orden relativo no tiene importancia

Se muestra la existencia y duración de las instancias, pero no sus relaciones

83


Traza: secuencia de ocurrencias de eventos


Traza: secuencia de ocurrencias de eventos <e1 e2 ...en>

La semántica de una interacción es un par de conjuntosLa semántica de una interacción es un par de conjuntosde trazas (válidas e inválidas) [P, I].

P d i ti t i l id l d j tPueden existir trazas no incluidas en los dos conjuntosanteriores.

Equivalencia de interacciones, si sus conjuntos de trazasson iguales.

Una interacción se puede especializar: se añaden mástrazas al conjunto.

84

j

Diagramas de SecuenciaDiagramas de Secuencia

a: lift receiver

:caller :exchange :receiver

b: dial tone

di l di itObjetos c: dial digit

...d: route

Objetos

Focos de d: route

ringing tone phone rings

Focos deControl

answer phone

stop tone stop ringing

Mensajes

85

stop tone stop ringing

Diagramas de SecuenciaDiagramas de Secuenciasd Authenticate User

LoginPage:Servlet

ac:Authentication

C ll

ds:UserDataS i

CurrentUser:UserDataServlet Controller Service UserData

validateCredentials(“Dan”, “b4_23”)restoreUserData(“Dan”)

create(“Dan”,”Administrator”)

currentUsercurrentUser

86


:Pedido preferenteDi t ib id

usualDi t ib id

marcooperador guarda

:Pedido :Distribuidor :Distribuidor

entregar()

loop

alt

entregar()

[for each producto]

[value > 10000]procedure entregar()

foreach producto:if producto.value>10000entregar()

[else]entregar()

ppreferente.entregar()

elseusual.entregar()

end ifend forentregar() end for

end procedure


Gate (formal), con nombre out Unlock

88

out_Unlock


Referencias (Ocurrencias de Interacciones)

Copian el contenido dela interacción referida.

Substitución deparámetros y conexiónde las puertas (gates)formales y actuales

89

formales y actuales.


Fragmentos combinados operadores (i):

gOperadores sobre interacciones.

Fragmentos combinados, operadores (i):

Alternativa (alt).Elección (mediante una guarda) de una interacciónElección (mediante una guarda) de una interacción.

Aserción (assert).La secuencia especificada por el operador es la única válida.a secue c a espec cada po e ope ado es a ú ca á da

Opción (opt).Equivalente a un operador alt con un solo fragmento.

Ruptura (break).El operando se ejecuta en lugar del resto de la interacción englobada en elfragmento “padre”.fragmento padre .

Paralelo (par).Mezcla de las trazas de los operandos (cualquier entrelazado es válidomientras preserve el orden de los eventos de cada operando)

90

mientras preserve el orden de los eventos de cada operando).


Secuenciación débil (seq)

gOperadores sobre interacciones.

Secuenciación débil (seq).Define un conjunto de trazas que cumple:1. Se mantiene el orden de eventos de los operandos2 Eventos de otras líneas de vida de otros operandos pueden venir2. Eventos de otras líneas de vida de otros operandos pueden veniren cualquier orden.3. Eventos de la misma línea de vida de otros operandos se ordenande tal manera que cualquier evento del primer operando va antes queel del segundo.

Secuenciación estricta (strict).Secuenciación estricta en el orden de los eventos de los operandos.

Negativa (neg).Define trazas inválidas.

Región crítica (critical).

91

Los eventos del operando no pueden mezclarse con ningún otro.

Diagramas de SecuenciagOperadores sobre interacciones. Alternativa.

92

Diagramas de SecuenciagOperadores sobre interacciones. Alternativa.

93

Diagramas de SecuenciagOperadores sobre interacciones. Opción.

94

Diagramas de SecuenciagOperadores sobre interacciones. Bucle.

95

Diagramas de SecuenciagOperadores sobre interacciones. Región Crítica.

96

Diagramas de SecuenciaEjemplo

Sd Alarm Activation

Ejemplo

:SystemHandler :CellHandler :Sensor :Alarm :CellConfigurationInformation

Activate()T =

now

assert

T

ReadConfiguration()

Configuration Information Returned

SelfTest()

ACK

seq

Activate()

SelfTest()

Test()

Validate

opt

opt

par

97ACKACK{t

..t+

5}

Diagramas de SecuenciagRetorno de Valores

98


Restricciones temporales (duración)

gTiempo

Restricciones temporales (duración)

Duración de mensajes y señales (duration)Intervalos de tiempo ({t..t+3}) y restricciones temporales.

99Observaciones temporales (tiempo actual, now)

Diagramas de SecuenciagDescomposición en partes

La estructura interna deACS iACSystem tiene una interacción “AC_UserAccess” que se invoca en este fragmento.

100

Diagramas de SecuenciagDescomposición en partes

101

Diagramas de Secuenciagco-región Coregión: s[u]

recibe los mensajesen cualquier orden.

102


Invariantes

gInvariantes

Invariantes.

En este momento la traza<v w q> no es válida<v w q> no es válida

Se comprueban justo antes de la ocurrencia del próximot ( d h b j t d l

103

evento (puede haber mensajes no mostrados en eldiagrama).

Diagramas de SecuenciagBinding

104

EjercicioEjercicio

fEspecificar el diagrama de secuencia de la operación “crearLaberinto”

public class JuegoLaberinto {public Laberinto crearLaberinto () {

Laberinto lab = new Laberinto();Habitacion h1 = new Habitacion();Habitacion h2 = new Habitacion();Puerta puerta = new Puerta(h1, h2);

lab.añadeHabitacion(h1);lab.añadeHabitacion(h2);h1.añadePuerta(puerta);return lab;

}}

SoluciónSolución

:JuegoLaberinto

l b L b i tcrearLaberinto()

lab:Laberinto

h1:Habitacion

h2:Habitacion

puerta:Puertacreate(h1,h2)

añadeHabitacion(h1)

añadeHabitacion(h2)

añadePuerta(puerta)

EjercicioEjercicio

Especificar el diagrama de secuencia de la operaciónEspecificar el diagrama de secuencia de la operación “crearLaberinto”

public class JuegoLaberinto {private Laberinto lab;private boolean conVentana;

public JuegoLaberinto() {public JuegoLaberinto() {lab = new Laberinto();conVentana = true;

}

public void crearLaberinto () {Habitacion h;for (int i=0; i<10; i++) {

h = new Habitacion();if (conVentana == true)

h.añadeVentana(new Ventana());lab.añadeHabitacion(h);

}}

SoluciónSolución

:JuegoLaberinto lab:Laberinto

crearLaberinto()

h:Habitacion

loop [for i = 1 to 10]

v:Ventana

opt [conVentana==true]

añadeVentana(v)

añadeHabitacion(h)

EjercicioEjercicio

Especificar el diagrama de secuencia de la operación “realizarJugada” definida en la clase Jugador, para el juego del parchísparchís

Jugadorill A t l i t

Dado2*

- casillaActual: int+ realizarJugada(): void+ casillaActual(): int

+ tirar(): int

1*

Tablero

+ mover(int actual, int unidades):

1

int unidades): boolean

SoluciónSolución

:Jugador d1:Dado

realizarJugada()

d2:Dado :Tablero

tirar()

n1

par

tirar()

n2

ca:=casillaActual()

mover(ca,n1+n2)

movRealizado

EjercicioEjercicioIdentificar las clases relevantes y realizar el diagrama deIdentificar las clases relevantes y realizar el diagrama de

secuencia para el siguiente caso de uso, que corresponde a la realización de una llamada desde un teléfono móvil.

El usuario pulsa los dígitos del número de teléfonoPara cada dígitog

la pantalla se actualiza para añadir el dígito marcadose emite un tono por el receptor

El usuario pulsa el botón “Enviar”El usuario pulsa el botón EnviarEl indicador “en uso” se ilumina en pantallaEl móvil establece conexión con la redL dí it l d d l dLos dígitos acumulados se mandan a la redSe establece la conexión con el número marcado

SoluciónSolución

:Button :Dialer send:Button:Display :CellularRadio:Speaker

digit(code)

loop [for i = 1 to 9]

displayDigit

send()

displayDigit(code) emitTone

(code)

send()

connect(pno)

inUse()inUse()

¿Diagrama de colaboraciónequivalente?

SoluciónSolución

Visión de Conjunto de la Interacción

D fi l i t i t é d

Visión de Conjunto de la Interacción

Define las interacciones a través de una variante de los diagramas de actividad.

Visión general del flujo de control.

Usa elementos de los diagramas de actividad para especificar:

Alternativas entre interacciones.Paralelismo de interacciones.

114Bucles de interacciones.

Visión de Conjunto de la InteracciónVisión de Conjunto de la Interacción

115

Tiempo

M t i t i d d

Tiempo

Muestran interacciones donde esimportante razonar sobre el tiempo.

Representa condiciones que cambian enRepresenta condiciones que cambian enuna o varias líneas de vida, en un ejelineal de tiempolineal de tiempo.

Cambios en el estado de un objeto con eltiempo en respuesta a eventos.

116

TiempoTiempo

Diagrama temporal correspondientepa la interacción

117

TiempoTiempo

118

TiempoTiempo

119

Máquinas de EstadosMáquinas de Estados

“St t h t ” [H l]“Statecharts” [Harel]

Representan el comportamiento de entidades ( p eRepresentan el comportamiento de entidades ( p.e. instancias de clases).

Especifican reacción ante eventos

Describen posibles secuencias de estados y acciones por las que pueden pasar las entidades.

De comportamiento vs. de protocolo.

120


EstadosComienzo Fin

start Partial Dialdigit(n)

digit(n)

Transiciones

121

Máquinas de Estados

U t i ió d t


Un transición puede tener:Evento.

Eventos temporales: tm(n)Eventos temporales: tm(n)Acción.pre-condiciones (guardas) y post- condiciones.

A1 A2[guard] evt/action [post-]

A1 A2

Símbolos especiales para el envío y recepción de señales (normalmente usados en diagramas de actividad).

122

)


Un estado tiene:Nombre

Transiciones internas: lista de acciones ejecutadas en ese estado (entry/exit/do)( y )

Ejemplo:j p

Typing Passwordt / t h i i ibl

Nombreentry/set echo invisibleexit/set echo normalcharacter/handle characterhelp/display help

Transicionesinternas

123

help/display help

Máquinas de EstadosStart Partial Dial


digit(n)Startentry/start dial toneexit/stop dial tone

Partial Dialentry/number.append(n)

digit(n)Estado compuesto: digit(n)

Dialing

digit(n)Startentry/start dial tone

Partial Dialentry/number.append(n)

[number.isValid()]y

exit/stop dial toney pp ( )

124digit(n)


Una biblioteca tiene copias de libros Estos últimos seUna biblioteca tiene copias de libros. Estos últimos se caracterizan por su nombre, tipo (novela, teatro, poesía, ensayo), editorial, año y autor. Los autores se caracterizan por su nombre, nacionalidad y fecha de nacimiento.Cada copia tiene un identificador y puede estar en laCada copia tiene un identificador, y puede estar en la biblioteca, prestada, reservada, con retraso o en reparación.Los lectores pueden tener un máximo de 3 libros enLos lectores pueden tener un máximo de 3 libros en préstamo. Cada libro se presta un máximo de 30 días, por cada día p pde retraso, se impone una “multa” de dos días sin posibilidad de coger un libro.Realiza el diagrama de estados de la clase “copia”Realiza el diagrama de estados de la clase copia .

SolucionSolucion

enCon

Retraso

ConRetraso yreser ado

devolver()reservar(id) /usrRes = iden

reparacion

reparar()reparado()

Retraso

[getDate()>fp+30]

reservado

devolver() [getDate()>fp+30]

enbiblioteca prestado

prestar(id,fecha)/fp=fecha reservadoreservar(id) /

usrRes = iddevolver()

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

t (2 d ) enreserva

tm(2 days)

Solucion: Estados JerárquicosSolucion: Estados Jerárquicos

enCon

Retraso

ConRetraso yreser ado

reservar(id) /usrRes = iden

reparacion

reparar()reparado()

Retraso

[getDate()>fp+30]

reservado

[getDate()>fp+30]

usrRes = id

enbiblioteca prestado

prestar(id,fecha)/fp=fecha reservadoreservar(id) /

usrRes = id

devolver() devolver()prestar(id, fecha)[usrRes==id]/fp=fechat (2 d ) en

reservafp=fechatm(2 days)

127

Máquinas de EstadosqComponentes Ortogonales

Incomplete

lab donelab doneLab1 Lab2

Term project done PassedTermProject

project done

Final passFinalTest

pass

128Failedfail

Máquinas de EstadosqComponentes Ortogonales: Utilidad

Modelo de un sistema formado por un proceso en red sin componentes ortogonales.

ack

Idle Message Sendingtransmit

Idle Message Sendingarr.

time out arrtime out arrarr

129

Máquinas de EstadosqComponentes Ortogonales: Utilidad

ack1

Idle1 Mess1 Send1trans1

1

d 1Idle2

ss1Idle2

d1Idle2arr1

1

toutarr1

arr arr arr2tout1 arr1

Idle1

arr2

Mess1

arr2

Send1trans1

arr2arr2arr1

arr2

Idle1Mess2

Mess1Mess2arr1

trans

Send1Mess2

trans1

tout1 arr1ack1 trans2

Idle1Send

trans2 tout2ack2 Mess1

Send

tout2arr1

ack2

Dos 130

Send2 Send2

arr2

arr1 procesos


ack P 1

qComponentes Ortogonales: Utilidad

ack Proc-1


transmit

time out arrarr

P 2ack

Proc-2


transmit

131time out arrarr


P 1

qComponentes Ortogonales: Utilidad

transmit

ack/ channel = freearr

Proc-1

Idle Message Sendingarr

transmitWait

channel[channel==free ] /channel = busy

time out / channel = freearr

P 2Proc-2

transmitarr

ack/ channel = free

Idle Message Sendingarr

transmitWait

channel[channel==free ] /channel = busy

132time out / channel = freearr

Máquinas de EstadosP d t d

Máquinas de EstadosPseudo - estados:

Fork / Join.Initial.Deep History / Shallow History.Junction.Choice.

H* H

Entry / Exit point.Terminate.

Setup CleanupA1 A2

B1 B2

133

Fork Join

Máquinas de EstadosqEstado Histórico

BHHHH

t4

IB1 B2

t1: ev0t2

t3

B12

B11B21 t3

t3: ev1

t4: ev2

134

Máquinas de EstadosqEstado Histórico (ii)

BH*H*HH

t4

IB1 B2

t1: ev0t2

t3

B12

B11B21 t3

t3: ev1

t4: ev2

135

Máquinas de EstadosqEstado Histórico. Ejercicio.

Modelar el comportamiento de una cadena de música. Esta puede estar pencendida (ON) o apagada (Standby). La cadena tiene reproductor de CD Radio ycadena tiene reproductor de CD, Radio y Cinta. Se cambia de uno a otro con el botón “mode” Cuando se enciende labotón mode . Cuando se enciende la cadena se recuerda el último estado en el que estuvo.

136

Máquinas de EstadosqEstado Histórico. Ejercicio. Solución

On

Standby

On

CD modemodepower

H

Radio Tapemode

power H

mode

M d l l i i t i t d hi tó iModelar el mismo sistema sin usar estado histórico.

137

Máquinas de EstadosqEstado Histórico. Ejercicio. Solución (ii)

Standby Onpower

CD modemode

power

powerlastCD

power

Radio Tapemode

lastRadiopower

power

powerlastTape power

power

138

Máquinas de EstadosPseudo - estados: Junction.

Máquinas de EstadosPseudo estados: Junction.

Pseudo - estados: Choice.

139

Máquinas de EstadosMáquinas de EstadosPuntos de Entrada/Salida, Estados Sub-Máquina

140

Ejemplo. Reproductor CDs.

I f U iReproductorCD

Li C iInterfazUsuario

...

...

p

- Tpausa: Tiempo- NumActual: Entero+ t ()

ListaCanciones

...+ obtenerCancion(Orden: Entero):

disco11

+ stop()+ pause()+ play()+ eject()

Cancion+ numCanciones(): Entero....1

j ()+ apagar()+ finCancion()- buscaDisco(d: InfoDisco):ListaCanciones

0..*pista1ListaCanciones Cancion

- titulo: Cadena- duracion: Tiempo

1

1driver

player actual

p- Artista: Cadena- Orden: Entero

...

ControladorCD

...+ l ( t C i d d Ti )+ play(act: Cancion, desde: Tiempo)+ stop() : Tiempo+ detectarDisco() : InfoDisco+ detectarAbierto() : Logico

141

() g+ abrir()+ cerrar()+ apagar()

Diagrama de estados para la clase ReproductorCD

[(info=driver.detectarDisco())!=NULL]/disco=buscaDisco(info)NumActual = 1; actual = disco.obtenerCancion(ordenActual)

[not driver.detectarAbierto()]

p

[else]/ driver.stop(); NumActual=1;

Cerrado

( )

Play()/r ()

endOfSong()/NumActual+=1

()rAbi

erto

()]

;actual= disco.obtenerCancion(NumActual)

Stop PlayPlay()/driver.play(actual, 0)

p()

paus

a)

ejec

t ()/

driv

er.c

erra

r

[NumActual<=disco.numCanciones()]/

t lejec

t ()/

driv

er.a

brir

(

river

.det

ecta

r

)/ = dr

iver

.sto p

lay(

actu

al, T

p

stop()/driver.stop(); NumActual=1

Abierto eject ()/driver.stop();driver.abrir()

actual=disco.obtenerCancion(NumActual)driver.play(actual,0)

e d

[dr

Pause

Paus

e()

Tpau

sa

Play

()/

driv

er.p

lNumActual 1actual= disco.obtenerCancion(NumActual)

Pause

apagar ()/

142

apagar ()/driver.stop();driver.apagar()

Máquinas de Estados de ProtocoloAsociadas a un clasificador, interface o puerto.

Máquinas de Estados de Protocolo, p

Especifican qué operaciones del clasificador se puedenllamar en qué condicionesllamar en qué condiciones.

Las operaciones que no generan transición no seLas operaciones que no generan transición no serepresentan.

Má i d t d d l ti E ifi lMáquinas de estado declarativas: Especifican lastransiciones legales (no su condición) para cadaoperación. “Contrato” para el usuario del clasificador.

Máquinas de estado Ejecutables: Especifican todoslos eventos que un clasificador puede recibir y tratar

143

los eventos que un clasificador puede recibir y tratar,con las transiciones implicadas.

Máquinas de Estados de ProtocoloMáquinas de estados de

Máquinas de Estados de ProtocoloMáquinas de estados de

protocolo. Ejemplo (declarativa).

Los estados de máquinas deprotocolo no tienen asociadasacciones exit/entry/do pero

Cleanupacciones exit/entry/do, peropueden tener invariantes.

Las transiciones no tienen

[inv]

Las transiciones no tienenacciones, pero sí pueden tenerpre- y post- condiciones.

[pre-cond] Evt/ [post-cond]

144


Una máquina de estados es generalizable

qGeneralización

Una máquina de estados es generalizable.

Se pueden añadir regiones, estados y transiciones.

Se puede cambiar el destino y estado de una transición siempre que la fuente y evento se mantenga.

En caso de herencia múltiple de máquinas de estado (por herencia de los clasificadores asociados), se crea una región ortogonal por cada máquina heredada mas una por la máquina de estados delcada máquina heredada, mas una por la máquina de estados del clasificador específico.

Se anota con <<extended>> junto al nombre de la máquinaSe anota con <<extended>> junto al nombre de la máquina.

Los estados heredados se muestran con líneas punteadas o en gris.

145

Máquinas de EstadosqGeneralización: Ejemplo, cajero autómatico.

146

Máquinas de EstadosqGeneralización: Ejemplo, cajero autómatico.

E ió ibilid d dExtensión: posibilidad deteclear el importe aretirar, y de que este sepueda rechazar.

147

EjercicioEjercicioM d l l t i t ti d l j d lModelar el comportamiento reactivo de un reloj de pulsera.El valor del tiempo se debe actualizar cada segundo, incluso cuando no semuestra (p.ej. crono encendido).El botón de la parte superior derecha enciende la luz que se mantieneEl botón de la parte superior derecha enciende la luz, que se mantieneencendida tanto como el botón está apretado, una vez que se suelta, la luzestá encendida durante 2 segundos más y se apaga.El botón superior izquierdo alterna entre el modo de crono y de reloj. Elsistema empieza en el modo reloj en el que se muestra la hora en formatosistema empieza en el modo reloj, en el que se muestra la hora en formatoHH:MM:SS.En el modo crono, el tiempo discurrido se muestra en formato MM:SS:CC(CC son centésimas de segundo). Inicialmente el crono empieza en

É( g ) p00:00:00. El botón inferior derecho se usa para activar el crono. Éste seactualiza en incrementos de 1/100 segundos. Presionando el botón inferiorderecho pausa o continua el crono (si el reloj está en modo crono).Pulsando el botón inferior izquierdo resetea el crono a 00:00:00 si el relojq jestá en modo crono y el crono ha sido pausado antes. El crono continuacorriendo (si está corriendo) o mantiene su valor (si está en pausa) inclusocuando el reloj está en un modo de display distinto (por ejemplo, cuando semuestra la hora).

148

muestra la hora).

EjercicioInterface provisto por el controlador:

Ejercicio

getTime() : Devuelve la hora actual.refreshTimeDisplay() : Repinta la hora en el visor con la hora interna actual. Elvisor no necesita limpiarse antes de llamar a esta función. 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 semodificarán adecuademente, (por ejemplo, si se llama a increaseTime () a lasmodificarán adecuademente, (por ejemplo, si se llama a increaseTime () a las11: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 visorunsetLight() : Apaga la luz del visor.

Eventos de botones recibidos:topRightPressed.topRightReleased.p gtopLeftPressed.topLeftReleased.bottomRightPressed.bottomRightReleased

149

bottomRightReleased.bottomLeftPressed.bottomRightReleased.

Posible SoluciónPosible Solución.

150

Máquinas de EstadosEjemplo. Herramienta de Dibujo (i)

/setup widgetst bi di

Active

setup bindings

Active

exitButtonwmQuit

151

Máquinas de EstadosqEjemplo. Herramienta de Dibujo (ii)

Shapes Canvas

Modes

152

Máquinas de EstadosqEjemplo. Herramienta de Dibujo (iii)

Shapes

TriangleshapeSelected(Circle)

shapeSelected(Triangle)

shapeSelected(Rectangle)

shapeSelected(Triangle)p ( g )

h S l t d(Ci l )Rectangle CircleshapeSelected(Circle)

shapeSelected(Rectangle)

153

Máquinas de EstadosqEjemplo. Herramienta de Dibujo (iv)

Modes

modeSelect(Insert)/

Insert

modeSelect(Insert)/Canvas.Insert

modeSelect(Delete)/Canvas.Delete

modeSelect(Move)/Canvas.Move

modeSelect(Insert)/Canvas.Insert

modeSelect(Delete)/

Canvas.Insert

Move Delete( )/

Canvas.Delete

modeSelect(Move)/C M

154

Canvas.Move

Máquinas de EstadosEjemplo Herramienta de Dibujo (v)

Canvas

Inserting[Shapes in Circle]/d Ci l ( )

Ejemplo. Herramienta de Dibujo (v)

g

Idle[Shapes in Triangle]/

[Shapes in Rectangle]/drawRectangle(x,y)

drawCircle(x,y)

CConDrawingMouse1Press(x,y)

[Shapes in Triangle]/drawTriangle(x,y)

Deleting

delete insert

Moving

insertmove

Idle

D i M 1Cli k( )/

Moving

onDrawingMouse1Press(x,y)/i Obj t fi d l t( ) onDrawingMouse1Click(x,y)/

find_closest(x,y).del()

MovingIdleonDrawingMouse1Release(x,y)

movingObject=find_closest(x,y)

155onDrawingMouse1Motion(x,y)/

oldCoords=coords(movingObject)move(movingObject, distance(oldCoords, (x,y)))

movedelete

Diagramas de Actividad

Refinamiento de los diagramas de estados


Refinamiento de los diagramas de estados.

Los estados representan la ejecución de acciones op jsubactividades

Las transiciones son disparadas cuando se completan estasp pacciones o subactividades

Semántica basada en tokens.

Flujos dirigidos por procesamiento interno (en losdiagramas de estados normales son dirigidos por eventosdiagramas de estados normales son dirigidos por eventosexternos).

156Semántica basada en Redes de Petri. No obstante no seda una transformación a Redes de Petri.


Put Coffee Put Filter

gEjemplo

Put Coffee in Filter

Turn onMachine

Put Filterin Machine

[found

Find Beverage

Add Waterto Reservoir Brew

coffee

[found coffee] / coffeePot.turnOn

g

GetCups

Pour

[no coffee] light goes out

Get cansof cola

PourCoffee

[found cola]

Drink

[no cola]

157

Diagramas de ActividadSwimlanes

158

Diagramas de ActividadDiagramas de ActividadPesos en los enlaces

159

Diagramas de ActividadDiagramas de ActividadParámetros y Eventos Temporales

Parámetros/Pins/Excepciones

E t T lEventos Temporales

160

Diagramas de ActividadDiagramas de ActividadExcepciones/Pins

161

Diagramas de ActividadRegiones deExpansión

Regiones de expansión, procesamiento paralelo (también iterative y t i )streaming).

162

Diagramas de ActividadDiagramas de ActividadRegiones Interrumpibles

163

Diagramas de ActividadDiagramas de ActividadParticiones

164

Diagramas de ActividadDiagramas de ActividadFlujos de Objetos: Objectflows

165

IndiceIndice

Diagramas de Casos de Uso.Diagramas de EstructuraDiagramas de Estructura.Diagramas de Comportamiento.

OCL.Herramientas.EjemplosEjemplos.Bibliografía.

166

OCL: Object Constraint LanguageOCL: Object Constraint LanguageLenguaje de restricciones para expresar condicionesLenguaje de restricciones para expresar condicionesadicionales que no podemos expresar con diagramas ycardinalidades.

Combinar diagramas y especificaciones textuales.

Lenguaje preciso, no ambiguo, declarativo, tipado, basadoen matemáticas (lógica de predicados y teoría deconjuntos)conjuntos).

Útil para obtener modelos precisos (no anotaciones enp p (lenguaje natural).

Se utiliza fundamentalmente junto a los diagramas de167

Se utiliza fundamentalmente junto a los diagramas declases.

EjemplosEjemplosFlight Airplane

0 * 1Flightnr: Integer

availableSeats(): Integer

numberOfSeats: Integerflights0.. 1

plane

0 *flights

P

0..

0..*

flights

passengersTambién es un lenguaje de consultas (mismo poder expresivo que SQL).

Person

name: StringContext Flight::availableSeats(): Integerbody: plane.numberOfSeats – passengers->size()

¿Cómo se expresa el hecho de que en ningún vuelo puede habermás pasajeros que asientos tiene el avión?p j q

Restricción OCL:

168Context FlightInv: passengers->size() <= plane.numberOfSeats

EjemplosEjemplosCasa Persona

S S Id ifi d0 * 1valor: Dinero numSegSoc: Identificador

sueldo: DinerocontratarHipoteca(sum: Dinero,aval: Casa)

casas0..

propietario1

aval 1)

Hipotecaprincipal: Dineromensual: DinerofechaInicio: Fechahipotecas

0..*

1 contratante

0..*hipotecasfechaInicio: Fecha

fechaFinal: Fechahipotecas hipotecas

Reglas adicionales:

1. Una persona puede tener una hipoteca sobre una casa sólo si es el propietario.

2 La fecha de inicio de cada hipoteca ha de ser menor que la de final2. La fecha de inicio de cada hipoteca ha de ser menor que la de final.3. El número de la seguridad social de cada persona ha de ser único.4. Sólo es posible contratar una nueva hipoteca si el salario de la persona

es suficiente.

1695. Sólo es posible contratar una nueva hipoteca si el valor de la casa aval

es suficiente.

Ejemplos Las restricciones OCL se escriben

C t t Hi t

Ejemplos Las restricciones OCL se escribenen el contexto de una instancia deun tipo específico.

Context HipotecaInv: aval.propietario = contratante

Context HipotecaInv: fechaInicio < fechaFin self hace referencia a la instancia

del contexto.

Context PersonaInv: Persona::allInstances()->isUnique(numSegSoc)

Context Persona::contratarHipoteca(sum: Dinero, aval: Casa)pre: self.hipotecas.mensual->sum()+sum <= self.sueldo * 0.70

Context Persona::contratarHipoteca(sum: Dinero, aval: Casa)pre: aval.valor >= aval.hipotecas.principal->sum()

170

EjemplosEjemplos

“Los PCs pueden conectarse con un único Hub, los servidores con uno o varios”

Context PCInv: cable_equipo->size() = 1

171

Context ServidorInv: cable_equipo->size() >= 1

EjercicioEjercicio

“Un Hub no puede conectarse consigo mismo a través de un puerto”

Context Cable_HubsInv: Puerto_Hub.hub->asSet()->size() = 2

172

¿Dónde usar OCL?¿Dónde usar OCL?

Clases:Clases:Invariantes. Expresión OCL de tipo booleano, la expresión debe ser true para cada instancia de la clase en todo momento de la ejecuciónejecución.

Operaciones:Pre-condición. Condición que debe ser verdadera para ejecutar l ió d t i d i t ila operación en una determinada instancia.Post-condición. Condición que debe ser verdadera al terminar una operación.B d E ifi ió d l d ió d tiBody. Especificación del cuerpo de una operación de tipo query.

Atributos y finales de asociación:Valor inicial. expresión para dar el valor inicial a un atributo o p pfinal de asociación. Se evalua al crear la instancia.Valor derivado.

Transiciones de máquinas de estados:Transiciones de máquinas de estados:Guarda.

EjemplosEjemplos

parents

children

0..*

0..*

174

EjemplosEjemplos

E ifi ió d l l i i i l d i d d t ib t / i ti dEspecificación del valor inicial y derivado de atributos/association ends:context Person::income : Integerinit: parents.income->sum() * 1% -- pocket allowanced i d if lf < 18derived:if self.age < 18

then parents.income->sum() * 1% -- pocket allowanceelse job.salary -- income from regular jobendifendif

Subexpresiones (let):context Person inv:let income : Integer = self.job.salary->sum() inif isUnemployed thenincome < 100elseincome >= 100endif

175

endif

Ejemplos ColeccionesEjemplos. Colecciones.

Tipos: Set, OrderedSet, Bag, Sequence.

Operaciones de bucle con colecciones:select(expr): selecciona los elementos que cumplan una condición.

coleccion->select( expresion-logica )l i l t( | i l i )coleccion->select( v | expresion-logica-con-v)

coleccion->select( v : Type | expresion-logica-con-v)

t t C icontext Company inv:self.employee->select(age < 25)->notEmpty()

context Company inv:176

context Company inv:self.employee->select(gender=female)->notEmpty()

Ejemplos Coleccionescollect(expr): devuelve la colección que resulta de evaluar expr

Ejemplos. Colecciones.collect(expr): devuelve la colección que resulta de evaluar exprpara cada elemento de la colección fuente.

self employee >collect( birthDate ) >asSet()self.employee->collect( birthDate )->asSet()

forAll(expr): devuelve verdadero si expr es verdadero en cadaelemento de la colección.

coleccion->forAll( expresion-logica )coleccion->forAll( v | expresion-logica-con-v )coleccion->forAll( v : Type | expresion-logica-con-v )

context Companyinv: self.employee->forAll( isUnemployed = False )inv: self.employee->forAll( p | p.isUnemployed = False )i lf l >f All( P | i U l d F l )

177

inv: self.employee->forAll( p : Person | p.isUnemployed = False )

Ejemplos ColeccionesEjemplos. Colecciones.exists(expr): devuelve true si al menos hay un elemento en lacolección para el que expr es verdaderacolección para el que expr es verdadera.

coleccion->exists( expresion-logica )coleccion->exists( v | expresion-logica-con-v )coleccion->exists( v : Type | expresion-logica-con-v )coleccion->exists( v : Type | expresion-logica-con-v )

context Companyinv: self.employee->exists( age > 50 )inv: self.employee->exists( p | p.age > 50 )inv: self.employee->exists( p : Person | p.age > 50 )

iterate(…): itera sobre todos los elementos de una colección.coleccion->iterate( elem : Type; acc : Type = <expresion> | expresion-logica-

l )con-elem-y-acc )

collection->collect(x : T | x.property)collection->iterate(x : T; acc : T2 = Bag{} | acc->including(x.property))

178

( ; g{} | g( p p y))

añade un elemento a una colección

Colecciones Otras OperacionesOtras operaciones de bucle:

Colecciones. Otras Operaciones.p

source->any(iterator|body)source->select(iterator|body)->asSequence()->first()

source->collectNested(iterators|body)source collectNested(iterators|body)Bag de elementos que resultan de aplicar body a cada elemento de source.

source->isUnique(iterators|body)( | y)True si body se evalua a un valor diferente para cada elemento de source.

source->one(expr)Devuelve true si existe exactamente un elemento de source que cumple la condición.

source->reject(expr)Devuelve una colección con los elementos de source que no cumplen laDevuelve una colección con los elementos de source que no cumplen la condición.

source->sortedBy(expr)Ordena source resulta en un OrderedSet

179

Ordena source, resulta en un OrderedSet

IndiceIndice

Diagramas de Casos de Uso.Diagramas de EstructuraDiagramas de Estructura.Diagramas de Comportamiento.OCL.

HerramientasHerramientas.Ejemplos.j pBibliografía.

180

Herramientas IHerramientas, I

Dib j d diDibujo de diagramasSoporte a la correccción de los diagramas en base a su semánticasemánticaApoyo para simplificar la facilidad de comprensión de los diagramas (layout, etc.)

Archivo de informaciónComprobación de inconsistenciasDetección de trabajo a realizar y mejorasGeneración de informesSoporte a la reutilizaciónSoporte al rediseño (refactorings).

181

Herramientas IIHerramientas, II

Soporte a la navegaciónVistas compuestasElaboración de conexiones entre información relacionadaBú dBúsquedaVisión con diferentes niveles de granularidad (expansión y contracción de partes de la vista)(expansión y contracción de partes de la vista)FiltrosOperaciones sobre componentes de la vistaOperaciones sobre componentes de la vista

182

Herramientas IIIHerramientas, III

Soporte al trabajo multiusuarioSoporte al trabajo multiusuarioBloqueo de informaciónTrabajo colaborativoj

Generación de códigoEsqueletos con información estática (clases)Generación a partir de diagramas de comportamientoGeneración a partir de diagramas de comportamiento (máquinas de estados).Integración con lenguajes especiales (SQL, …)Desarrollo Dirigido por Modelos (MDADesarrollo Dirigido por Modelos (MDA, http://www.omg.org/mda/)

Ingeniería inversaConstrucción de un modelo de diseño a partir de códigoDiseño iterativo: incorporación al modelo de detalles implementados

183

Herramientas IVHerramientas, IV

Integración con otras herramientasEntorno de desarrollo (tendencia a confluir)Configuración del sistema y control de versionesHerramientas de documentaciónHerramientas de prueba de softwareHerramientas de construcción de interfaces de usuarioHerramientas de especificación de requisitosHerramientas de gestión de proyectos y soporte al

d di ñ d llproceso de diseño y desarrollo

184

Herramientas VHerramientas, V

Distintos niveles de abstracciónIntercambio de informaciónIntercambio de información

Especificación OMG de representación de modelos UML en XMI (XML Metadatamodelos UML en XMI (XML Metadata Interchange)

185

Poseidon for UMLPoseidon for UML

IndiceIndice

Diagramas de Casos de Uso.Diagramas de EstructuraDiagramas de Estructura.Diagramas de Comportamiento.OCL.HerramientasHerramientas.

Ejemplos.Ejemplos.Bibliografía.

187

Ejemplo de AnálisisAplicación para una Galería de Arte

Diagrama de casos de uso inicial

Comprar uncuadro

Vender uncuadro

Vendedor

AgenteGalería

Producir Informe

C dCompradorActualizar

Coeficiente de

188

moda

Comprar unaDiagrama pObra maestra

Comprar unaO

refinado

VendedorObra representativa

Comprar unaObra representativa

Vender uncuadro

Obra representativa

Agente

Producir Informecompras

Comprador

AgenteGalería Producir Informe

ventas

Producir Informetendencias

189Actualizar

Coeficiente de moda

Caso de uso: comprar una obra maestra

Actores primarios:pAgente Galería, vendedor

Interesados y Objetivos:• Agente: quiere obtener una recomendación lo más acertada posible del precio máximo recomendado de manera rápida.• Vendedor: quiere vender el cuadro a un precio razonable de manera rápida.

Precondiciones:El agente ha entrado en la aplicación.

Garantía de éxito (post-condiciones):Se registra la venta.

E i P i i l d É itEscenario Principal de Éxito:1. El agente introduce la descripción del cuadro.2. El sistema busca el cuadro más parecido del mismo autor.3 El sistema presenta el precio recomendado3. El sistema presenta el precio recomendado.4. El agente hace una propuesta por debajo del precio recomendado, y el vendedor acepta la oferta.5 El agente introduce información de la venta5. El agente introduce información de la venta.

Extensiones:2a. No hay ningún cuadro parecido del mismo autor, así que el sistema no presenta una recomendación

190

no presenta una recomendación.4a. El vendedor no acepta la oferta y la venta no se produce.

Diagrama de clases inicial

Si t G ti

CuadronombreDelArtistaapellidosDelArtista

Sistema GestionGaleria

TituloAñoCreacionAltoAnchoTecnicaTema

Cuadro GaleriaClasificacionfechaCompraFechaventa

Cuadro SubastadofechaSubastaprecioSubasta

FechaventanombreVendedordireccionVendedorprecioCompraMaximoprecioCompraRealprecioCompraRealprecioVentaDeseadoprecioVentanombreCompradordireccionCompradordireccionComprador

Obra Maestra Cuadro de Otro Tipo ModanombreArtistausa

191Obra Representativa

nombreArtistaappelidosArtistacoeficiente

usa

Diagrama de clases asociado al caso de uso vender una obra maestra

Proporciona los datos introducidos por el agente

Vendedor

por el agente

Obra maestra

A t GUI Calcular PrecioAgenteGalería

GUI Calcular PrecioObra Maestra

Cuadro Cuad oSubastado

192

AgenteGalería

: GUI : Calcular PrecioObra Maestra

: CuadroSubastado

Vendedor

: Obra maestra1: proporcionardatos obramaestra

2: transferir detalles

3: crear objetonuevonuevo

4: devolver objetonuevo5: buscar cuadrossubastados

Datos proporcionados por el vendedor

subastados6: devolver cuadrosubastado7: proporcionar

precio8: mostrarprecio

9: proporcionardetalles delvendedor

10: transferir detallesvendedor 11: solicitar

actualización

12: confirmación13: confirmación14: mostrarconfirmación

193

Un ejemplo completo para todos los diagramastodos los diagramas

Un sistema de gestión de cursos impartidos para un conjunto de clientes. Algunos de esos clientes pueden pertenecer a empresas.

194

001

1 11.12

2.1

33.1 3.1.1

3.2 3.2.1

198

IndiceIndice

Diagramas de Casos de Uso.Diagramas de EstructuraDiagramas de Estructura.Diagramas de Comportamiento.OCL.HerramientasHerramientas.Ejemplos

Bibliografía.204

Bibliografía: UMLBibliografía: UMLUML

D Pil N il Pi “UML 2 0 i N t h ll” O’R ill 2005Dan Pilone; Neil Pitman. “UML 2.0 in a Nutshell”. O’Reilly, 2005.Martin Fowler. “UML Distilled: A Brief Guide to the Standard Object Modeling

Language, 3rd Edition”. Addison Wesley, 2003.Web de la OMG sobre UML: http://www.uml.orgPerdita Stevens, Rob Pooley. “Utilización de UML en Ingeniería del Software con

Objetos y Componentes”. Addison Wesley, 2002.j y p y,Grady Booch, James Rumbaugh, Ivar Jacobson. “The Unified Modeling

Language User Guide”. Addison-Wesley, 1999.Eriksson H E Penker M Lyons B Fado D “UML 2 Toolkit” OMG PressEriksson, H. E., Penker, M., Lyons, B., Fado, D. UML 2 Toolkit . OMG Press,

Wiley. 2004.Craig Larman. “Applying UML and Patterns”. Prentice Hall. 2002.

OCLWarmer Kleppe “The Object Constraint Language 2nd Edition Getting your

205

Warmer, Kleppe. “The Object Constraint Language 2nd Edition. Getting your Models Ready for MDA”. Addison-Wesley. 2003.

Especificación de OCL 2.0: http://www.omg.org/docs/ptc/03-10-14.pdf

Bibliografía: Statecharts

Harel D “On Visual Formalisms” Communications of the

Bibliografía: Statecharts

Harel D. “On Visual Formalisms”. Communications of theACM. Vol 31, No. 5. Pp.: 514-530. Mayo 1988.

Harel D., Naamad A. “The STATEMATE Semantics ofStatecharts”. ACM Transactions on SoftwareEngineering and Methodology Vol 5 No 4 Oct 1996Engineering and Methodology, Vol. 5, No. 4, Oct. 1996,pp.: 293-233.

D id H l d E G E bl bjDavid Harel and Eran Gery. Executable objectmodeling with statecharts. IEEE Computer, pages 31-42,1997.

206

uml: lenguaje unificado de lenguaje unificado de modelado

Documents