Beruflich Dokumente
Kultur Dokumente
El software ofrece la mxima flexibilidad, por lo que un desarrollador puede expresar casi cualquier clase de abstraccin.
Cuanto ms complejo sea el sistema, ms abierto est al derrumbamiento total. Nuestro fracaso en dominar la complejidad del software lleva a proyectos retrasados, que exceden el presupuesto, y que son deficientes respecto a los requerimientos fijados.
Qu es Orientado a Objetos ?
Una forma de pensar - una forma de modelar una solucin a un problema. Una extensin a las metodologas de desarrollo previas, semejantes a la programacin estructurada. Reconoce que los procesos naturales de pensamiento humano obtienen muchas ventajas evolucionarias, y por lo tanto trata de darle un adecuado soporte.
10
12
Estabilidad del modelado respecto a las entidades del mundo real. Construccin iterativa facilitada por el acoplamiento dbil entre componentes. Simplicidad del modelado en base a 5 conceptos fundamentales.
(objetos, mensajes, clases, herencia y polimorfismo).
13
14
A diferencia del mtodo tradicional de la descomposicin funcional, en la que hay que descomponer para comprender y componer para construir, Propone un mtodo de descomposicin, no basado nicamente en lo que hace el sistema, sino ms bien en la integracin de lo que el sistema es y hace.
15
El modelado de las propiedades estticas y dinmicas del entorno en el que se definen las necesidades, y que es llamado el mbito del problema. Formalizar nuestra percepcin del mundo y de los fenmenos que se dan en l, logrando corresponder el espacio del problema con el espacio de la solucin preservando la estructura solucin, y el comportamiento del sistema analizado.
Ing. Juan Alfaro Bernedo PhD(c) 16
Su capacidad de agrupar lo que se ha separado, construir lo complejo a partir de lo elemental y, sobre todo, de integrar estticamente y dinmicamente los constituyentes de un sistema.
17
Describe el movimiento hacia una era donde el software es compilado a partir de objetos componentes reusables. Los componentes son internamente muy complejos son pero simples para interactuar con ellos. Sern cajas negras. Es necesario progresar desde una era de paquetes de software monolticos, donde un proveedor construye el monol software total, a una era en la que el software es ensamblado desde componentes y paquetes de muchos proveedores, similar a la forma en que se ensamblan autos y computadoras.
Ing. Juan Alfaro Bernedo PhD(c) 18
19
Qu es un objeto ?
Un objeto tiene estado, comportamiento, e identidad; la estructura y comportamiento de objetos similares son definidos en su clase comn; los terminos instancia y objeto son intercambiables . Grady Booch 91
20
Otro Concepto
Un objeto es cualquier cosa a la que se le aplica un concepto, el que representa una idea o nocin que nosotros compartimos y aplicable a ciertos objetos en nuestro conocimiento . James Martin 92
21
Otro Concepto
Nosotros definimos un objeto como un concepto, abstraccin o cosa con un significado y lmites bien definidos para el problema a manejar . Rumbaugh 91
22
Los Objetos
El objeto es una unidad atmica formada por la unin de un estado y de un comportamiento. El objeto revela su verdadero papel y su verdadera responsabilidad cuando, por medio del envo de mensajes, se inserta es un escenario de comunicacin.
23
Caractersticas de un Objeto
OBJETO
24
El Estado
Agrupa los valores instantneos de todos los atributos de un objeto sabiendo que un atributo es una informacin que cualifica al objeto que la contiene. El estado evoluciona con el tiempo, es variable y puede verse como la consecuencia de sus comportamientos pasados.
Ing. Juan Alfaro Bernedo PhD(c) 25
El Comportamiento
Agrupa todas las competencias de un objeto y describe sus acciones y reacciones. Cada tomo de comportamiento se llama operacin. Las operaciones de un objeto se desencadenan a consecuencia de un estmulo externo, representado en forma de un mensaje enviado por otro objeto.
Ing. Juan Alfaro Bernedo PhD(c) 26
Estado y Comportamiento
El estado y el comportamiento estn relacionados: el comportamiento en un instante dado depende del estado actual, y el estado puede ser modificado por el comportamiento.
Slo es posible hacer aterrizar un avin si ste est volando ....
27
La Identidad
Distingue los objetos de forma no ambigua, independientemente de su estado. Distingue dos objetos en los que todos los valores de atributos son idnticos. Es un concepto, no se representa de manera explcita en el modelado. Cada objeto posee una identidad de manera implcita.
Ing. Juan Alfaro Bernedo PhD(c) 28
y y
Constituye un identificador nico y global para cada objeto dentro del sistema. Es determinado en el momento de la creacin del objeto. Es independiente de la localizacin fsica del objeto, es decir, provee completa independencia de localizacin.
29
Es independiente de las propiedades del objeto, lo cual implica independencia de valor y de estructura No cambia durante toda la vida del objeto. Adems, un oid no se reutiliza aunque el objeto deje de existir No se tiene ningn control sobre los oids y su manipulacin resulta transparente
Sin embargo, es preciso contar con algn medio para hacer referencia a un objeto utilizando referencias del dominio (valores de atributos).
Ing. Juan Alfaro Bernedo PhD(c) 30
Categoras de comportamiento
Los objetos interactan para realizar las funciones de la aplicacin. Segn la naturaleza de las interacciones, es decir, segn la direccin de los mensajes intercambiados, es posible describir de manera general el comportamiento de los objetos. Las tres categoras de comportamiento: los actores, servidores y agentes.
31
32
Los servidores, por el contrario, nunca son el origen de una interaccin, son siempre destinatarios de los mensajes. A menudo son objetos pasivos que esperan que otro objeto requiera de sus servicios. En ese caso, el flujo de control se pasa al servidor desde el objeto que enva el mensaje y se recupera tras la ejecucin del servicio.
33
Los agentes renen las caractersticas de los actores y los servidores. servidores. Estos objetos pueden interactuar con los otros objetos en todo momento, ya sea por iniciativa propia o a consecuencia de una solicitud externa. externa. Los agentes aislan a los objetos clientes de los objetos servidores, introduciendo una indireccin en el mecanismo de propagacin de los mensajes. PhD(c) mensajes. Ing. Juan Alfaro Bernedo
CLIENTE
AGENTE
SERVIDORES 34
El concepto de mensaje
La unidad de comunicacin entre objetos se llama mensaje. El mensaje es el soporte de una relacin de comunicacin que vincula, de forma dinmica, los objetos que han sido separados por el proceso de descomposicin.
35
La sincronizacin precisa la naturaleza de la comunicacin y las reglas que rigen el paso de mensajes. Existen 5 categoras de mensajes:
Tipos de Objetos
Concretos: Persona-Carro-PC Roles: Doctor-Propietario-Maestro Relacional: Sociedad-Hijo-Matrimonio Eventos: Venta-Compra-Arribo Exponibles: Icono-Window-Imagen-Men
37
38
Siendo un objeto una abstraccin de la realidad, y entendiendo que ser una abstraccin creada por un desarrollador para satisfacer necesidades de una aplicacin, observe e identifique :
39
Qu es la Abstraccin ?
Es una de las vas fundamentales por la que los humanos combatimos la complejidad. La abstraccin surge del reconocimiento de las similitudes entre ciertos objetos, situaciones o procesos del mundo real, y en la decisin de concentrarse en esas similitudes e ignorar por el momento las diferencias.
40
La abstraccin centra su atencin en las caractersticas esenciales de un objeto en relacin a la perspectiva del observador
Ing. Juan Alfaro Bernedo PhD(c) 41
La Abstraccin
Es una facultad de los seres humanos que consiste en la identificacin de las caractersticas comunes a un conjunto de elementos, hacia la descripcin condensada de estas caractersticas en lo que se ha convenido en llamar una CLASE. El mtodo de abstraccin es arbitrario. Lo que permite que un objeto pueda ser visto a travs de abstracciones diferentes.
Ing. Juan Alfaro Bernedo PhD(c) 42
Descubrimiento e invencin
Con el descubrimiento se llega a reconocer las abstracciones utilizadas por expertos del dominio; si el experto del dominio habla de ella, entonces la abstraccin suele ser importante. Mediante la invencin, se crean nuevas clases y objetos que no son parte del dominio del problema pero que son tiles en el diseo e implantacin.
43
Describiendo Objetos
Despus de identificar un objeto, se crea una abstraccin para describir sta como un conjunto de atributos y operaciones. Los atributos almacenan valores de datos relativos a un objeto. Ejemplo de atributos :
44
Describiendo Objetos
Operaciones o mtodos son actividades llevadas a cabo por un objeto como resultado de un evento.
Ejemplo de actividades : Listar Facturas Calcular Volumen Totalizar Items
45
Atributo
Es un valor de dato vlido para los objetos en una clase. Diferentes instancias de objetos pueden tener el mismo o diferentes valores para un atributo dado. Cada nombre de atributo es nico en una clase, regla que no necesariamente tiene que cumplirse para clases diferentes. Un atributo debera ser un valor de dato puro, no un objeto.
46
Seleccionando Atributos
Definir atributos que son independientes de cualquier otro. Ejemplo de atributos dependientes : Una locomotora tiene los siguientes atributos Hecho en, y Motor tipo En el siguiente caso ellos son dependientes Hecho en puede ser General Electric u Otro Motor tipo es diesel si es hecho por GE, en cualquier otro caso es a gas.
Ing. Juan Alfaro Bernedo PhD(c) 47
Locomotora_GE, y Otra_Locomotora
Locomotora_GE tiene
48
Los siguientes valores de datos de atributos no son tiles para identificar el objeto.
49
Operaciones y Mtodos
Una operacin es una funcin o transformacin que puede ser aplicada a o por objetos en una clase. Cada operacin tiene un objeto destino como un argumento implcito. La misma operacin puede aplicarse a muchas clases diferentes. Un mtodo es la implementacin de una operacin para una clase.
50
La clase FILE tiene una operacin PRINT. Diferentes mtodos podran ser implementados para imprimir archivos ASCII, archivos Txt y archivos de imgenes digitalizadas (BMP). Todos estos mtodos lgicamente ejecutan la misma tarea, imprimir un FILE; esto es, nos podemos referir a ellos por la operacin genrica PRINT, sin embargo cada mtodo puede ser implementado por un diferente grupo de lneas de cdigo.
Ing. Juan Alfaro Bernedo PhD(c) 51
Cada clase se representa bajo la forma de un rectngulo dividido en tres compartimentos. El primero contiene el nombre de la clase, el segundo los tributos y el tercero las operaciones.
Nombre
Atributo 1 Atributo 2 Atributo 3 Operacin 01 ( ) Operacin 02 ( )
Motocicleta
Color Cilindrada Velocidad maxima arrancar ( ) acelerar ( ) frenar ( ) Llenar tanque ( )
52
Las Clases
La clase describe el mbito de definicin de un conjunto de objetos. Cada objeto pertenece a una clase. Las generalidades estn contenidas en la clase y las particularidades estn contenidas en los objetos.
53
La especificacin : describe al mbito de definicin y las propiedades de las instancias de esta clase, y que corresponde a la nocin de tipo tal como se define en los lenguajes de programacin clsicos La realizacin : describe cmo se realiza la especificacin y contiene el cuerpo de las operaciones y los datos necesarios para su funcionamiento.
Ing. Juan Alfaro Bernedo PhD(c) 54
Qu es Encapsulacin?
La abstraccin y el encapsulamiento son conceptos complementarios: la primera se centra en el comportamiento observable de un objeto, mientras el encapsulamiento se centra en la implementacin que da lugar a este comportamiento. Para que la abstraccin funcione la implementacin debe estar encapsulada. La encapsulacin en un objeto permite una alta cohesin y un bajo acoplamiento
Ing. Juan Alfaro Bernedo PhD(c) 55
Encapsulamiento
De modo predeterminado, los valores de atributos de un objeto se encapsulan en el objeto y no pueden ser manipulados directamente por los dems objetos. Todas las interacciones entre los objetos se efectan invocando las diversas operaciones declaradas en la especificacin de la clase y accesibles desde los dems objetos, de acuerdo a las reglas de visibilidad.
Ing. Juan Alfaro Bernedo PhD(c) 57
Reglas de Visibilidad
Privada ( - ): visible slo para la clase y para las clases amigas (C++). Protegida( # ): visible slo para las clases derivadas. Pblica ( + ): visible para todas las clases con las que est asociada.
58
La Asociacin
Expresa una conexin semntica bidireccional entre clases. Una asociacin es una abstraccin de los enlaces que existen entre los objetos instancias de las clases asociadas.
enlace
Pedro: Alumno
UNI : Universidad
enlace Oscar: Alumno
enlace
UAP: Universidad
Juana: Alumno
asociacion
Universidad
Alumno
59
Clarificacin de la Asociacin
Para mejorar la legibilidad de los diagramas, la asociacin puede ir acompaada por una forma verbal activa o pasiva. Es posible precisar el rol de una clase al interior de una asociacin.
registra a >
Universidad
< estudia en
Alumno
empleador
docente
Universidad
estudiante
Persona
60
Multiplicidad
Los roles continen tambin una informacin de multiplicidad que precisa el nmero de instancias que participan en la relacin.
1 0..1 ..
*
0..* 1..*
e p ea
cente
Unive si a
0..1
est
iante
Pe s na
61
La Agregacin
Una relacin expresa una forma de acoplamiento entre abstracciones. La fuerza del acoplamiento depende de la naturaleza de la relacin en el mbito del problema. De modo predeterminado, la asociacin expresa un acoplamiento dbil. La agregacin es una forma particular de asociacin que expresa un acoplamiento ms fuerte entre clases. La agregacin permite representar relaciones del tipo todo y partes o compuesto y componentes.
Ing. Juan Alfaro Bernedo PhD(c) 62
Representacin de la agregacin
Se representa como una asociacin, con el aadido de un pequeo rombo colocado al lado del agregado. La agregacin favorece la propagacin de los valores de atributos y de operaciones del agregado hacia las partes o componentes. Cuando la multiplicidad del agregado vale 1, la destruccin del agregado entraa la destruccin de las partes.
Ing. Juan Alfaro Bernedo PhD(c)
1 Auto
1
Motor
padre
Persona
ijos
0 2
63
Las jerarquas o clasificaciones permiten gestionar la complejidad ordenando los objetos dentro de rboles de clases de abstraccin creciente. La generalizacin y la especializacin son puntos de vista centrados en las jerarquas de clases.
Abstraccin
Objetos e Instancias
?
MUJER PERSONA ( Clase ) HOMBRE ( Sub Clase )
Civil
64
La Generalizacin
Abstracciones ms generales
Consiste en factorizar los elementos comunes (atributos, operaciones y restricciones) de un conjunto de clases en una clase ms general llamada superclase.
Auto
Ve culo
Ve iculo terrestre
Ve culo areo
Camin
Avin
Helicoptero
65
La Especializacin
Permite capturar las particularidades de un conjunto de objetos no discriminados por las clases ya identificadas. Las nuevas caractersticas se representan por una nueva clase, sub clase de una de las clases existentes.
Ve culo
Ve iculo terrestre
Ve culo areo
Auto
Camin
Avin
Helicoptero
66
Propiedades de la Generalizacin
La generalizacin solo afecta a las clases y significa : es un o es una especie de. No establece ninguna indicacin de multiplicidad. No es una relacin reflexiva. No es una relacin simtrica Es una relacin transitiva.
Ve culo
Animal
NO
Ve culo
Ave
Mobil Canario
NO
SI
!
67
De las estructuras planteadas en la clasificacin de los animales mostradas, ninguna de las soluciones es satisfactoria, porque de acuerdo a los modelos propuestos el fenmeno de covariacin induce puntos de mantenimiento mltiples.
Animal
Bpedo
Cuadrpedo
Herbvoro Covariacin
Carnivoro
Herbivoro
Carnivoro
Animal
Herbvoro
Carnvoro
Bpedo
Cuadrpedo
Bpedo
Cuadrpedo 68
Generalizacin Mltiple
Aporta una solucin elegante para la construccin de clasificaciones con criterios independientes, dficiles de ordenar.
Bpedo Animal
Nro patas
Proteccin piel
Escamas
Plumas
Cuadrpedo
Alimentacin
Pelo Carnivoro
Herbvoro
Conejo
69
La covariacin no reducible
En algunos casos la covariacin existe por la propia naturaleza del mbito de la aplicacin. Esta forma de covariacin no es reducible porque afecta a dos jerarquas distintas.
1 0
Moto
Piloto
1 0
Licencia
Cross
Taxi
Cross
Taxi
Covariacin no reducible
70
1
Estado Oruga Crislida
Lepidoptero
Es esto correcto ?
NO !
Oruga Crislida
Lepidoptero
Esto es Correcto !
La generalizacin no est adaptada para representar las metamorfosis.
Ing. Juan Alfaro Bernedo PhD(c) 71
La Herencia
Tcnica de los lenguajes de programacin para construir una clase a partir de una o varias otras clases, compartiendo atributos, operaciones y, en ocasiones, restricciones, dentro de una jerarqua de clases. Las clases hijos heredan las caractersticas de sus clases antecesoras; los atributos y las operaciones declaradas en la clase padre son accesibles en la clase hijo, como si se hubieran declarado Ing. Juan Alfaro Bernedo PhD(c) localmente.
72
Cuadrpedo
Herbvoro
Carnvoro
La delegacin presenta la ventaja de reducir el acoplamiento en el modelo: por una parte, el cliente no conoce directamente al proveedor, y por otra, el proveedor puede ser modificado sobre la marcha.
Ing. Juan Alfaro Bernedo PhD(c) 73
El Principio de la Sustitucin
La clasificacin propaga el estado, el comportamiento y las restricciones. No existen medias tintas: todas las propiedades de la clase padre son vlidas integramente en la clase hijo. El principio de la sustitucin afirma que: Debe ser
posible sustituir cualquier objeto instancia de una subclase por cualquier objeto instancia de una superclase sin que la semntica del programa escrito en los trminos de la superclase se vea afectada.
74
El Polimorfismo
Describe la caracterstica de un elemento que puede tomar varias formas, como el agua que se encuentra en estado slido, lquido o gaseoso. El polimorfismo de operacin, desencadena operaciones diferentes en respuesta a un mismo mensaje. Cada subclase hereda de la especificacin de las operaciones de sus superclases, pero tiene la posibilidad de modificar localmente el comportamiento de estas operaciones.
Ing. Juan Alfaro Bernedo PhD(c)
??
Camine
75
Objeto Iterador
El diagrama siguiente representa una coleccin polimorfa. Todos los animales Zoo saben dormir, pero c/raza 1 tiene su forma particular. Los mecanismos generales escritos segn la especificacin del ZOO no necesitan conocer los gustos Len particulares de cada raza para invocar la operacin Dormir ( Dormir ( ) ). { Sobre el vientre Un iterador es un objeto } asociado a una coleccin que permite visitar todos sus elementos sin desvelar su estructura interna. Ing. Juan Alfaro Bernedo PhD(c)
Animal Dormir ( )
Tigre
Oso
Dormir ( ) { En un arbol }
76
El iterador es activo cuando el control de la iteracin se deja al usuario por medio de las 4 operaciones siguientes :
Iterador
Inicializar ( ) Siguiente ( ) Valor ( ) Terminado( )
Inicializar, permite tener en cuenta los elementos presentes en un momento dado en la coleccin. Siguiente, permite el paso al elemento siguiente. Valor, que devuelve el elemento actual. Terminado, que es verdad cuando todos los elementos han sido visitados.
Ing. Juan Alfaro Bernedo PhD(c) Zoo 1
Animal Dormir ( )
Len
Tigre
Oso
77
El ejemplo precedente slo funciona si cada Animal comprende el mensaje Dormir( ). Los mecanismos que implementan el polimorfismo manipulan objetos a travs de las especificaciones de sus superclases. Para que el polimorfismo funcione efectivamente, es necesario que se verifique el principio de sustitucin.
Volar ( )
Aguila
Gorrin
Avestruz
Lo mostrado no tiene consecuencias mientras nadie escriba un mecanismo general para manipular los pjaros.
79