有没有建模/模拟软件并发性的工具？

https://stackoverflow.com/questions/1948474

21-09-2019
|

题

是否有一个好的工具可以以图形方式对应用程序并发/锁定方案进行建模并可以模拟某些方面？

我知道 Petri 网或多或少可以用于此目的，但我不知道可以设计和模拟的良好 GUI 工具。

UML 是否可以以任何方式用于此类目的？

非常感谢任何好的链接。

解决方案

UML 活动图可以表示为 Petri 网（例如请参阅本文）。不幸的是，我不知道有什么好的面向工业的工具来模拟 Petri 网或活动图（但是您可以轻松找到许多学术项目）。

您确定要模拟您的模型吗（通过模拟，我的意思是您实际上想坐下来看看您的 Perti 网络是如何执行的）？通常这种类型的分析适用于小型且简单的算法。在现实世界的情况下，你可能想做模型检验你的算法而不是模拟。我建议您检查 SPIN（许多公司都在使用，例如西门子）。我也有一个积极的经历合金和棱镜. 。但如果您的重点是验证并行算法，我建议您首先考虑 SPIN。

编辑：我检查了一些模拟工具，我可以建议看看

1) http://sourceforge.net/projects/visual-petri/

2) http://www.renew.de/

3) http://www.winpesim.de/index.html

其他提示

SPIN 是分布式系统的验证的流行工具，但是命令行仅我想。但在自旋网页存在于所谓的目标密切相关的GUI工具的链接

我怀疑这是你在找什么，但我会在我的两分钱抛出：

在我的大学，在我们的并发软件系统类中，我们使用一个名为工具标记转换系统分析器（LTSA）。它实际上是你可以使用一个系统的行为建模语言。

“代码”变成的状态图和一个转换表。

这里是一个交互式Java小程序它可以设计和运行Petri网。

它是因为我已经看着它很长一段时间，但它听起来像托勒密将是一个很好的选择。

您可以检查 Petri网辛，模拟普通/定时/有色Petri网，它带有一个很好的GUI，显示在实时Petri网执行。