寻找 Harel 状态图工具

Question

我正在寻找一个可以绘制Harel 状态转换图的建模系统。此处提供了有关该系统的论文。特别是我想要一个允许以下功能的系统：

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

任何有关您使用什么以及为什么使用的信息都是非常宝贵的。谢谢。

Answer 1

Harel 状态图[5] 因其变体已成为统一建模语言 (UML) 的一部分而得到广泛使用。（维基百科）

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

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

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

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

附：

实际上，没有任何 UML 工具可以为您提供协作建模的能力。您只需使用简单的工具即可进行协作建模。然后根据需要使用文档工具。

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