The web animator is an extension to LTSA and that, together with the MSC plugin, allows the creation of simulations of web applications, driven by a formal behaviour model. The animator allows us to mock up an interface for the application, so that we can experiment with how and end-user might interact with the system at the modelling stage.
For an example of using the web animator extension, see the quick tutorial.
Latest stable version - last updated March 30, 2006
The web animator plugin is developed by :