AnimB start

Start an animation

To start an animation, select a machine in "Project explorer" or in "Obligation Explorer" then click right and select "Animate" action.

New animation wizard

The "new animation wizard" is open.
This wizard allows to :

• set an animation name,
• choose constant valuation.

The animation name is used to shared animation between application client. You can use the default value.

438:px

The animation editor

The following screenshot describes the animation editor:

Event guard state

The state of an event guard is described by the following icons:

• the guard of the event is closed and can't be executed.
• the guard of the event is open and the event can be executed.
• the guard can't be checked (constant value needed, well defined error, ...).

Component tabs

Each animated machines and here contexts are described in a specific tab. The following screenshot describes a context tab.

639

Variables table

The variable table or constant table describes the state of a machine or context.
The last changes are red underline.

Execute an event

To execute an event:

• click on the corresponding event in the event table or
• click on the "random execution" button : in this case the animator chooses randomly an open event and executes it.

The last executed event is described by a gold arrow:

• when the event is closed
• when the event is open