UML Domine el lenguaje de modelado más utilizado en la actualidad

Ingeniería Inversa Mochila podemos llegar hasta la clase Cuaderno, pero el camino inverso no es posible según lo especificado en el código. La navegabilidad se ve reflejada con la cruz en el extremo izquierdo de la asociación ubicaciones, sobre la clase Mochila. Mochila -Marca : String -ubicaciones : cuaderno!) ubicaciones “X------------ > Cuaderno -cantHojas : int +largo : int +alto : int +saquenHojas(cant : int) : void CuadernoCuadriculado +desc String F igu ra 14. La herram ienta nos genera correctamente un diagrama de clases con todas las interacciones reflejadas según el código fuente. Generación de modelos desde máquinas de estado Si bien la principal salida en la generación automática de modelos son los diagramas de clase dentro de los modelos estáticos y los diagramas de secuencia dentro de los modelos dinámicos, existe un conjunto de situaciones a partir de las cuales podemos obtener diagramas de estado. Es muy común, dentro del modelado del comporta­ miento operacional, la utilización de mecanismos como autómatas finitos, los cuales se componen entre sí para ilustrar las fiincionalidades del sistema. Este tipo de espe­ cificación puede ser un punto de partida para la generación de diagramas de estados UML. De esta manera, conectamos dos tipos de especificaciones diferentes para poder ver y analizar el sistema desde diferentes ángulos y puntos de vista. ir RAMAS DEL MODELADO Existen dos ramas para encarar el modelado del comporlamiento de un sistema. El modelado ope- racional se basa en una visión algorítmica con un fuerte peso de la especificación sobre las opera­ ciones y métodos. Un enfoque declarativo se concentra en las propiedades del sistema. La distinción es similar a la que existe entre la programación imperativa y la programación declarativa. 249