The effect is the same as if the Transition terminating on the deepHistory Pseudostate had, instead, terminated on the innermost State of the preserved state configuration, including execution of all entry Behaviors encountered along the way. Source Unified Modeling Language 2.5.1
Deep history (deepHistory) represents the full state configuration of the most recent visit to the containing Region. Source Unified Modeling Language 2.5.1
14.5.2 FinalState ... If the enclosing Region is directly contained in a StateMachine and all other Regions in that StateMachine also are completed, then it means that the entire StateMachine behavior is completed. Source Unified Modeling Language 2.5.1
14.2.3.6 FinalState: FinalState is a special kind of State signifying that the enclosing Region has completed. Thus, a Transition to a FinalState represents the completion of the behaviors of the Region containing the FinalState. Source Unified Modeling Language 2.5.1
