UML25 — UML2.5 issue: incorrect use of oclKindOf()->notEmpty()

There is a systematic error in the OCL in Clause 17. There are many erroneous expressions of the form x.oclIsKindOf(T)->notEmpty(). These are apparently intended to mean x.oclIsKindOf(T), i.e. a Boolean-valued test that x has the type T or a subtype.

The fact that the ->notEmpty() happens to pass the syntax checking is an unfortunate and misleading “feature” of OCL. Semantically, all of these expressions in their current form will evaluate to true, whatever their arguments.

I found these constraints all to have the problem:

all_lifelines

interaction_uses_share_lifeline

selector_int_or_string

sending_receiving_message_event

signature_is_signal

signature_is_operation_request

signature_is_operation_reply

Change the OCL productions to replace:
x.oclIsKindOf(T)->notEmpty()
by:
x.oclIsKindOf(T)