寻找Harel状态图工具

Question

我正在寻找一个建模系统，可以做Harel状态转换图。这个系统的论文在这里提供。具体来说，我想要一个允许以下操作的系统：

1. 状态图的建模
2. 对状态进行缩放，并在某个缩放级别下自动隐藏状态
3. 并发状态，如论文中所述
4. 协作编辑能力（非必需，但会很好）

任何关于您使用的系统及其原因的信息都将是宝贵的。谢谢。

- Stephen Cagle

---

UML的状态模型基于Harel。大多数UML工具都可以让您构建具有并发状态的分层状态模型，尽管我不知道任何可以缩放的工具。至于协作：我不知道有哪些支持交互式（并发）构建相同图表的工具，但许多支持多用户、版本控制的存储库（例如Enterprise Architect）。希望对您有所帮助。 - sfinnie

Answer 1

Yakindu 看起来不错：https://dev59.com/UV7Va4cB1Zd3GeqPHS9Y#10081752

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

- ahcox

Answer 2

Harel状态图已经成为了统一建模语言（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

- Novalis