Getting Started with DESUMA2

From DESUMA Wiki
Getting Started with DESUMA2
Jump to: navigation, search
Line 111: Line 111:
 
-uc -UC
 
-uc -UC
 
:Gives a transition the ''uncontrollable'' property.
 
:Gives a transition the ''uncontrollable'' property.
 +
 +
'''Note:'''
 +
:-By default, if the flags are not present, the transition will be assigned to be observable and controllable.
 +
:-These properties are not assigned any graphical representation; rather, the properties are indicated in the Status Panel labelled ''Automaton''.
 +
:-If the transition is observable (controllable, respectively), the observable (controllable) box associated with the given transition will contain a checkmark.
 +
:-The graph layout will change with the addition of new states or transitions if the user has 'AutoLayout' turned on. The user can prevent auto-layout by turning the option off in their user profile.
 +
 +
Examples:
 +
:-''' ''trans'' ''' ''1 2'' ''trans_1'' -UOUC: creates a transition from state 1 to state 2 called trans_1 that is unobservable and uncontrollable.
 +
:-''' ''t'' ''' ''1 2 trans_1'' -UO: creates an unobservable-- but controllable-- transition from state 1 to state 2 called trans_1.

Revision as of 19:55, July 22, 2013

This is the tutorial page for DESUMA and UMDES.

Contents

Setting up UMDES

DESUMA is a Java based program to allow users of the UMDES library to graphically view results. To use UMDES, it must be downloaded. It can be downloaded here. After downloading UMDES, DESUMA must be pointed to the UMDES library to use its functions. To do this, select Edit>Preferences.... (Or on OSX, Desuma>Preferences....).

Under the profile tab, select the 'Browse...' button under the Plugins Directory. Locate where your copy of DESUMA is stored, and select the file umdes.xml in the umdes folder. Click OK and the plugin will be automatically loaded every time DESUMA is launched.

NOTE: On Linux/Unix/Mac systems, you may need to change the file permissions of the files if the library consists of executables. You can fix this by going to the directory of the executables and type in the command line "chmod+x *" or through the File Preferences for your operating system.

States

Creating States

States can be created via the command line or the batch window. It is possible to create states that initially have no markings, or it is possible to use flags to indicate that a state has special properties (e.g., initial, marked).

A state can also be added by right-clicking the graph and selecting "Add State" from the pop-up menu. Note that this method does not allow flagging.

Using the Command Line

There are two ways to create a state without flags:

-Type state state_name into the command line and press <Enter>.
-Type s state_name into the command line and press <Enter>.

Both commands achieve the same result. If the state is created, a circle-- or ellipse if state resizing is enabled-- with state_namedisplayed in the center will appear in the workspace. Also, the status bar will be updated with a message indicating success. The first state created becomes the initial state.

State names containing black spaces are not accepted by DESUMA.

Multiple States

Multiple states can be created via the command line or the batch window. For either case, the syntax is:

- Type multistate number_of_states into the command line and press <Enter>.
- Type ms number_of_states into the command line and press <Enter>.

The names of the states are automatically assigned based on the following rules:

- The least number of letters available from the word 'state', used sequentially, for which any state does not have that name.
- The lowest digit available [1,9].

Example: ms 3 will provide the states {s1, s2, s3} if these states do not already exist.

Flags

It is also possible to create a state and initially assign it some properties using the flags options. The syntax is as follows:

state state_name [flags]

s state_name [flags]

-i -I

tags the state as the initial state (graphically indicated by displaying the state in green)

-m -M

gives the state the marked property (graphically indicated by a double circle in the workspace)

Note:

-At any time, there may only be one initial state. New states created (or modified) as initial states will take the initial status from the previous initial state (if one exists).
-Flags must be preceded with a dash character.
-Flags are not available for the multistate command.

Examples:

- state 1 -IM: creates a marked initial state named 1.
- s 34 -I: creates an initial state named 34.
- multistate 3: creates three states with default names.
- ms 20: creates twenty states with default names.


Editing States

State names can be changed using the graphical interface of DESUMA. Right-click the desired state and select "Rename" to bring up a box for new name re-entry. Alternately, double clicking on the state name on the status pane will allow renaming.

To edit the properties of existing states, locate and select the States Tab in the Status Panel. Locate the state you wish to modify and select appropriate actions.

Deleting States

There are two ways to delete states:

1. In the automaton workspace, left click the state you wish to delete. Information about the selected item will appear in the Summary Tab. Once selected, right-click the state to bring up the options menu. Select delete.
2. Type delete state_name into the command line and hit <Enter>.


Note: all transitions entering or exiting the deleted state will automatically be removed.

Transitions

Creating Transitions

Transitions require an origin state and a destination state. (Note that the origin and destination state can be the same state for self-loops). Transitions are created with the command line or batch window. It is possible to create transitions that initially have no markings, or it is possible to use flags to denote special properties (controllable, observable).

Using the Command Line

Transitions can be created without flags in two ways:

1. Type trans from_state_name to_state_name transition_name into the command line and hit <Enter>.
2. Type t from_state_name to_state_name transition_name into the command line and hit <Enter>.

Both versions achieve the same result. There should now be a directed solid line, labelled with transition_name in the workspace, originating at from_state_name and ending at to_state_name.

This procedure creates a transition with any properties. To change the properties, refer to section on editing transitions.

Flags

It is also possible to create a transition and initially assign it some properties using the flags options. The flags associated with the trans command are:

trans from_state_name to_state_name transition_name [flags] t from_state_name to_state_name transition_name [flags]

-uo -UO

Gives a transition the unobservable property.

-uc -UC

Gives a transition the uncontrollable property.

Note:

-By default, if the flags are not present, the transition will be assigned to be observable and controllable.
-These properties are not assigned any graphical representation; rather, the properties are indicated in the Status Panel labelled Automaton.
-If the transition is observable (controllable, respectively), the observable (controllable) box associated with the given transition will contain a checkmark.
-The graph layout will change with the addition of new states or transitions if the user has 'AutoLayout' turned on. The user can prevent auto-layout by turning the option off in their user profile.

Examples:

- trans 1 2 trans_1 -UOUC: creates a transition from state 1 to state 2 called trans_1 that is unobservable and uncontrollable.
- t 1 2 trans_1 -UO: creates an unobservable-- but controllable-- transition from state 1 to state 2 called trans_1.
Personal tools
Namespaces
Variants
Actions
Navigation
Toolbox
EECS @ UM
Tools