![]() |
![]() |
![]() |
![]() |
![]() |
SC Editor Specific Information
Converting State Charts to SDL
To convert state charts to SDL, you select Convert SC to SDL from the Tools Menu.
Following are the transformation rules that are applied to the SC diagram:
Transformation Rules for Diagrams and Symbols
This rule does not apply if the start symbol belongs to a hierarchical state.
Start symbol connected to `initial' state symbol named SDLInit.
Transformation Rules for State Internal Activities
Transformation Rules for Transitions
If actions are specified in the transition labels, insert actions last in the generated transition.
Transformation Rules for State Internal Activities on Hierarchical States
- An Entry action of a hierarchical state is always performed when one of its substates is entered from the outside. This is applied for any number of state boundaries crossed.
- An Exit action of a hierarchical state is always performed when one of its substates takes a transition to a state outside the substate region. This is applied for any number of state boundaries crossed.
- An Event action of a hierarchical state is applied to all of its substates, at any nesting depth, unless a transition with the same event exists on the substate.
- A Do action of a hierarchical state is applied to all of its substates, at any nesting depth.
Transformation Rules for Transitions on Hierarchical States
Exactly one start state, with an unlabeled transition, should exist in the hierarchical state.
An unlabeled transition should exist out from the hierarchical state.
Transformation Rules for Actions
http://www.ibm.com/rational |
![]() |
![]() |
![]() |
![]() |