寻找Harel状态图表工具

Question

我正在寻找可以Harel state transition diagrams的建模系统。关于该系统的论文是here。特别是我想要一个允许的系统：

1. 状态图建模
2. 放大和缩小状态，以及在某个缩放级别自动隐藏状态
3. 并发状态，如文件
所述
4. 协作编辑的能力（不是必需的，但会非常好）

有关您使用的内容和原因的任何信息都是非常宝贵的。谢谢。

Answer 1

Yakindu看起来不错：https://stackoverflow.com/a/10081752/506073

直接链接：http://www.statecharts.org

Answer 2

  

Harel statecharts [5]正在获得广泛使用，因为变体已成为统一建模语言（UML）的一部分。 （维基）

因此，任何UML图表工具都可以满足您的需求。我可以建议SPARX EA UML工具。您可以从他们的网页下载免费试用版。 http://www.sparxsystems.com/

• 工具允许您协作建模（！）（将项目文件放在共享网络驱动器上，复制，XMI导入/导出）

• 它支持UML 2（您可以显示并发状态/子状态）

• 放大和缩小状态?? 您可以通过创建状态复合状态来实现这一点（因此状态的详细信息将隐藏在第一个图表中，当您单击该状态时，您可以能够达到其内部细节）

PS：

实际上，没有UML工具可以为您提供协同建模的能力。您可以使用简单的工具进行协作建模。然后在需要时使用doc工具。

  

房间，墙壁和用品   白板或“白板”http://www.craiglarman.com/wiki/index.php?title=Course_Environment_-_Workshop_Style7