Diseo Objeto-Orientado

Los acercamientos tradicionales al diseo del software han sido datos orientados o de proceso orientados. las metodologas Dato-orientadas acentan la representacin de la informacin y de las relaciones entre las partes del conjunto. Las acciones que funcionan encendido los datos estn de menos significacin. Por otra parte, las metodologas de diseo proceso-orientadas acentan las acciones realizadas por un artefacto del software; los datos son de poca importancia. Ahora se sostiene comnmente que las metodologas orientadas al objeto son ms eficaces para manejar la complejidad que que se presenta en el diseo de los artefactos grandes y complejos del software que las metodologas dato-orientadas o proceso-orientadas. Esto es porque los datos y los procesos se dan importancia igual. Los objetos se utilizan para combinar datos con los procedimientos que funcionan encendido esos datos. La ventaja principal de usar objetos es que proporcionan la abstraccin y la encapsulacin.

Abstraccin Encapsulacin

Abstraccin.
La abstraccin se puede pensar como un mecanismo para suprimir los detalles inaplicables mientras que en el mismo tiempo que acenta los relevantes. Una ventaja importante de la abstraccin es que hace ms fcil para que el programador piense del problema que se solucionar. Por ejemplo, la abstraccin procesal deja a diseador del software pensar de las acciones que se realizarn sin la preocupacin de cmo se ponen en ejecucin esas acciones. Semejantemente, la abstraccin de los datos deja a diseador del software, pensar de los objetos en un programa y las interacciones entre esos objetos sin tener que preocuparse de cmo se ponen en ejecucin esos objetos. Hay tambin muchos diversos niveles de la abstraccin. Ms bajos son los niveles de la abstraccin exponen a ms de los detalles de una puesta en prctica mientras que los niveles ms altos ocultan a ms de los detalles.

Encapsulacin
La encapsulacin ayuda al diseador del software haciendo cumplir ocultar la informacin. Los objetos encapsulan datos y los procedimientos para manipular esos datos. En un sentido, el objeto oculta los detalles de la puesta en prctica del usuario de ese objeto. Hay dos ventajas muy verdaderas de la independencia conceptual y fsica de la encapsulacin. La independencia conceptual resulta de ocultar la puesta en prctica de un objeto del usuario de ese objeto. Por lo tanto, previenen al usuario de hacer cualquier cosa con un objeto que dependa de la puesta en prctica de ese objeto. Esto es deseable porque permite que la puesta en prctica sea cambiada sin requerir la modificacin del cdigo del usuario. La independencia fsica se presenta del hecho de que el comportamiento de un objeto es determinado por el objeto s mismo. El comportamiento de un objeto no es determinado por alguna entidad externa. Consecuentemente, cuando realizamos una operacin en un objeto, no hay efectos secundarios indeseados.

Jerarquas del objeto y patrones del diseo

Hay ms a la programacin orientada objeto que simplemente encapsulando en un objeto un ciertos datos y los procedimientos para manipular esos datos. Los mtodos orientados al objeto se ocupan tambin de la clasificacin de objetos y tratan las relaciones entre diversas clases de objetos. La facilidad primaria para expresar relaciones entre las clases de objetos es derivacin -las nuevas clases se pueden derivar de clases existentes. Qu hace la derivacin as que til es la nocin de la herencia. Las clases derivadas heredan las caractersticas de las clases de las cuales se derivan. Adems, la funcionalidad heredada puede ser eliminada y la funcionalidad adicional se puede definir en una clase derivada. Una caracterstica de este libro es que virtualmente todas las estructuras de datos estn presentadas en el contexto de una sola jerarqua de la clase. En efecto, la jerarqua de la clase es una taxonoma de las estructuras de datos. Diversas puestas en prctica de una estructura de datos abstracta dada todas se derivan de la misma clase baja abstracta. Las clases bajas relacionadas alternadamente se derivan de las clases que abstraen y encapsulan las caractersticas comunes de esas clases. Adems de ocuparse de las clases jerrquico relacionadas, los diseadores orientados al objeto experimentados tambin consideran muy cuidadosamente las interacciones entre las clases sin relacin. Con experiencia, un buen diseador descubre los patrones que se repiten de interacciones entre los objetos. Aprendiendo utilizar estos patrones, sus diseos orientados al objeto llegarn a ser ms flexibles y reutilizables. Recientemente, los programadores tienen un nombre comenzado en el diseo comn del model. Adems, los catlogos de los patrones comunes ahora se estn compilando y publicando [14 ]. Los patrones orientados al objeto siguientes del diseo se utilizan a travs de este texto:

