EAI — Missing derivation of the "promotedTerminal" association

Document: UML Profile and Interchange Models for EAI
Section: 6.3.10.2.2 ('Exposing' terminals in an EAIMessageFlow)

Description:
The meaning of the derived "promotedTerminal" association is discussed in Section 6.3.10.2.2, but no clear derivation constraint is given.

Recommendation:
Given the FCM metmamodel (see Figure 6-2), the appropriate constraint is not so easy to formulate. I think the following will do, as a constraint on EAICompoundOperator (NOT EAITerminal).

The output terminal of each EAISource in the implementingComposition of an EAICompoundOperator is promoted to the input terminal of the EAICompoundOperator that represents the same EAIParameter (of the FCMOperation implemented by the EAISource) as the output terminal of the EAISource.

let sourceTerminals =
self.implementingComposition.nodes->select(oclIsType(EAISource)).interface in
self.interface->select(terminalKind = #in)
->includesAll(sourceTerminals.promotedTerminal) and
sourceTerminals->forAll(promotedTerminal->notEmpty()
and parameter = promotedTerminal.parameter)

(This assumes that there is already a constraint requiring an EAISource to have output terminals that represent the input parameters of the operation it implements.)

see above