0.2.2 - Tue, 24 Jan 2012

More updates, including:

• PRISM 4.0.x support,
• prism WS operation engine options for the exact model checking and initial support for the approximate model checking,
• docs: installation instruction, release notes etc.,
• small enhancements to the shell scripts and workers tests,
• bug fixes and cosmetics, including missing Maven repos, tomcat plugin configuration fix and more configuration variables.

0.2.1 - Wed, 03 Aug 2011

Minor updates which include:

• a system startup script,
• the sampleDistribution WS operation,
• factored out BeanShell libraries.

0.2 - Thu, 07 Jul 2011

The first public release under AGPL license. Major features are:

1. Apache ActiveMQ-based distributed architecture of the server,
2. workers and workflow examples including wrappers for computational tools such as PRISM, Mathematica and SBML ODE Solver.

0.1 - Wed, 26 Jan 2011

Development version of source code (not available publicly) that supports a public release of the Tav4SB Web service.