uml / ocl访问父类名

Question

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

图片，例如动物：

Answer 1

看起来很奇怪。您的第一个约束告诉（假设它与animal相关联），aninmal的类型必须为mamifere，但mamifere继承自animal。这没有意义。

第二种变体也没有意义。如果约束适用于图上的任何内容，则每个实例都必须命名为mamifere2。因此，您只能拥有名称为== mamifere2的实例。 vivipare2实例特别奇怪。

我根本没有看到你在哪里建模儿童关系。所以我猜你的意思是：

一个孩子有两个父母（嗯，对于人类，现在可以有更多）。并且可能有*个孩子必须和父母一样（因此你不能对骡子等进行建模）。