Mecanismos de extensibilidad. Estereotipo: Nuevo tipo de bloque de construccin que deriva de uno existente, pero especfico a un problema.

Se tratan como bloques bsicos. Un determinado nmero de estereotipos y elementos UML de todo tipo predeterminados pueden ser incluidos en un perfil que nos crear un diagrama de forma ms efectiva. Existen algunos predefinidos como 1. 2. 3. 4. Metaclass clasificador cuyos objetos son todos clases Powertype Los objetos son todos hijos de una clase padre especfica. Stereotype el clasificador es un elemento que se puede aplicar a otros. Utility una clase con atributos y operaciones estticos.

Valor etiquetado: Extiende las propiedades de un estereotipo de UML aadiendo informacin a la especificacin del estereotipo. Se pueden aadir a cualquier bloque de construccin, como una clase, aadindole nuevos valores etiquetados. Restriccin: Extiende la semntica de un bloque de construccin de UML, permitiendo aadir nuevas reglas o modificar las existentes.

Notaciones en las clases: 1. Maysculas: Normalmente el nombre de una clase suele comenzar con Maysculas. El nombre de un objeto tambin pero subrayado. Los atributos y las operaciones comienzan en minsculas, y si constan de varias palabras, cada una de ellas unida a la anterior con la primera letra en mayscula y el resto en minsculas. 2. Puntos suspensivos: Pueden aadirse puntos suspensivos indicando que existen ms operaciones de las que aparecen explcitamente en el esquema. 3. Notacin de atributos y nombre: pueden mostrarse en su formato simplificado o con cualquiera de sus formas ampliadas. Atributos: visibilidad nombre [multiplicidad] : tipo = valor-inicial {propiedades} Ej: + cadenaCaracteres[0..1]: String

* Los atributos de clase se muestran subrayados. Operaciones: visibilidad nombre (parmetros) : tipo-devuelto {propiedades} * Una operacin de clase tambin ir subrayada. Parmetros: io nombre: tipo = valor por defecto. 4. Responsabilidades: Caractersticas y comportamiento inicial de una clase, al refinarlas pasarn a denominarse los atributos y operaciones. 1

5. Tipos primitivos: en el caso de tener que modelar un nuevo tipo primitivo se mostrar como una clase estereotipada con los lmites en el mismo ttulo entre llaves o en la zona de atributos de manera enumerada.

Relaciones adornadas Las asociaciones es un tipo de relacin bidireccional o unidireccional, segn el tipo. Para restringirlas o aclararlas podemos anotar junto a ellas un texto indicador que aclare dicha relacin y una flecha que indicar hacia donde se dirige la relacin. Herencia y leaf (hoja) En la relacin de herencia puede aadirse la propiedad {leaf} (u hoja) a una clase u operacin para indicar que son hojas o extremos, y no pueden tener hijos ni emplearse en el polimorfismo operacional.

Estereotipos de las dependencias. Dependencia: ------> Recordemos que este smbolo representa dos clases relacionadas de forma unidireccional, donde una clase utiliza a otra. Pueden aadrsele estereotipos ya prefijados: Dependencias entre clases 1. <<permit>>. Similar a la instruccin friend en C++. Una clase tendr acceso a las caractersticas privadas de otra. 2. <<bind>>. Para realizar una instanciacin de una plantilla (ver ms abajo). 3. <<derive>>. Un atributo puede calcularse a partir de otro atributo (una fecha de cumpleaos a partir de otra de nacimiento, una de caducidad a partir de una fecha lmite de entrega) 4. <<instanceOf>>. El objeto origen es una instancia del destino. Normalmente Origen: Destino. 5. <<instantiate>>. El origen crea instancias del destino. 6. <<powertype>>. El destino es un powertype del origen, es decir, un clasificador de los objetos que se crearn (por ejemplo en una base de datos, una clase mamfero gris que sea una clasificacin de una serie de animales de un zoolgico). 7. <<refine>>. El origen est en un grado de abstraccin ms detallado que el destino (por ejemplo un diagrama de clases de alto nivel y una clase detallada). 8. <<use>>. La semntica del origen depende de la semntica de la parte pblica del destino. (una relacin de uso entre dos elementos). Dependencias entre paquetes 1. <<import>>. Los contenidos pblicos del destino formarn parte de los pblicos del origen, como si se hubieran definido en el origne 2. <<access>>. Los contenidos pblicos del destino formarn parte del los privados del origen. No pueden volver a exportarse. Dependencias entre los casos de uso 1. <<extend>>. El caso de uso de destino extiende el comportamiento del origen, es decir lo detalla. 2. <<include>>. El caso de uso de origen incorpora el comportamiento de otro caso de uso que est especificado en el origen. Interaccin entre objetos 1. Send. La clase origen enva un evento al destino (asocia diagramas de clase-objetos con diagramas de estados). Organizacin de subsistemas y modelos 1. Trace. El destino se cre previamente en una etapa anterior en el desarrollo.

Restricciones de las relaciones complete se han especificado todos los hijos en el modelo, aunque alguno se omita en el diagrama, por tanto no se admiten hijos adicionales. incomplete se permiten ms hijos y no se han especificado todos.

disjoint or lgico, el padre slo puede tener uno de los hijos. (herencia mltiple no permitida). overlapping permitida) el padre puede tener ms de uno de los hijos como tipo. (herencia mltiple

Restricciones de asociacin ordered resadonly set bag los elementos de un extremo de la asociacin estn asociados un elemento de un extremo no puede modificarse ni eliminarse.

objetos nicos sin duplicados objetos no nicos, con posibilidad de duplicados objetos nicos y ordenados objetos ordenados y posibilidad de duplicados.

ordered set list o sequence

Propiedades de las operaciones

{ propiedad }

1. Leaf: (hoja). Indica que la Operacin no es redefinible y no admite polimorfismo. 2. Query: La ejecucin de la operacin no cambia el estado del sistema, es pura. 3. Sequential: Quien llame a esta operacin debe asegurarse de que el objeto slo se defina en un flujo al mismo tiempo pues puede dar lugar a inconsistencias. 4. Guarded: Las llamadas a estas operaciones no atentarn contra la integridad del objeto siempre que se respete una secuencialidad. 5. Concurrent: El objeto que las incorpora admite flujos concurrentes debido a que estas operaciones se tratan de forma atmica (efecto zona excluyente en los semforos). 6. Static: La operacin no tiene un objeto implcito para el objeto de destino, es por tanto global o de clase. Plantillas Podemos definir una clase con huecos o elementos sin definir para posteriormente completarla con una segunda clase totalmente definida. A esta clase la llamamos plantilla.

Para instanciar una nueva clase a partir de una plantilla puede realizarse directamente, sin asociacin alguna, definiendo los valores, o mediante una dependencia y una relacin <<bind>>.

Instancia Cuando damos valores reales a una abstraccin, cuando particularizamos una opcin genrica, obtenemos una instancia. Las ms habituales son los objetos, es por ello que casi siempre asociamoes semnticamente el trmino instancia a objetos. Tipos de instancias: 1. Objetos instanciacin de una clase. Podemos mostrar un par de objetos curiosos como una instancia con estado explcito (a) o una instancia activa (b, que denota que forma parte de un hilo y representa una raiz de un flujo de control)

a)

b)

2. Enlace instanciacin de una asociacin. Slo se distingue de ella en que un enlace slo conecta objetos. 3. Atributo esttico (tambin llamado atributo de clase) es un objeto que pertenece a la clase y que puede accederse desde todas las instancias de generadas a partir de ellas,adems se subraya para denotarlo.