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).
In your Event-B project, create a directory called "animation". Then dowload the two following files in this directory:
- index.html a basic HTML file. This file could be used to create your own animation.
Create your own animation
Create a animation consiste in editing the index.html file.
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