Containers , Envases Enumerations, Enumeraciones Visitors , Visitantes Cursors, Cursores Adapters, Adaptadores Esqueletos, Singletons.

Envases
Un envase es un objeto que lleva a cabo dentro de l otros objetos. Un envase tiene una capacidad, puede estar lleno o vacio, y los objetos se pueden insertar y retirar de un envase. Adems, un envase investigable (searchable container ) es un envase que apoya operaciones de bsqueda eficientes.

Enumeraciones
Una enumeracin proporciona los medios por los cuales los objetos dentro de un envase se pueden alcanzar uno-en-uno-tiempo. Todas las enumeraciones comparten un interfaz comn, y ocultan la puesta en prctica subyacente del envase del usuario de ese envase

Visitantes
Un visitante representa una operacin que se realizar en todos los objetos dentro de un

envase. Todos los visitantes comparten un interfaz comn, y de tal modo ocultan la operacin que se realizar del envase. En el mismo tiempo, definen a los visitantes por separado de los envases. As, un visitante particular puede ser utilizado con cualquier envase.

Cursores.
Un cursor representa la posicin de un objeto en un envase pedido. Provee del usuario una manera de especificar donde est ser realizada una operacin sin tener que saber se representa esa posicin.

Adaptadores.
Un adaptador convierte el interfaz de una clase en el interfaz esperado por el usuario de esa clase. Esto permite que una clase dada con un interfaz incompatible sea utilizada en una situacin donde un diverso interfaz espera.

Esqueletos. Singletons
Un esqueleto es una clase de la cual hay solamente un caso. La clase se asegura de que all solamente un caso est creado y proporciona una manera de tener acceso a ese caso.

Las caractersticas de Java que usted necesita conocer.

Este libro no ensea los fundamentos de la programacin. Se asume que usted ha tomado un curso preliminar en la programacin y que usted ha aprendido cmo escribir un programa en Java. Es decir, usted ha aprendido que las reglas del sintaxis y de usted de Java han aprendido cmo poner juntas las declaraciones de Java para solucionar problemas de programacin rudimentarios. Los prrafos siguientes describen ms completamente aspectos de la programacin en Java con la cual usted deba ser familiar.

Variables Tipos primitivos y tipos de la referencia Pasando Parametros Clases y objetos Herencia Interfaces y polimorfismo Otras Caractersticas

Variables.
Usted debe ser muy cmodo con la nocin de una variable como abstraccin para una regin de una memoria. Una variable tiene cualidades tales como nombre, tipo, valor, tamao de la direccin, curso de la vida, y alcance.

Tipos primitivos y tipos de la referencia.

Usted debe entender las diferencias entre los tipos primitivos y los tipos de la referencia. En detalle, usted debe entender las diferencias sutiles que se presentan al asignar y comparando tipos de la referencia.

Pasando Parametros.
All mecanismos el un pasar de parmetro en Java: pasar-por-valor. Es esencial que usted entiende cmo el pasar-por-valor trabaja para los tipos primitivos y para los tipos de la referencia.

Clases y objetos.
Una clase de Java encapsula un sistema de valores y un sistema de operaciones. Los valores son representados por los campos de la clase y las operaciones por los mtodos de la clase. En Java una definicin de la clase introduce un nuevo tipo. Los casos de un tipo de la clase se llaman los objetos

