Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approach
Frank S. de Boer (CWI Amsterdam, The Netherlands), Elena Giachino, (University of Bologna, Italy), Stijn de Gouw (The Open University, The, Netherlands), Reiner H\"ahnle (Technical University of Darmstadt, Germany),, Einar Broch Johnsen (University of Oslo, Norway)
TL;DR
This paper presents an automated, model-based approach for analyzing SLA compliance in cloud service deployment, integrating formal models, static analysis, and runtime monitoring within a DevOps framework.
Contribution
It introduces a novel methodology for SLA-aware cloud deployment using formal models, static analysis, and runtime monitors to prevent SLA violations before deployment.
Findings
Effective pre-deployment SLA compliance analysis
Integration of formal models with static analysis tools
Case study demonstrating practical applicability
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).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsService-Oriented Architecture and Web Services · Business Process Modeling and Analysis · Cloud Computing and Resource Management