有没有建模/模拟软件并发性的工具?
-
21-09-2019 - |
题
是否有一个好的工具可以以图形方式对应用程序并发/锁定方案进行建模并可以模拟某些方面?
我知道 Petri 网或多或少可以用于此目的,但我不知道可以设计和模拟的良好 GUI 工具。
UML 是否可以以任何方式用于此类目的?
非常感谢任何好的链接。
解决方案
UML 活动图可以表示为 Petri 网(例如 请参阅本文)。不幸的是,我不知道有什么好的面向工业的工具来模拟 Petri 网或活动图(但是您可以轻松找到许多学术项目)。
您确定要模拟您的模型吗(通过模拟,我的意思是您实际上想坐下来看看您的 Perti 网络是如何执行的)?通常这种类型的分析适用于小型且简单的算法。在现实世界的情况下,你可能想做 模型检验 你的算法而不是模拟。我建议您检查 SPIN(许多公司都在使用,例如西门子)。我也有一个积极的经历 合金 和 棱镜. 。但如果您的重点是验证并行算法,我建议您首先考虑 SPIN。
编辑:我检查了一些模拟工具,我可以建议看看
其他提示
SPIN 是分布式系统的验证的流行工具,但是命令行仅我想。但在自旋网页存在于所谓的目标密切相关的GUI工具的链接
我怀疑这是你在找什么,但我会在我的两分钱抛出:
在我的大学,在我们的并发软件系统类中,我们使用一个名为工具标记转换系统分析器(LTSA)。它实际上是你可以使用一个系统的行为建模语言。
“代码”变成的状态图和一个转换表。
这里是一个交互式Java小程序它可以设计和运行Petri网。
它是因为我已经看着它很长一段时间,但它听起来像托勒密将是一个很好的选择。
您可以检查 Petri网辛,模拟普通/定时/有色Petri网,它带有一个很好的GUI,显示在实时Petri网执行。
尝试使用并发工具,LTSA。 Java程序。 (标记转换系统分析器),模拟程序。你可以从这里下载:
但你必须在使用它要耐心,它可以采取几个小时来学习如何使用它。而造型Java程序可能效果最好。
和它总是很好用,当然UML模型:)