Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach

Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach

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...

Full description

Bibliographic Details
Main Authors: Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro
Format: Article
Language:English
Published: Open Publishing Association 2019-08-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1908.10040v1
id doaj-e44f7e5d117948708eb464eb2889f50e
record_format Article
spelling doaj-e44f7e5d117948708eb464eb2889f50e2020-11-25T01:36:21ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802019-08-01302Proc. VORTEX 201811510.4204/EPTCS.302.1:1Analysis of SLA Compliance in the Cloud - An Automated, Model-based ApproachFrank S. de Boer0Elena Giachino1Stijn de Gouw2Reiner Hähnle3Einar Broch Johnsen4Cosimo Laneve5Ka I Pun6Gianluigi Zavattaro7 CWI Amsterdam, The Netherlands University of Bologna, Italy The Open University, The Netherlands Technical University of Darmstadt, Germany University of Oslo, Norway University of Bologna, Italy Western Norway University of Applied Sciences, University of Oslo, Norway University of Bologna, Italy 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).http://arxiv.org/pdf/1908.10040v1
collection DOAJ
language English
format Article
sources DOAJ
author Frank S. de Boer
Elena Giachino
Stijn de Gouw
Reiner Hähnle
Einar Broch Johnsen
Cosimo Laneve
Ka I Pun
Gianluigi Zavattaro
spellingShingle Frank S. de Boer
Elena Giachino
Stijn de Gouw
Reiner Hähnle
Einar Broch Johnsen
Cosimo Laneve
Ka I Pun
Gianluigi Zavattaro
Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach
Electronic Proceedings in Theoretical Computer Science
author_facet Frank S. de Boer
Elena Giachino
Stijn de Gouw
Reiner Hähnle
Einar Broch Johnsen
Cosimo Laneve
Ka I Pun
Gianluigi Zavattaro
author_sort Frank S. de Boer
title Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach
title_short Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach
title_full Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach
title_fullStr Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach
title_full_unstemmed Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach
title_sort analysis of sla compliance in the cloud - an automated, model-based approach
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2019-08-01
description 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).
url http://arxiv.org/pdf/1908.10040v1
work_keys_str_mv AT franksdeboer analysisofslacomplianceinthecloudanautomatedmodelbasedapproach
AT elenagiachino analysisofslacomplianceinthecloudanautomatedmodelbasedapproach
AT stijndegouw analysisofslacomplianceinthecloudanautomatedmodelbasedapproach
AT reinerhahnle analysisofslacomplianceinthecloudanautomatedmodelbasedapproach
AT einarbrochjohnsen analysisofslacomplianceinthecloudanautomatedmodelbasedapproach
AT cosimolaneve analysisofslacomplianceinthecloudanautomatedmodelbasedapproach
AT kaipun analysisofslacomplianceinthecloudanautomatedmodelbasedapproach
AT gianluigizavattaro analysisofslacomplianceinthecloudanautomatedmodelbasedapproach
_version_ 1725063501582434304

Similar Items