Web Animator plugin

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

Simply place the above jar file into the plugins directory of the LTSA tool.

The web animator plugin is developed by :

For more information about work with this plugin, see the following publications: