云中 SLA 合规性的分析——一种自动化的、基于模型的方法
分布式、并行与集群计算
2019-08-28 v1 软件工程
摘要
服务级别协议（Service Level Agreement, SLA）通常用于规定云服务提供商与客户之间的质量属性。违反 SLA 会导致高额惩罚。为了在服务部署前分析 SLA 合规性，我们在本文中描述了一种云上服务的 SLA 感知部署方法，并通过一个案例研究说明其工作流。该方法基于形式化模型结合静态分析工具与生成的运行时监视器。因此，它很好地契合了将软件开发与信息技术运维相结合的 DevOps 方法论。
引用
@article{arxiv.1908.10040,
title = {Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approach},
author = {Frank S. de Boer and Elena Giachino and Stijn de Gouw and Reiner Hähnle and Einar Broch Johnsen and Cosimo Laneve and Ka I Pun and Gianluigi Zavattaro},
journal= {arXiv preprint arXiv:1908.10040},
year = {2019}
}
备注
In Proceedings VORTEX 2018, arXiv:1908.09302