To label the transitions in the statechart:
1.
5. Draw a Default Transition into the state RED_STATE_ON. Default transitions do not have a source state and cannot have triggers. Use the Statechart TRAFFIC_LIGHT_CTRL figure as a guide as where to draw the default transition.
6. With the Create Default Transition icon still selected, type the following label for the transition:
'/RED_LIGHT=false;
GREEN_LIGHT=true;
YELLOW_LIGHT=false;'
Place the transition label on the transition if you have not already done so.
7.
8.
9. The statecharts that were developed in this exercise is used to describe the behavior for the activity TRAFFIC_LIGHT_SS. To associate the statecharts with the activity complete the following steps:
a. Open the activity chart called TRAFFIC_LIGHT_SS.
b. Modify the name of the control activity by placing an @ symbol in front of the name as shown in the figure.
c. Select File > Save from the chart and then File > Exit.