FUNDAMENTOS DE PROGRAMACIN

INVESTIGACIN MODELOS Y MODELADO DE SISTEMAS UML

MODELOS Y MODELADOS DE SISTEMAS Los modelos son un medio para simplificar y analizar situaciones o sistemas complejos. La creacin y el uso de modelos ofrecen un marco de referencia para la administracin. Los modelos son el ncleo de la administracin racional. El modelo del sistema se expresa utilizando un lenguaje de modelado que puede variar desde lenguaje natural o diagramas hasta frmulas matemticas. Un modelo se califica como informal cuando esta expresado mediante lenguaje natural, figuras, tablas u tras notaciones. Por otra parte, nos referimos a modelos formales cuando la notacin empleada es un formalismo, es decir posee una sintaxis y semntica precisamente definidos. Existen estilos de modelado intermedios llamados semi-formales, ya que en la prctica los ingenieros de software frecuentemente usan notacin cuya sintaxis y semntica estn parcialmente formalizadas. Algunos lenguajes resultan atractivos para los usuarios ya que aparentemente son fciles de entender y aplicar. Sin embargo, la falta de precisin en la definicin de su semntica puede originar diversos problemas como los siguientes; Malas interpretaciones de los modelos: la especificacin del lenguaje contiene ambigedades que permiten que un mismo modelo sea interpretado de diferentes formas. La interpretacin que realiza el usuario que lee el modelo puede no coincidir con la interpretacin que realizo el creador del modelo. Inconsistencia entre los diferentes modelos del sistema: la relacin existente entre los diferentes sub-modelos que componen el modelo de un sistema no est precisamente especificada. Por lo tanto no es posible analizar la consistencia de la integracin. Discusiones acerca del significado del lenguaje: dado que el significado de algunas construcciones del lenguaje no est precisamente definido, las personas involucradas en el proyecto suelen perder tiempo discutiendo las diferentes posibles interpretaciones que pueden asignarse al lenguaje. Conflictos de evolucin: cuando un modelo es modificado pueden producirse efectos colaterales no previstos sobre otros modelos dependientes.

La necesidad de integrar lenguajes grficos, cercanos a las necesidades del dominio de aplicacin con tcnicas formales de anlisis y verificacin puede satisfacerse combinando ambos tipos de lenguaje. La idea bsica para obtener una combinacin til consiste en ocultar los formalismos matemticos detrs de

la notacin grfica. De esta manera el usuario solo debe interactuar con el lenguaje grfico, pero cuenta adems con la base formal provista por el esquema matemtico subyacente. Esta propuesta ofrece claras ventajas sobre el uso de un lenguaje informal as como tambin sobre el uso de un lenguaje formal, ya que permite que los desarrolladores de software puedan crear modelos formales sin necesidad de poseer un conocimiento profundo acerca del formalismo que los sustenta. Un lenguaje que posea estas caractersticas ser fcilmente aceptado tanto por la parte de los ingenieros de software, como por parte de los usuarios. El modelado es una palabra clave en los mtodos agiles, el modelado gil aprovecha la oportunidad de crear modelos. Estos pueden ser modelos lgicos tales como de sistemas o modelos como prototipos. gil es la otra palabra clave en el modelado gil. Ya que significa maniobrabilidad. Los sistemas actuales, sobre todo aquellos que se basan en web, representan una doble demanda: liberar el software tan pronto como sea posible y mejorarlo continuamente para agregar nuevas caractersticas. Un analista de sistemas debe tener la habilidad y mtodos para crear las aplicaciones dinmicas, contextuales, escalables y evolutivas. El modelo gil tal como un mtodo de aceptacin de cambios, no es diferente a la programacin extrema. Los modelados de mquina de estados son una buena aproximacin independiente del lenguaje de representar al diseo de un sistema de tiempo real.

MODELO UML El lenguaje de modelo unificado, es la sucesin de una serie de mtodos de anlisis y diseo orientados a objetos que aparecen a fines de los 80s y principios de los 90s. UML es llamado un lenguaje de modelado, no un mtodo. Los mtodos consisten de ambos un lenguaje de modelado y de un proceso. El UML incrementa la capacidad de lo que se puede hacer con otros mtodos de anlisis y diseo orientados a objetos. Los autores de UML apuntaron tambin al modelado de sistemas distribuidos y concurrentes para asegurar que el lenguaje maneje adecuadamente estos dominios. El lenguaje de modelado es la notacin que usan los mtodos para expresar un diseo. El proceso indica los pasos que se deben seguir para llegar a un diseo. La estandarizacin de un lenguaje de modelado es invaluable, ya que es la parte principal del proceso de comunicacin que requieren todos los agentes involucrados en un proyecto informtico. Si se quiere discutir un diseo con alguien ms, ambos deben conocer el lenguaje de modelado y no as el proceso que sigui para obtenerlo. Una de las metas principales de UML es avanzar en el estado de la integracin institucional proporcionando herramientas de interoperabilidad para el modelado visual de objetos. Sin embargo para lograr un intercambio exitoso de modelos de informacin entre herramientas, se requiri definir a UML una semntica y una notacin. La notacin es la parte grfica que se ve en los modelos y representa la sintaxis del lenguaje de modelado. Para que un proveedor pueda decir que cumple con UML debe cubrir con la semntica y con la notacin. Una herramienta de UML debe mantener la consistencia entre los diagramas en un mismo modelo. Bajo esta definicin una herramienta que solo dibuje, no puede cumplir con la notacin de UML.

