Yakindu Statechart Tools

免费使用、开源的YAKINDU状态图工具（SCT）提供了一个集成建模环境，用于基于状态图概念规范和开发反应式事件驱动系统。

编辑
Yakindu状态图工具（SCT）采用直观的图形与文本符号结合方式。状态、转换和状态层次结构为图形元素，所有声明和动作均通过文本符号定义。状态图编辑器的可用性针对此类状态图的使用进行了优化。

验证
状态图的验证包括对完整状态图的语法和语义检查。验证示例包括检测不可达状态、死端以及对未知事件的引用。这些验证约束在编辑过程中实时检查。

仿真
除结构验证外，动态语义的检查至关重要。仅凭视觉检查无法判断状态图的正确性。因此，用户必须能够执行其所构建的状态图。集成的状态图仿真引擎满足这一需求。用户可直接在建模环境中运行状态图。活跃状态会在状态图编辑器中被直接高亮显示，专用仿真视图则提供执行控制（启动、停止、暂停、恢复）、变量查看与设置以及事件触发功能。

代码生成
Yakindu状态图工具（SCT）包含Java、C和C++的代码生成器。代码生成器采用“纯代码”方法，不依赖任何额外运行时库。生成的代码提供清晰定义的接口，可轻松与任意客户端代码集成。生成的代码结构清晰、易于阅读，便于高效维护。