UML类图“可以”的关系

Question

我有两个类- Type 和 Model 。

Type 可以是原始的，但任何 Model 都可以用作 Type 。因此，类型 可以是模型 ，但不必是。

我如何使用UML类图表示它？

我最初的想法是还定义一个 PrimitiveType ，然后使用泛化将该类和 Model 类连接到 Type ，但是我忍不住想出一种更好的方法。

Answer 1

一个概括就足够了。箭头应从Model指向Type，这意味着：Model是Type。所有模型都是类型，但并非所有类型都是模型。

默认情况下，超类不是抽象的，即超类的实例可能存在。例如，如果File是超类，而Image File和Text File是唯一的子类，则存在三种文件：图像文件，文本文件和既不是图像文件又不是文件的文件文本文件。但是，如果将File声明为抽象超类，则所有文件都是图像文件或文本文件。