UML Class 图 "can be" 关系
UML Class Diagram "can be" relationship
我有两个 classes – Type 和 Model.
A Type 可以是原始的，但是任何 Model 都可以进一步用作 Type.因此，一个 Type 可以是 一个 Model，但是 不必是.
如何使用 UML Class 图表示它？
我最初的想法是也定义一个 PrimitiveType 然后连接 class 和 Model class 到 Type 使用泛化，但我忍不住假设有更好的方法。
一个概括就够了。箭头应从模型指向类型，这意味着：模型是类型。所有模型都是类型，但并非所有类型都是模型。
默认情况下，超类不是抽象的，即超类的实例可能存在。例如，如果 File 是一个超类，而 Image File 和 Text File 是仅有的子类，则存在三种文件：图像文件、文本文件和既不是图像文件也不是图像文件的文件文本文件。但是，如果 File 声明为 抽象 超类，则所有文件都是图像文件或文本文件。
我有两个 classes – Type 和 Model.
A Type 可以是原始的，但是任何 Model 都可以进一步用作 Type.因此，一个 Type 可以是 一个 Model，但是 不必是.
如何使用 UML Class 图表示它？
我最初的想法是也定义一个 PrimitiveType 然后连接 class 和 Model class 到 Type 使用泛化，但我忍不住假设有更好的方法。
一个概括就够了。箭头应从模型指向类型，这意味着：模型是类型。所有模型都是类型，但并非所有类型都是模型。
默认情况下，超类不是抽象的，即超类的实例可能存在。例如，如果 File 是一个超类，而 Image File 和 Text File 是仅有的子类，则存在三种文件：图像文件、文本文件和既不是图像文件也不是图像文件的文件文本文件。但是，如果 File 声明为 抽象 超类，则所有文件都是图像文件或文本文件。