The following kinds of elements in a State Machine model can have Alf bodies:

  • The entry, do activity and exit Behaviors of a State.
  • The guard Expression and effect Behavior of a Transition.

In general, to edit the Alf body of such an element in the Alf editor window, you select it either in the Model Browser or directly on its symbol if it appears on a State Machine diagram.