Completion transitions and implicit triggers Gallery Tutorial TRAIL: Webel's ultimate guide to Systems Modeling Language (v1) with MagicDraw/Cameo Section 01:03: UML Behavior: StateMachines quick start Slide kind hybrid diagram UML Activity Diagram UML Class Diagram UML StateMachine Diagram
UML-2.5.1: Has an incorrect local Transition with same source and vertex in 'Figure 14.34 Local Transitions'
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
In effect, the latter is a continuation of the external incoming Transition, with the proviso that the execution of the entry Behavior of the composite State (if defined) occurs between the effect Behavior of the incoming Transition and the effect ... Source Unified Modeling Language 2.5.1
Entry points represent termination points (sources) for incoming Transitions and origination points (targets) for Transitions that terminate on some internal Vertex of the composite State. Source Unified Modeling Language 2.5.1
Transition::source : Vertex [1..1] ... Designates the originating Vertex (State or Pseudostate) of the Transition. Source Unified Modeling Language 2.5.1
A Transition represents an arc between exactly one source Vertex and exactly one Target vertex (the source and targets may be the same Vertex). It may form part of a compound transition, which takes the StateMachine from one steady State configuration... Source Unified Modeling Language 2.5.1
