1. Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approach
- Author
-
de Boer, Frank S., Giachino, Elena, de Gouw, Stijn, Hähnle, Reiner, Johnsen, Einar Broch, Laneve, Cosimo, Pun, Ka I, and Zavattaro, Gianluigi
- Subjects
Computer Science - Distributed, Parallel, and Cluster Computing ,Computer Science - Software Engineering - Abstract
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)., Comment: In Proceedings VORTEX 2018, arXiv:1908.09302
- Published
- 2019
- Full Text
- View/download PDF