Yakindu Statechart Tools

Yakindu Statechart Tools

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

特征

分类目录

iPhone版Yakindu Statechart Tools的替代品

MATLAB

MATLAB

企业级计算环境和用于数字计算的编程语言。