10.5.4 Component Declarative Statements

For a component behavior, the list of declarative statements is extended with blocking (See blocking). So we get:

component-declarative-statement ::= declarative-statement | blocking

Thus, in a component, the “declarative prefix” includes blocking such that the prefix consists of three elements.

transition  ::= prefix imperative-statement
prefix      ::= <blocking?> <guards> <on>

• Component on
• blocking
• Formal Binding
• Joining Activities