AnimB Javascript Tutorial: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Christophe New page: 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 browse... |
imported>Christophe No edit summary |
||
| Line 5: | Line 5: | ||
The model part is given by a running animation in the Rodin plateform through AnimB and a event-b model. | 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 controller is ensured by a piece of javascript code running in the browser. | ||
= The basics = | |||
In your Event-B project, create a directory called "animation". | |||
Then dowload the two following files in this directory: | |||
AnimB.js | |||
index.html | |||
Revision as of 01:21, 6 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 basics
In your Event-B project, create a directory called "animation". Then dowload the two following files in this directory: AnimB.js index.html
