State Transition Diagram Editor

Control Specifications are made up of Sheets. These sheets can be State Transition Diagrams, Text Sheets or Decision Tables.

A State Transition Diagram is made up of States, Transitions between States, Actions and Events. For more information see the Real Time Modeling Reference manual.

An Event (Control Flow entering the State Transition Diagram sheet) causes a change of state (a Transition) and may also cause an Action. The Action may either be a Control Flow which leaves the STD or may activate, deactivate or start a process (Node) on the corresponding Flow Diagram.

Note that the Flows which enter and leave this sheet do not have to be the same as those which enter and leave the full Control Specification (Bar). This is because Control Flows can also flow between sheets. For example, a Control Flow could leave a Decision Table sheet and flow into a State Transition Diagram sheet. Flow balancing is checked by the analyzer.

Pull-down Menus

The State Transition Diagram editor has the following pull-down menus:

File

Edit

View

Draw

Options

Popup Menus

There are also popup menus available within the State Transition Diagram editor. These are activated by pressing the right mouse button. A different menu appears depending on the pointer position, relevant to the operations that are appropriate to the currently selected object and pointer position. There is a different menu for when you are:

pointing to a State

pointing to a Transition

pointing to a Text

pointing to an Event

pointing to an Action

pointing within a selection frame

not pointing to a diagram object

In the last situation, ProMod-PLUS assumes that you want to Create an object.

Double-click on graphical objects

If you double-click on a graphical object this carries out the most commonly used command. The command started is different if you double-click on the label of an object or on the symbol excluding the label. For example, if you double-click on the name of a State this carries out Alter on the State name. If you double-click on the State symbol outside the State name this carries out Connect.

The following table shows the full list of commands carried out when double-clicking on objects.

Symbol

Label

State Connect Alter
Transition Add Event Alter
Text --- Alter