Yakindu Statechart Tools

免费使用的开源工具包Yakindu Statechart Tools (SCT) 为基于状态图概念的反应式事件驱动系统的规范和开发提供了集成建模环境。 编辑Yakindu Statechart Tools (SCT) 具有图形和文本符号的直观组合。虽然状态、转换和状态层次结构是图形元素，但所有声明和操作都是使用文本符号指定的。状态图编辑器的可用性针对这些状态图进行了优化。 验证 状态图的验证包括完整状态图的语法和语义检查。验证的示例包括检测无法到达的状态、死胡同以及对未知事件的引用。这些验证约束在编辑过程中进行实时检查。 模拟 除了结构验证之外，检查动态语义也至关重要。仅通过目视检查不可能确定状态图的正确性。因此，用户必须能够执行他正在处理的状态图。集成状态图仿真引擎满足了这些需求。用户可以直接在建模环境中执行状态图。活动状态直接在状态图编辑器中突出显示，专用的模拟透视图可以访问执行控制（启动、停止、暂停、恢复）、检查和设置变量以及引发事件。 代码生成Yakindu Statechart Tools (SCT) 包括 Java、C 和 C++ 的代码生成器。代码生成器遵循“仅代码”方法，不依赖任何额外的运行时库。生成的代码提供了定义良好的接口，并且可以轻松地与任何客户端代码集成。生成的代码也是可读的，并且以允许非常有效的方式结构化。

Yakindu Statechart Tools 是一个免费开源的工具包，提供集成建模环境，用于基于状态图规范和开发响应式、事件驱动系统。它帮助用户轻松创建复杂系统。