Difference between revisions of "AnimB Javascript Tutorial"

From Event-B
Jump to navigationJump to search
imported>Christophe
imported>Christophe
Line 15: Line 15:
  
 
First you must set the three variables describing your project.
 
First you must set the three variables describing your project.
* project this variable must be to set with the Rodin project name
+
* '''project''' set to the Rodin project name
* model this variable must be to set with the model used to build the animation
+
* '''model''' set to the model name used to build the animation
 +
* '''name''' set to the name of the animation

Revision as of 12:54, 10 October 2010

This page discribes how to build a graphical animation for a event-b model. These animations are built following the pattern MVC (Model/View/Controller).

The view part is done by a browser and a HTML page. The model part is given by a running animation in the Rodin plateform through AnimB and a event-b model. The controller is ensured by a piece of javascript code running in the browser.

The installation

In your Event-B project, create a directory called "animation". Then dowload the two following files in this directory:

  • AnimB.js the AnimB javascript component
  • index.html a basic HTML file. This file could be used to create your own animation.

Create your own animation

First you must set the three variables describing your project.

  • project set to the Rodin project name
  • model set to the model name used to build the animation
  • name set to the name of the animation