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 |