All the tools developed in the Envisage project are available in the ABS Collaboratory. ABS supports the modeling of services and SLA for deployment on the cloud. The ABS tools are now online This enables you to try the modelling language and analysis tools as a service. Try the ABS Online Tools now!
The ABS online tools include simulation with visualization support, deadlock analysis, cost analysis, deployment synthesis, and test case generation (see http://abs-models.org/abs-tools).
The ABS language manual has been updated and made web-ready at http://docs.abs-models.org/.
The tools are open source. Source code for the tools is available at https://github.com/abstools/abstools. The tools can be compiled and installed locally (also via Vagrant or docker).