OCL2_ — message is a send action,

22. – [2] If the message is a send action, the arguments must conform to the
– attributes of the signal.
context OclMessageExp
inv: sentSignal->notEmpty() implies
arguments->forAll (a | a.getType().conformsTo
(self.sentSignal.signal.feature.oclAsType(StructuralFeature)
>at (arguments>indexOf (a)).type))
==> should be:
context OclMessageExp
inv: sentSignal->notEmpty() implies
arguments->forAll (a | a.getType().conformsTo
(self.sentSignal.signal.feature
>at (arguments>indexOf
(a)).oclAsType(UML14::Core::StructuralFeature).type) )

Discussion:
This well-formed rule is correct in the current OCL 2.0 specification. It is a duplicate of the issue 7471.
Disposition: See Issue 7471 for disposition