Description

El kit de herramientas de código abierto y de uso libre YAKINDU Statechart Tools (SCT) proporciona un entorno de modelado integrado para la especificación y el desarrollo de sistemas reactivos controlados por eventos basados en el concepto de statecharts.

Edición < br> Yakindu Statechart Tools (SCT) presenta una combinación intuitiva de notación gráfica y textual. Mientras que los estados, las transiciones y las jerarquías de estados son elementos gráficos, todas las declaraciones y acciones se especifican mediante una notación textual. La facilidad de uso del editor de gráficos de estado está optimizada para trabajar con estos gráficos de estados.

Validación
La validación de statecharts incluye controles de sintaxis y semánticos de la gráfica de estado completa. Ejemplos de validaciones son la detección de estados inalcanzables, callejones sin salida y referencias a eventos desconocidos. Estas restricciones de validación se verifican en vivo durante la edición.

Simulación
Además de la validación estructural, es crucial verificar la semántica dinámica. No es posible determinar la exactitud de un gráfico de estado solo por examen visual. Por lo tanto, el usuario debe poder ejecutar las fichas de estado en las que está trabajando. El motor integrado de simulación statechart responde a estas necesidades. El usuario puede ejecutar estadísticas directamente en el entorno de modelado. Los estados activos se destacan directamente en el editor de gráficos de estado y una perspectiva de simulación dedicada ofrece acceso a los controles de ejecución (iniciar, detener, pausar, reanudar), inspección y configuración de variables, así como a eventos.

Generación de código
Yakindu Statechart Tools (SCT) incluye generadores de código para Java, C y C ++. Los generadores de código siguen un enfoque de "solo código" y no dependen de ninguna biblioteca de tiempo de ejecución adicional. El código generado proporciona una interfaz bien definida y se puede integrar fácilmente con cualquier código de cliente. El código generado también se puede leer y estructurar de tal manera que permita una gran eficiencia

Categorías