云中的SLA合规性分析--一种自动化、基于模型的方法
Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approach
摘要：
服务水平协议（SLA）通常用于指定云服务提供商和客户之间的质量属性。违反SLA可能导致高额处罚。为了让服务部署之前的SLA合规性分析，我们在本文中描述了一种方法，SLA感知部署的云服务，并说明其工作流程通过案例研究。该方法基于形式化模型，结合静态分析工具和生成的运行时监视器。因此，它非常适合将软件开发与信息技术运营（DevOps）相结合的方法。
英文摘要：
Service Level Agreements (SLA) are commonly used to specify the quality attributes between cloud service providers and the customers. A violation of SLAs can result in high penalties. To allow the analysis of SLA compliance before the services are deployed, we describe in this paper an approach for SLA-aware deployment of services on the cloud, and illustrate its workflow by means of a case study. The approach is based on formal models combined with static analysis tools and generated runtime monitors. As such, it fits well within a methodology combining software development with information technology operations (DevOps).
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
