Difference between revisions of "AnimB Javascript Tutorial"
From Event-B
Jump to navigationJump to searchimported>Christophe |
imported>Christophe |
||
| Line 9: | Line 9: | ||
In your Event-B project, create a directory called "animation". | In your Event-B project, create a directory called "animation". | ||
Then dowload the two following files in this directory: | Then dowload the two following files in this directory: | ||
| − | AnimB.js | + | * [https://rodin-b-sharp.svn.sourceforge.net/svnroot/rodin-b-sharp/trunk/AnimB/org.animb.jscomponent/animation/AnimB.js AnimB.js] the AnimB javascript component |
| − | index.html | + | * [https://rodin-b-sharp.svn.sourceforge.net/svnroot/rodin-b-sharp/trunk/AnimB/org.animb.jscomponent/animation/index.html index.html] a basic HTML file |
Revision as of 01:36, 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 the AnimB javascript component
- index.html a basic HTML file
