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