合金与UML的关系？

Question

我开始学习合金，真的很喜欢我所看到的。

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

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

一般来说，您能告诉我的任何关于合金和UML之间的关系(或缺乏关系)的东西都会非常感激。

谢谢。

Answer 1

合金可以与UML的约束语言OCL增强的UML类图相比较。它不能取代UML的其他图表。

我建议使用合金对数据进行建模，并对高级别的行为进行建模。例如，请参见合金网站。您可以始终将合金模型转换为UML图。

合金设计的目的是提供精确、简洁的数据丰富设计模型-全自动分析。

UML图没有足够的表达能力来进行详细的建模。UML约束语言OCL确实涵盖了合金的相同类型的细节，但没有达到相同程度的自动化支持。

合金中的约束不是用于检查图的结构，而是用于实际建模系统并表示其属性(然后您可以检查系统是否满足这些属性)。合金在表现力上无法与OCL相提并论:例如，OCL在算术处理上更有表现力，但缺少传递闭包。

我对UML/OCL的研究不是很了解，所以也许该领域的人可以加入进来，但是我可以建议您从Martin小组的工作开始，比如Mark关于OCL语义的论文。

如果你搜索“合金和UML”，你会发现一堆关于从UML到合金的自动翻译的论文，以及像这一个这样的比较论文。我们还写了一个关于OCL和合金的纸方式，这可能是批评OCL在Richters等人的工作中所做的事情。