EAI — Unclear semantic description for EAIStream

Document: UML Profile and Interchange Models for EAI
Section: 6.4.1.2 (EAIStream)

Description:
Section 6.4.1.2 states that the output behavior of an EAIStream is "abstracted via an 'emissionCondition' that determines under what circumstances a message is emitted from the stream." However, it is not clear exactly what this condition is really to be on or when it is invoked. Also, the next sentence says that "The message emitted may be any element of the 'buffer'", but this is inconsistent with the previous paragraph, which states that "The streaming algorithm determines when to place messages from the top of the buffer onto the 'out' terminal" (emphasis added).

Recommendation:
Define the semantics of EAIStream to be the following:

When a message is received on the input terminal, the message is placed in the buffer at a place determined by the streaming algorithm associated with the EAIOperation invoked by the operator. The emissionCondition is then evaluated on the current state of the buffer. If the condition evaluates to true, then the first ("top") element of the buffer is placed on the output terminal. Otherwise the operator produces no output (i.e., the output of the EAIOperation is "null").

see below