图形有限状态机编辑器

Question

我正在寻找一个复杂的图形FSM编辑器,它可以以一个记录良好的输出格式导出模型,如SCXML或类似的.

任何人都可以推荐我一个工具吗？

Answer 1

我刚刚开始看YAKINDU - 看起来它可能是一个构建在Eclipse框架之上的出色的图形FSM工具,并且具有(IIUC)状态图的自动代码生成功能.

Answer 2

我发现这个非常有趣的软件

DRAKON是俄罗斯太空计划规范的视觉语言.DRAKON用于捕获需求并构建控制航天器的软件.

http://drakon-editor.sourceforge.net/

它是先进的软件.它可以生成ERlang,以及许多其他语言,状态机代码.http://drakon-editor.sourceforge.net/erlang_auto.html

它是免费的/ OSX/Windows

.

Answer 3

我不确定这是不是你要找的东西,但是看到你的问题没有太多的答案我会把它扔出去.Ragel是一个有限状态机编译器,它将输出C/C++/Java等等.它本身不是视觉的(你不能用图形方式设计状态机,你使用代码)但它能够使用GraphViz来可视化状态机.

Answer 4

如果你想生成代码(C++或Python),fsme做得很好.我已经成功地使用它创建了许多非常复杂的状态机,并且会再次使用它来做类似的事情.