基于ABS的弹性服务部署决策建模

如果服务能够有效利用可用的虚拟资源来满足服务级别的要求，那么使用云技术可以为服务的部署节省大量成本。为了避免软件设计伸缩性差，必须在设计时、服务本身开发的早期为服务做出部署决策。ABS提供了一种基于模型的正式方法，将服务设计与部署决策建模集成在一起。在本文中，我们通过使用自动缩放策略对可伸缩的工作人员池进行建模，并通过使用该模型比较客户端流量与峰值负载之间的部署决策，来说明此方法的主要概念。

白皮书链接.
问卷链接.

云中SLA合规性分析：基于模型的自动化方法

为了开发SLA合规性检查工具，我们认为必须在模型：重要的是要以独立于云服务提供商提供的具体技术的方式描述和分析SLA。转移到建模级别可以提高抽象级别，降低复杂性，并消除对特定运行时环境的依赖性。

模型的重要性不仅适用于SLA，也适用于软件：以模型为中心的方法允许我们创建SLA基本方面的正式表示。同时，部署在云上的软件可以表示为一个可执行模型，该模型使用参数表达式进行注释，以便使用资源。结合这些模型，我们现在可以使用具有正式基础的技术，例如最先进的静态软件分析，为服务性能提供经验证的保证，从而大大提高自动化程度。

白皮书链接.
问卷链接.