MODELO DE CASOS DE USO El diagrama de casos de uso representa la forma en como un cliente opera con el sistema en desarrollo, adems de la forma, tipo y orden en como los elementos interactan. Un diagrama de casos de uso consta de los siguientes elementos: Actor: es un rol que un usuario juega con respecto al sistema. Es importante destacar el uso de la palabra rol, pues con esto se especifica que un actor no necesariamente representa a una persona en particular, sino ms bien la labor que realiza frente al sistema. Casos de uso: es una operacin o tarea especfica que se realiza tras una orden de algn agente externo, sea desde una peticin de un actor o ms bien la invocacin desde otro caso de uso. Relaciones de uso, herencia y comunicacin: Asociacin: es el tipo de relacin ms bsica que indica la invocacin desde un actor o caso de uso a otra operacin. Dependencia o instanciacin: es una forma muy particular de relacin entre clases, en la cual una clase depende de otra, es decir, se crea. Generalizacin: este tipo de relacin es uno de los ms utilizados, cumple una doble funcin dependiendo de su estereotipo, que puede ser de uso o de herencia. Este tipo de relacin est orientado exclusivamente para casos de uso.

MODELO DE CLASES Un diagrama de clases sirve para visualizar las relaciones entre las clases que involucran el sistema, las cuales pueden ser asociativas, de herencia, de uso y de contenimiento. Un diagrama de clases est compuesto por los siguientes elementos; Clase: es la unidad bsica que encapsula toda la informacin de un objeto. A travs de ella podemos modelar el entorno de estudio. En UML, una clase est representada por un rectngulo que posee tres divisiones; <nombre clase>, <atributos> y <operaciones o mtodos>. Relaciones entre clases: las relaciones de este modelo son similares al modelo de casos de uso.

Como casos particulares en encuentra la clase abstracta que se denota con el nombre de la clase y de los mtodos son la letra itlica. Esto indica que la clase definida no puede ser instanciada pues posee mtodos abstractos. La nica forma de utilizarla es definiendo subclases, que implementan los mtodos abstractos definidos.

Otro caso particular seria la clase parametrizada, que se denota con un subcuadro en el extremo superior de la clase, en donde se especifican los parmetros que deben ser pasados a la clase para que esta pueda ser instanciada. MODELADO DE OBJETOS El lenguaje modelado de objetos es un conjunto estandarizado de smbolos y de modos de disponerlos para modelar un diseo de software orientado a objetos. Algunas organizaciones los usan extensivamente en combinacin con una metodologa de desarrollo de software para avanzar de una especificacin inicial a n plan de implementacin y para comunicar dicho plan a todo un equipo de desarrolladores. El uso de un lenguaje de modelado es ms sencillo que la autntica programacin, pues existen menos medios para verificar efectivamente el funcionamiento adecuado del modelo. Esto puede suponer tambin que las interacciones entre partes del programa den lugar a sorpresas cuando el modelo ha sido convertido en un software funcionante. MODELADO DE PROCESOS El modelado de procesos, tiene dos aspectos importantes que lo definen: el modelado y los procesos. Frecuentemente, los sistemas, conjuntos de procesos y subprocesos integrados en una organizacin, son difciles de comprender, amplios, complejos y confusos; con mltiples puntos de contacto entre s y con un buen nmero de reas funcionales, departamentos y puestos implicados. Un modelo puede dar la oportunidad de organizar y documentar la informacin sobre un sistema. Un modelo es una representacin de una realidad compleja. Modelar es desarrollar una descripcin lo ms exacta posible de un sistema y de las actividades llevadas a cabo en l. Diagramar es establecer una representacin visual de los procesos y subprocesos, lo que permite obtener una informacin preliminar sobre la amplitud de los mismos, sus tiempos y los de sus actividades. Diagramar es una actividad ntimamente ligada al hecho de modelar un proceso, que es por s mismo un componente esencial en la gestin de procesos de negocios.