uml - OCL - 组合关系，可以向后引用吗？

Question

因此，假设我有一个简单的关系，其中“汽车”由“轮”组成(通过“有”关系)。

我知道在 Car 的上下文中，我可以在 OCL 中导航，通过编写 self.has 来获取一组链接的“Wheel”，轻松查看与该车关联的车轮到这个“汽车”。

但是，通过这种组合关系(与单向关联相反)，是否可以导航回到“Wheel”上下文中的“Car”？如果是，应该怎么做？ (如果出于某种原因，我们需要在“轮”而不是“汽车”的上下文中工作。只是为了这个问题)

Answer 1

OCL 中的所有关联都可以按任一方向导航。 OCL 规范第 7.5.4 节解释了如何从远程类型名称推导出未指定的角色名称，例如self.Car 以及在 self.Car[Car::has] 不明确的情况下。

注意。 UML 定义是单向关联还是双向关联都没有区别。 UML 或 Ecore 定义运行时导航性。 OCL 关注分析/编译时可见性；所有关联均可在各个方向上导航。