UML-2.5.1: Has an incorrect local Transition with same source and vertex in 'Figure 14.34 Local Transitions'
Transitions of the kind internal are not shown explicitly in diagrams. Source Unified Modeling Language 2.5.1
kind = internal ... This kind of Transition can only be defined if the source Vertex is a State. Source Unified Modeling Language 2.5.1
kind = internal is a special case of a local Transition that is a self-transition (i.e., with the same source and target States), such that the State is never exited (and, thus, not re-entered), which means that no exit or entry Behaviors are executed ... Source Unified Modeling Language 2.5.1
kind = local ... However, for local Transitions the target Vertex must be different from its source Vertex. A local Transition can only exist within a composite State. Source Unified Modeling Language 2.5.1
kind = local is the opposite of external, meaning that the Transition does not exit its containing State (and, hence, the exit Behavior of the containing State will not be executed). ... Source Unified Modeling Language 2.5.1
kind = external means that the Transition exits its source Vertex. If the Vertex is a State, then executing this Transition will result in the execution of any associated exit Behavior of that State. Source Unified Modeling Language 2.5.1
The semantics of a Transition depend on its relationship to its source Vertex. Three different possibilities are defined, depending on the value of the Transition’s kind attribute ... Source Unified Modeling Language 2.5.1
When multiple triggers are defined for a Transition, they are logically disjunctive, that is, if any of them are enabled, the Transition will be triggered. Source Unified Modeling Language 2.5.1
A Transition may own a set of Triggers, each of which specifies an Event whose occurrence, when dispatched, may trigger traversal of the Transition. A Transition trigger is said to be enabled if the dispatched Event occurrence matches its Event type. Source Unified Modeling Language 2.5.1
