uml - uml/ocl 获取父类名

Question

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

图片例如动物：

Answer 1

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

第二种变体也没有意义。如果约束适用于图表上的任何内容，则每个实例都必须命名为mamifere2。所以你只能有 name == 的实例mamifere2。vivipare2一个实例尤其奇怪。

我根本看不到您在哪里建模任何子关系。所以我猜你的意思是这样的：

一个孩子有两个父母（嗯，对于人类来说，现在可以有更多）。并且可以有*必须与父母具有相同类型的孩子（因此您不能为骡子或类似物建模）。