Usage Model Processing

  1. Select File->Open…, navigate to the install-dir/data folder, where install-dir is the folder where ESTA' is installed. Then select the file demo.emf.
  2. The usage model, demo, is displayed in an editable tree format. The root of the tree is a model object, which contains states. States, in turn, have outgoing arcs. Each arc has a target state. Models, states, and arcs can all have one or more constraints and labels.
  3. Selecting an object on the tree displays its attributes in the Properties tab, where most attributes can be edited.

Usage model tree view

Figure 2: Usage model tree view

Objects can be added to the tree by right-clicking a parent or sibling object and using the New Child or New Sibling submenu. Right-clicking also provides a Delete function. (Don’t add or delete anything at least until you have finished this demo.)

Adding an arc

Figure 3: Adding an outgoing arc via the New Child submenu

To check for model integrity, select Model->Check to invoke the jumbl check command. The results are listed in the Console tab. See Figure 4.

Model check results

Figure 4: Model->Check results

To analyze the model, select Model->Analyze to display the dialog in Figure 5. Then select the analysis engine, enter an analysis file suffix, and click OK. The analysis results are displayed in the Browser View tab (Figure 6).

Model analysis dialog

Figure 5: Model analysis dialog

Model analysis results

Figure 6: Model analysis results

Prev | Next