Eclipse OCL：根据箭头方向导航单向关联

我在这里读到

如何访问Ecore中不可激活的对立面

在UML中，一种仅用于在一个数据库中导航的关联 运行时的方向可以用单向箭头绘制

OCL评估发生在分析时，可以在两种情况下进行导航 方向与箭头无关

这是OCL标准的一部分还是只是EclipseEcore的一部分

例如：给定两个类A和B，以及从A到B（但不是从B到A）的单向关联。在类图中，可以用从a到B的箭头（一条有一个箭头指向B的线）来说明这一点

编写OCL约束来按照这个箭头方向导航，这真的是标准的一部分吗

---

我在OCL规范中找不到任何与此相关的内容，请参见。

UML中的导航性指示不是绝对的，而仅仅是您如何轻松导航的指示

来自UML2.5规范

可导航性意味着实例在运行时参与链接 （关联实例）可以从 关联另一端的实例。精密机构 实现这种高效访问的方法是特定于实现的。 如果一端不可导航，则从另一端访问可能会或可能不会 可能，如果可能，则可能没有效率

---

所以，我想OCL应该能够以两种方式导航，而不考虑导航能力。

不确定OCL，但OCL可能会以两种方式导航似乎是合乎逻辑的。它的目的是在设计时验证模型，而不管在实现级别上可能应用什么约束。