AnimB Javascript Tutorial

From Event-B
Revision as of 01:15, 6 October 2010 by 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...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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.