Where used: State Machine Model

forTransition / hasOperation

Operation_ forTransition State Transition Rule

State Transition Rule hasOperation Operation_

Read First: State Machine, State Transition Rule

A Mealy machine has operations executed on its transitions that are
executed when an event triggers a transition.  The operation executes
even when the control condition fails and the transition is aborted.