Language agnostic 自动设计状态机

在这些日子里，我正在设计一个非常复杂的软件，只有用一个经过深思熟虑的状态机才能设计得很好。我的问题是，超过一定程度的复杂性，在一张纸上绘制状态机会变得一团糟

是否有一个软件可以自动进行布局？我正在搜索具有以下功能的内容：

• 语言不可知论
• 基于某种状态定义语言
• 某种程度上类似于Graphviz点（从布局的角度来看），但支持状态机语义，而不仅仅是泛型图
• 可能是言论自由，而不是啤酒自由
• 可能允许结果图的矢量输出

---

感谢您的帮助：）

尽管通常不被认为是状态机表示，但Jackson结构化编程图也可以这样使用。当应用程序涉及大量数据操作时，我更喜欢它们而不是状态转换图。它们可以显示整体画面，并为附在图表页上的数据操作提供大量空间

我在搜索中发现了以下两个工具：

这是由杰克逊方法的创始人制作的。我熟悉他们的旧工具。这些旧工具在语法上支持状态机的所有构造——循环；选择权；和状态序列。它们提供了一种内部语言，这是一种状态机语言。它们还支持从选择和迭代中回溯的JSD概念。旧的工具不支持状态机的一些改进——循环至少完成一次；前缀、中缀和后缀；和嵌套状态机。我不知道这些改进是否在当前工具中可用。这个工具可能会很昂贵，不过我手头也没有成本

。我没有关于这个工具的信息。它似乎只是一个图表，而且只基于Mac。目前尚不清楚它是否支持状态图语义的任何方面，但它是免费的