我在这里阅读https://wiki.eclipse.org/OCL/FAQ
如何在Ecore
中访问无法识别的对立面在UML中，仅用于在一个中导航的关联 可以使用单向箭头绘制运行时的方向。
OCL评估在分析时发生，并且可以在两者中导航 方向，无论箭头。
这是OCL标准的一部分还是只是一个eclipse生态的东西？
一个例子：给定两个A类和B类，以及从A到B的单向关联（但不是从B到A）。在类图中，这可以用从A到B的箭头（一个箭头指向B的线）来说明。
编写OCL约束是否真的是标准的一部分， 导航 这个箭头方向？
我在OCL规范中找不到任何相关内容，请参阅here。
答案 0 :(得分：2)
UML中的导航性指示并不是绝对的，而只是指示如何轻松导航。
来自UML 2.5规范
Navigability意味着在运行时参与链接的实例 （协会的实例）可以从中有效地访问 协会另一端的实例。精确的机制 通过其实现这种有效访问是特定于实现的。 如果结束不可导航，则来自另一端的访问可能会也可能不会 可能，如果是的话，可能效率不高。
因此，我猜OCL应该能够以两种方式导航，无论导航性如何。