UML关于 'abstract'和定型的问题

Question

大家好，我正在努力理解 UML，但有一些关于它的问题

在 UML 中用构造型标记类的意义是什么 <<abstract>> ？

以及如何将此约束表达为不变量，

Answer 1

“抽象”构造型不存在——抽象类应该使用斜体来描述。抽象意味着一个类不能被实例化。它需要一个子类来这样做。因此，作为伪代码约束，这意味着

for all instances i of MyAbstractClass holds: i.actualClass != MyAbstractClass

或在 ocl 中为 MyAbstractClass 保留

self.allInstances()->forAll(i: MyAbstractClass | i.classifier <> self)

由于您的第一个问题版本中没有显示“抽象”一词，因此我扩展了一般的刻板印象:

首先:在学习 UML 时，刻板印象不应该是您首先要研究的东西。它们相当复杂。

刻板印象或关键字(都用 <<MyStereotype>> 表示)没有一般含义。它由特定的构造型定义。通常，您不能将刻板印象表示为不变量。

但 UML 的其他一些方面也可以用相同的方式表示:UML 元级中的类用 <<metaclass>> 标记。即使它没有刻板印象，甚至是不同的实际类型。刻板印象本身显示为 <<stereotype>>标记(即使它们是特殊类的实例)。

自定义构造型的示例可以是“服务”。您可以用它标记代表服务的类。可能有一个约束告诉您“服务”必须实现一个特殊的接口(interface)。在这种情况下，您可以将此约束表示为(乏味的)不变量。但可能它甚至只是一个标记。在后一种情况下，您可以使用关键字作为替代。