Constructing Flattened Transitions

This algorithm constructs a flattened transition to a state or choice.

Input

1. The current state machine analysis data structure sma.

2. A state or choice soc₁ representing the source of the transition in the hierarchical state machine.

3. A transition t.

Output

1. A transition that records all actions specified in the source model together with all entry and exit actions implied by the state machine hierarchy.

Procedure

1. If t is an internal transition, then return t.

2. Otherwise

   1. Let A be the actions of t, and let soc₂ be the target of t.

   2. If soc₁ is a state definition sd or is a choice defined in a state definition sd, then let L₂ be the list of state definitions in the state hierarchy in sma from the top level to sd, including sd, highest first. Otherwise let L₁ be the empty list.

   3. If soc₂ is a state definition or a choice defined in a state definition sd, then let L₂ be the list of state definitions in the state hierarchy in sma from the top level to sd, including sd, highest first. Otherwise let L₂ be the empty list.

   4. For each i in [1,2], let L'_i be L_i with the longest common prefix of L₁ and L₂ deleted.

   5. Let L''₁ be the reverse of L'₁. Let A₁ be the concatenation of the exit action lists of the elements of L''₁.

   6. Let A₂ be the concatenation of the entry action lists of the elements of L'₂.

   7. Return the external transition whose actions are the concatenation of A₁, A, and A₂, and whose target is soc₂.