对父类名称的uml/ocl访问

我试图编写ocl来向child（animal）添加约束，但约束必须是用户父类名称（mamifere）。我认为第一个版本不起作用，我认为有一个比第二个例子更好的解决方案。请帮帮我好吗

例如动物的图像：

---

那看起来很奇怪。您的第一个约束告诉（如果它链接到

动物

）

animal

的类型必须是

mamifere

，但

mamifere

继承自

动物

。这没有道理

第二种变体也没有意义。如果约束适用于关系图上的任何内容，则每个实例都必须命名为

mamifer2

。因此，您只能有name=

mamifer2

的实例。特别是

胎生2

实例

我看不出你在哪里建立任何儿童关系模型。我猜你的意思是：

---

一个孩子有两个父母（对人类来说，现在可以有更多）。而且可以有

*

子对象，这些子对象必须与父对象具有相同的类型（因此您不能为骡子或类似对象建模）。

您应该澄清您试图建模的子对象关系。没有任何东西是朝这个方向建模的。