Herencia.
En Java una clase se puede derivar de otra. La clase derivada hereda todos los campos y los mtodos de la clase o de las clases baja. Adems, los mtodos heredados se pueden eliminar en la clase derivada y los nuevos campos y funciones pueden ser definidos. Usted debe entender cmo el recopilador determina el cdigo para ejecutarse cuando se llama un mtodo particular.

Interfaces y polimorfismo.
Una interfaz de Java abarca un sistema de prototipos del mtodo. Diversas clases pueden poner la misma interfaz en ejecucin. De esta manera, polimorfismo de las instalaciones de Java la idea que una abstraccin dada puede tener muchas diversas formas. Usted debe entender cmo los interfaces se utilizan junto con clases abstractas y herencia para apoyar polimorfismo.

Otras Caractersticas.
Este libro hace uso otras caractersticas de Java tales como excepciones y tipo run-time informacin. Usted puede aprender sobre estos asuntos mientras que usted trabaja su manera a travs del libro.

Cmo Se organiza Este Libro.

Modelos y anlisis asinttico. Estructuras De Datos Foundational. Tipos de datos abstractos y la jerarqua de la clase. Estructuras De Datos. Algoritmos.

Modelos y anlisis asinttico.

Para analizar el funcionamiento de un algoritmo, necesitamos tener un modelo de la computadora. El captulo presenta una serie de tres modelos, cada menos exacta pero ms fcil utilizar que su precursor. Estos modelos son similares, en que requieren una contabilidad cuidadosa de las operaciones realizadas por un algoritmo. Despus, el captulo presenta anlisis asinttico. Esto es una tcnica matemtica extremadamente til porque simplifica grandemente el anlisis de algoritmos. El anlisis asinttico evita la necesidad de una contabilidad detallada de las operaciones realizadas por un algoritmo, con todo en el mismo tiempo da un resultado muy general.

Estructuras De Datos Foundational.

Al poner una estructura de datos en ejecucio'n, debemos decidir primero si utilizar un arsenal o una lista encadenada como la tcnica de organizacin subyacente. Por esta razn, el arsenal y la lista encadenada se llaman las estructuras de datos foundational. El captulo tambin cubre rdenes y matrices multidimensionales.

Tipos de datos abstractos y la jerarqua de la clase.

El captulo introduce la nocin de un tipo de datos abstracto. Todas las estructuras de datos discutidas en este libro se presentan como casos de los varios tipos de datos abstractos. El captulo tambin introduce la jerarqua de la clase as como los varios conceptos relacionados tales como enumeraciones y visitantes.

Estructuras De Datos.
El captulo cubre apilados, coletas, y deques. Las listas pedidas y las listas clasificadas se presentan en captulo. El concepto del hashing se introduce en captulo. Este captulo tambin cubre el diseo de las funciones del picadillo para un nmero de diversos tipos del objeto. Finalmente, se presentan las tablas del picadillo y las tablas de la dispersin.

Los rboles y los rboles de la bsqueda se presentan en captulos y. Los rboles son una de las estructuras de datos no lineares ms importantes. El captulo tambin cubre los varios traversals del rbol, incluyendo profundidad-primer traversal traversal y breadth-first. El captulo presenta coletas de la prioridad y el captulo cubre sistemas, multijuego, y particiones. Un elemento esencial del sistema run-time de Java es la piscina del almacenaje dinmicamente asignado. El captulo presenta un nmero de diversos acercamientos para poner la coleccin de la basura en ejecucio'n, en el proceso que ilustra los costes reales asociados a la asignacin de almacenaje dinmica.

