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

8. MODELADOAVANZADO Podemos comenzar modelando desde autómatas finitos y luego pasar a trabajar dentro de UML con un modelo equivalente. Esto nos permite adaptarnos y mode­ lar cada característica con el mecanismo más natural para ella, ya que siempre es posible obtener un modelo equivalente expresado en el otro mecanismo. Recordemos que también podemos pasar de diagramas de estado UM L a código de autómatas finitos. Estas herramientas nos dan muchísima flexibilidad para trabajar dentro de la etapa de modelado, la cual es fiindamental y crítica en etapas tempra­ nas. Una especificación rígida nos puede llevar a tomar decisiones prematuras. Visual Paradigm contiene un constructor específico para transformar autómatas en diagramas de estado. Dentro de la solapa de Código de Máquina de Estados, en el menú Herramientas, tenemos la opción Código de Inversión que nos permite ingre­ sar la carpeta que contiene el código de un autómata, para así generar un nuevo dia­ grama de estado a partir de ésta. Aplicación Consideremos este pequeño y simple autómata que modela a alto nivel de detalle el comportamiento de un servidor dentro de un protocolo de comunicación. %start AutoFSM:rSinConexion SinConexion { pedido Configurando {} } Configurando { datosOK Confirmado {} } Confirmado { fin SinConexion {} } Si lo analizamos vemos que cuenta únicamente con tres estados. El servidor comienza su ejecución desde su estado inicial SinConexion. La ocurrencia de un evento de tipo pedido hace que el servidor cambie de estado y arribe a un esta­ do Configurando. Aquí el sistema inicializará variables y dispondrá todo para cumplir con el pedido que ha recibido. Cuando todo se encuentra perfectamen­ 250