Uml OCL中方法输入参数的测试类型

我有一个UML类，看起来像这样（它是德语的，但我认为这无关紧要）：

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

你知道怎么做吗？我和MagicDraw一起工作

谢谢。

您可以使用

oclIsKindOf

，

oclIsTypeOf

检查类型一致性，并使用

oclType

获取对象的类型

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