AnimB Javascript Tutorial

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