Algoritmos.
Los tres captulos pasados del libro se centran en algoritmos, ms bien que estructuras de datos. El captulo es una descripcin de varios patrones algortmicos. Introduciendo la nocin de un solver abstracto del problema, demostramos cuntos de los patrones son relacionados. El captulo utiliza un acercamiento similar para presentar varios algoritmos que clasifican. Es decir, introducimos la nocin de un compaginador abstracto y demostramos cmo los varios algoritmos que clasifican son relacionados. Finalmente, el captulo da a breve descripcin del tema de grficos algoritmos de un grfico. Este captulo trae juntas varias tcnicas algortmicas del captulo con la jerarqua de la clase discutida en los captulos anteriores.

Anlisis Del Algoritmo

Cul es un algoritmo y porqu nosotros desean analizar uno? Un algoritmo es ``... gradualmente un procedimiento para lograr algn end.''[9 ] que un algoritmo se puede dar de muchas maneras. Por ejemplo, puede ser anotado en lengua inglesa (o francesa, o cualquier otra `` natural del ''). Sin embargo, estamos interesados en los algoritmos que se han especificado exacto usando un formalismo matemtico apropiado -- tal como un lenguaje de programacin. Dado tal expresin de un algoritmo, qu podemos hacer con l? Bien, podemos funcionar obviamente el programa y observar su comportamiento. Esto no es probable ser muy til o informativo en el caso general. Si funcionamos un programa particular sobre una computadora particular con un sistema particular de entradas, despus todos saben son el comportamiento del programa en un solo caso. Tal conocimiento es anecdtico y debemos tener cuidados al dibujar las conclusiones basadas sobre evidencia anecdtica. Para aprender ms sobre un algoritmo, lata `` analizamos el '' l. Por esto significamos estudiar la especificacin del algoritmo y dibujar conclusiones sobre cmo la puesta en prctica de ese algoritmo -- el programa -- se realizar en general. Pero qu podemos analizar? Podemos...

determine el tiempo en marcha de un programa en funcin de sus entradas; determine la memoria total o mxima necesitada para los datos del programa; determine el tamao total del cdigo del programa; determnese si el programa computa correctamente el resultado deseado; determine la complejidad del programa -ejemplo., cmo es fcil es a leer, a entender, y a modificarse; y, determine la robustez del programa -ejemplo., se ocupa cmo bien de las entradas inesperadas o errneas?

En este texto, nos referimos sobre todo al tiempo en marcha. Tambin consideramos la memoria necesitada para ejecutar el programa. Hay muchos factores que afectan el tiempo en

marcha de un programa. Entre stos estn el algoritmo s mismo, los datos de entrada, y el sistema informtico usado para funcionar el programa. El funcionamiento de una computadora se determina cerca el hardware: procesador usado (tipo y velocidad), memoria disponible (cache y RAM), y disco disponible; el lenguaje de programacin en el cual se especifica el algoritmo; el lenguaje compilador/interprete utilizado; y el software de sistema operativo de la computadora.

Un anlisis detallado del funcionamiento de un programa que tome todos estos factores en cuenta es una empresa muy difcil y desperdiciadora de tiempo. Adems, tal anlisis no es probable tener significacin duradera. El paso rpido del cambio en las tecnologas subyacentes significa que los resultados de tales anlisis no son probables ser aplicables a la generacin siguiente del hardware y del software. Para superar este defecto, ideamos un modelo del comportamiento de una computadora con las metas de simplificar el anlisis mientras que todava producen resultados significativos. La seccin siguiente introduce la primera en una serie de tales modelos. Un modelo detallado de la computadora. Un modelo simplificado de la computadora. Ejercicios. Proyectos.

Un modelo detallado de la computadora

En esta seccin desarrollamos un modelo detallado del funcionamiento del tiempo en marcha de los programas de Java. El modelo desarrollado es independent del hardware y del software del sistema subyacentes. Ms bien que analice el funcionamiento de un detalle, mquina fsica arbitrariamente elegida, nosotros modelan la ejecucin de un programa de Java sobre el virtual de la mquina de Java (vase la figura).