EAI — The semantics of Post Dater operators

Document: UML Profile and Interchange Models for EAI
Section: 8.3.5 (Post Daters)

Description:
Section 8.3.5 states that "As the definition for 'emit' is fixed for post daters, only a definition for 'setTimingCondition' should be provided." It is not clear that this description is consistent with the description of the semantics for EAIPostDater in Section 6.4.1.3, since the metamodel still requires the specification of an emissionCondition (inherited from EAIStream). (See also Issue 4693, "Unclear semantics description for EAIPostDater".)

Recommendation:
Either allow an emit operation on a post dater, to permit the possibility of immediate emission, or change the metamodel to not require an emissionCondition on an EAIPostDater. (See also the recommendation for Issue 4693.)

see below