Operation processed once the transition is triggered. This is a shorthand for a call event, and is at the same time useful for defining the operation carried by a transition in protocol state diagrams.