Difference between pages "ADVANCE D3.2 Improvement of automated proof" and "AnimB Javascript Tutorial"
From Event-B
(Difference between pages)
Jump to navigationJump to searchimported>Tommy |
imported>Christophe |
||
Line 1: | Line 1: | ||
− | + | 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: | ||
+ | * [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 | ||
+ | * [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. 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 this variable must be to set with the Rodin project name | |
− | + | * model this variable must be to set with the model used to build the animation | |
− | |||
− | |||
− | |||
− |
Revision as of 12:37, 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 this variable must be to set with the Rodin project name
- model this variable must be to set with the model used to build the animation