使用合金模型

Question

我正在做一个关于在 SA 中实时升级 HA 应用程序的项目 论坛中间件。 在我的部分研究中，我需要为我的输入升级活动文件制作一个 UML 配置文件， 并验证该文件的一些依赖约束。现在我想用合金 而不是我的工作中的 UML，因为它比 UML 更抽象和正式。 （的 当然 UML + OCL 将是正式的。）。现在我的问题是，如果 UML + OCL 是正式的，那么 使用合金有什么好处？ 一般来说，使用 Alloy 对抗 UML 有什么好处？

Answer 1

据我所知，没有工具可以让您根据 UML 检查 OCL 约束 模型，并生成和可视化有效实例，因此如果您计划对模型+规格进行正式分析，Alloy 可能是更好的选择。即使您不打算进行大量分析，Alloy 生成和可视化有效实例的能力也非常有助于确保您的模型和规范正确无误。