alloy - 合金和UML之间的关系？

Question

我开始学习合金并且非常喜欢我所看到的。

在鼓励同事和我一起学习和使用 Alloy 之前，我需要了解 Alloy 和 UML 之间的关系。

1. Alloy 是 UML 的替代品吗？如果用Alloy，那就不用UML了？
2. Alloy 是 UML 的补充吗？建议的做法是同时使用 Alloy 和 UML 吗？
3. Alloy 与 UML 正交吗？ Alloy 和 UML 有完全不同的用途？
4. 就功能而言，Alloy 是 UML 的超集吗？从我的阅读中我了解到，使用 Alloy 语言可以表达很多约束，然后 Alloy 中的 SAT 工具可以根据模型(使用 Alloy 创建)检查约束。我“认为”UML 工具(例如 MagicDraw)不具有表达约束和根据约束评估 UML 模型的同等功能 - 这是正确的吗？

总的来说，如果您能告诉我有关 Alloy 和 UML 之间的关系(或缺乏关系)的任何信息，我将不胜感激。

谢谢。

Answer 1

Alloy 与使用 UML 约束语言 OCL 增强的 UML 类图相当。它不会取代 UML 的其他图。

我建议使用 Alloy 进行数据建模和高级别行为建模。例如，请参阅Alloy website 。您始终可以将 Alloy 模型转换为 UML 图。

合金旨在提供— 数据丰富的设计的精确、简洁的模型— 全自动分析

UML 图对于详细建模来说表达力不够。 UML 约束语言 OCL 确实涵盖了与 Alloy 相同类型的细节，但没有达到相同程度的自动化支持。

Alloy 中的约束不是为了检查图的结构，而是为了实际对系统进行建模并表达其属性(然后您可以检查系统是否满足属性)。 Alloy 在表达能力上与 OCL 无法相比:例如，OCL 在算术处理方面更具表达能力，但缺乏传递闭包。

我不太了解 UML/OCL 研究，所以也许该领域的人可以插话，但我可以建议您从 Martin Gogolla 小组的工作开始，了解更多信息，例如 Mark Richters 的论文关于OCL的语义。

如果您搜索“Alloy and UML”，您会发现一堆有关从 UML 到 Alloy 自动翻译的论文，以及比较论文，例如 this one 。我们还写了一个paper回溯到 OCL 和 Alloy，它们可能批评 OCL 的问题，而这些问题已在 Richters 等人的工作中得到解决。