Scenario model edition

A scenario model can be edited by left-clicking on an element in the viewing area, and then right-clicking. That will bring a context dependent menu, which allows operation to be performed on the selected element.

• The menu displayed for a Scenario includes:

  New Scenario

  to add a new ``Positive'' Scenario to the scenario model.

  New Negative Scenario

  to add a new Negative Scenario to the model.

  Change to Negative Scenario

  to set the Scenario as a Negative Scenario.

  For a Negative Scenario, the corresponding menu option would be Change to Scenario to set the Scenario as ``Positive''.

  Add Trigger

  to add a Trigger at the end of the Scenario.

  Add System Reaction

  to add a System Reaction at the end of the Scenario.

  Add Delay

  to add a Waiting Delay at the end of the Scenario.

  Add Guard

  to add a Guard Realization at the end of the Scenario.

  Add Assertion

  to add an Assertion at the end of the Scenario.

  Edit Scenario Description

  to edit a text description associated with the Scenario.

  Validate Scenario

  to check the scenario elements according to scenario validation rules.

  Simulate Scenario

  to simulate the execution of the Scenario.

  Notice that a scenario needs to be validated before its simulation.

  Export Scenario

  to produce a HTML output from the scenario.

  Delete Scenario

  to delete the Scenario with all its children.

• The menu displayed for scenario elements includes:

  New Scenario

  to add a new ``Positive'' Scenario to the scenario model.

  New Negative Scenario

  to add a new Negative Scenario to the model.

  Insert Trigger

  to insert a Trigger after the current selection.

  Insert System Reaction

  to insert a System Reaction after the current selection.

  Insert Delay

  to insert a Waiting Delay after the current selection.

  Insert Guard

  to insert a Guard Realization after the current selection.

  Insert Assertion

  to insert an Assertion after the current selection.

  Delete Element

  to delete the current selection.

A scenario model may also be edited using key combinations.