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

编辑功能
Yakindu 状态图工具（SCT）采用直观的图形与文本表示相结合的方式。状态、转换和状态层次结构是图形元素，而所有声明和动作则通过文本表示来定义。该状态图编辑器的可用性针对处理此类状态图进行了优化。

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

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

代码生成
Yakindu 状态图工具（SCT）包含用于 Java、C 和 C++ 的代码生成器。这些代码生成器采用“仅生成代码”的方法，不依赖任何额外的运行时库。生成的代码提供了明确的接口，可轻松集成到任何客户端代码中。生成的代码也具有良好的可读性和结构，便于高效维护和使用。