IBM
Contents Index Previous Next



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

SC SDL

SC diagram

Process diagram

"Heading"

Process "Heading"

Text symbol

Text symbol

Start symbol

Note:

This rule does not apply if the start symbol belongs to a hierarchical state.

Start symbol

If an event is defined on the transition from this state

or

if more than one transition from this state:

Start symbol connected to `initial' state symbol named SDLInit.

Termination symbol

Note:

  1. This rule does not apply if the termination symbol belongs to a hierarchical state.
  2. If more than one transition to the termination symbol, the stop symbol is duplicated.

Stop symbol

State symbol

State symbol

Hierarchical state symbol

Nothing

Substate symbol

State symbol with a comment symbol

Transformation Rules for State Internal Activities

SC SDL

For all transitions from A to B

Add action symbol

* See Transformation Rules for Actions

For all transitions from A to B

Add action symbol

* See Transformation Rules for Actions

Comment symbol

* See Transformation Rules for Transitions

Transformation Rules for Transitions

If actions are specified in the transition labels, insert actions last in the generated transition.

SC SDL

Spontaneous transition

Continuous signal

Note: Priority is required if more than one continuous signal exist from the same state. This must be manually added.

Enabling condition

Timer with the name "<A>_T<counter>", where <counter> is an integer.


For all transitions to <A> add:


For this transition from <A>:


For all other transitions from <A> add:

As above, but add an enabling condition:


Continuous signal

Note: Priority is required if more than one continuous signal exist from the same state. This must be manually added.

Continuous signal

Note: Priority is required if more than one continuous signal exist from the same state. This must be manually added.

Transformation Rules for State Internal Activities on Hierarchical States

Transformation Rules for Transitions on Hierarchical States

SC SDL

Note:

Exactly one start state, with an unlabeled transition, should exist in the hierarchical state.

* See Transformation Rules for Transitions

Note:

An unlabeled transition should exist out from the hierarchical state.

* See Transformation Rules for Transitions

Note:

  1. This rule applies for every substate at any nesting depth.
  2. Exception: This rule does not apply if a transition with the same trigger (event[guard]) exists on the substate.

* See Transformation Rules for Transitions

Transformation Rules for Actions

Depending of text contents:

SC SDL

If text starts with `call':


call proc(params)

Procedure call

If text starts with `output':


output sig

Output

If quoted text:


"action"

Informal task

Otherwise:


a := 1

Task


http://www.ibm.com/rational
Contents Index Previous Next