OCL：導航單向協會對箭頭方向

Question

我讀到這裏https://wiki.eclipse.org/OCL/FAQ是

如何訪問斷航對立中的Ecore

在UML中，僅用於在被導航關聯一個 方向在運行時可能會繪製一個單向箭頭。

OCL評估在分析時發生，無論箭頭如何，都可以在兩個方向上導航 。

這是OCL標準的一部分還是隻是一個eclipse ecore的東西？

一個例子：給定兩個類A和B，以及從A到B（但不是從B到A）的單向關聯。在類圖中，可以用從A到B的箭頭（一個箭頭指向B的線）來說明。

它是標準的真正部分編寫導航對此箭頭方向OCL約束？

我在OCL規範中找不到任何關於此的信息，請參見here。

Answer 1

UML中的導航性指示不是絕對的，而僅僅是您如何輕鬆導航的指標。

從UML 2.5規格

適航意味着參加在運行時 （一個關聯的實例）鏈接實例可以在協會的另一端部從 實例有效地訪問。實現這種高效訪問的精確機制 是實現特定的。 如果一端不可導航，則從另一端訪問可能會或可能不會 可能，如果是，則可能效率不高。

因此，我認爲OCL應該能夠以兩種方式導航，無論導航能力如何。