使用合金模型

Question

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

Answer 1

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