2

我在UML中有一个看起来像这样的类（它是德语，但我认为没关系）：

在此处输入图像描述

第一种方法采用 4 个“ Rohstoffkarte ”的数组。那是一个抽象类，我有 5 个具体的子类。现在我想检查（使用 OCL）数组中的所有 4 个实例是否来自同一个子类。

知道怎么做吗？我正在使用 MagicDraw。

谢谢。

4

1 回答 1

3

您可以使用

oclIsKindOf,oclIsTypeOf检查类型一致性，并用于oclType获取对象的类型。

请参阅 OMG 对象约束语言规范版本 2.3.1，第 22 页

http://www.omg.org/spec/OCL/2.3.1

于 2012-07-28T17:42:34.783 回答