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

7. MÁQUINAS DE ESTADO Figura 10. Todas las opciones para especificar una transición en Visual Paradigm. Con respecto a las condiciones, es importante hacer una aclaración. La herramien­ ta Visuai Paradigm no provee un motor interno de razonamiento para asegurar con­ sistencia y correcritud en los predicados transmitidos por las condiciones. De hecho, muy pocas herramientas brindan esta utilidad. Los problemas que pueden surgir son varios. Por ejemplo, consideremos una condición del estilo P>10 Y P < 9: no puede cumplirse nunca y la transición nunca será habilitada. Quizás un caso así sea simple de detectar, pero cuando la inconsistencia proviene de distintas acciones ya deja de ser sencillo rastrear el error. Finalmente, las opciones concluyen con la clásica sección de docum en tación . Especificar requerimientos temporales Como mencionamos en la sección anterior, podemos agregar a los diagramas de objetos distintos elementos para aumentar su poder expresivo. Uno de ellos es la posibilidad de trabajar con variab les, como fue el caso del contador para los inten- m DOCUMENTACION La sección de documentación está en todas las especificaciones de una entidad de Visual Paradigm. Luego, la herramienta nos permite generar automáticamente toda la documentación, lo que representa un valioso aporte. Cuando se genera código automáticamente se incluyen estos comentarios con los constructores adecuados según el lenguaje de salida seleccionado. 222