uml/ocl访问父类名

Question

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

图像：

Answer 1

这看起来很奇怪。你的第一个约束告诉（假设它链接到animal）aninmal的类型必须是mamifere，但mamifere继承自animal。那没有意义。

第二个变体也没有意义。如果约束适用于图中的任何内容，则每个实例必须命名为mamifere2。因此，您只能使用名称== mamifere2的实例。尤其令人奇怪的是一个vivipare2实例。

我没有看到你在哪里建模任何儿童关系。所以我只是猜测你的意思是这样的：

孩子有两个父母（当然，对于人类有，现在可以更多）。并且可能有*孩子必须与父母具有相同的类型（所以你不能模拟骡子等）。