Groups and states specified in the design window.

Information on condition, grammars and parameters entered in the designer window for the selected group or state is shown here. To expand a selected group or state and see its transitions as specified at D one must click the expand button.

This is the prompt for the state described at B and encircled in red at G.

The designer can choose what he wants the graph to show. This should be done before he starts drawing the graph. Ticking Domain will enable all domain, i.e. task-related, transitions to be drawn. Ticking Command and System, respectively, will enable meta-transitions to be shown where System covers meta-transitions triggered by system events and Command covers user-initiated meta-transitions. Incoming and Outgoing allow the designer to see incoming and outgoing transitions, respectively, for a group or a state. Local shows transitions going out of and coming into the same state. Via shows transitions to a state that by default continues to some other state.

Whenever the designer ticks one of the options Via, Incoming, Outgoing and Local, and selects a group or a state, the Outgoing list will show the transitions that will be drawn, if any.

Whenever the designer ticks one of the options Via, Incoming, Outgoing and Local, and selects a group or a state, the Incoming list will show the transitions that will be drawn, if any.

The graph part is empty when the designer opens the window. To draw a group or a state one must double-click the group or state at A. Groups are shown in a double ellipsis to indicate that they can be further expanded, while states are drawn in a single ellipsis. The ellipsis of a selected group or state is shown in red. To expand a selected group or a state and see its transitions as specified at D one must click the expand button at B. To collapse a group again one must double-click the group at A. Domain transition labels are green while system transitions are red and command transition are yellow.