在Envisage项目中开发的所有工具均可在ABS合作实验室中使用。ABS支持在云上部署的服务和SLA建模。ABS工具现已联机,您可以尝试将建模语言和分析工具作为一项服务。立即尝试ABS在线工具!
ABS在线工具包括具有可视化支持的仿真、死锁分析、成本分析、部署合成和测试用例生成(请参阅http://abs-models.org/abs-tools).
ABS语言手册已更新并在网上发布http://docs.abs-models.org/.
这些工具是开源的。工具的源代码可在https://github.com/abtools/abtools网站。这些工具可以编译和在本地安装(也可通过Vagrant或docker)。