navigability and OCL

[SF_lt]

UML 2.1 superstructure states, that UML tools can traverse through a non-navigable association ends.
So suppose there is a metamodel's fragment:
class A and class B are associated with a association with the association ends endA and endB respectively. endB end is non-navigable.

Does it mean, that it's possible to write OCL expression using navigation through the non-navigable endB end?

context A
inv: endB.name <> 'test'

However model's (which conforms to metamodel) objects ClassA (instance of metamodel's class A) won't be able to use endB association end?

[Paolo F Cantoni]

If you give us a reference in the UML specification, we'll have another go at answering your question...

Paolo

[SF_lt]

UML Superstructure v2.1, p. 39, right after the 8963 issue