Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approachv
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...
Saved in:
Published in | Electronic proceedings in theoretical computer science |
---|---|
Main Authors | , , , , , , , |
Format | Journal Article |
Language | Norwegian |
Published |
Open Publishing Association
2019
|
Online Access | Get full text |
Cover
Loading…
Summary: | 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). |
---|---|
Bibliography: | NFR/237898 |
ISSN: | 2075-2180 2075-2180 |