9.3.14 Trigger

*Generalizations

   •

    Trigger (from Communications ) on page 474 (merge increment)

*Description

   A trigger specification may be qualified by the port on which the event occurred.

*Associations

   • port: Port [*] Specifies the ports at which a communication that caused an event may have arrived.

*Semantics

   Specifying one or more ports for an event implies that the event triggers the execution of an associated behavior only if the event was received via one of the specified ports.

*Notation

   The ports of a trigger are specified following a trigger signature by a list of port names separated by comma, preceded by the keyword «from»:

   ‘«from»’ <port-name> [‘,’ <port-name>]*