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.


Download

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: