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

Full description

Saved in:
Bibliographic Details
Published inElectronic proceedings in theoretical computer science
Main Authors de Boer, Frank, Giachino, Elena, de Gouw, Stijn, Hähnle, Reiner, Johnsen, Einar Broch, Laneve, Cosimo, Pun, Ka I, Zavattaro, Gianluigi
Format Journal Article
LanguageNorwegian
Published Open Publishing Association 2019
Online AccessGet full text

Cover

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).
AbstractList 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).
Author Hähnle, Reiner
Johnsen, Einar Broch
de Gouw, Stijn
Pun, Ka I
Zavattaro, Gianluigi
Laneve, Cosimo
de Boer, Frank
Giachino, Elena
Author_xml – sequence: 1
  fullname: de Boer, Frank
– sequence: 2
  fullname: Giachino, Elena
– sequence: 3
  fullname: de Gouw, Stijn
– sequence: 4
  fullname: Hähnle, Reiner
– sequence: 5
  fullname: Johnsen, Einar Broch
– sequence: 6
  fullname: Laneve, Cosimo
– sequence: 7
  fullname: Pun, Ka I
– sequence: 8
  fullname: Zavattaro, Gianluigi
BookMark eNqFirEOgjAUABujiah8g-8DbAJFBMaGaBzURXdSaQk1pY_QYuLf6-Dg5i13wy3I1KJVExKwKEspi_No-tNzEjr3iD4kBdsWu4BcuBXm5bQDbOB64lBi1xstbK1AW_CtgtLgKIFS4Bb46LETXskNnFEqQ-_CKQm87wcUdftckVkjjFPh10uyPuxv5ZHWg3Ze28riIKo4ylNWZVlSxMn_4w2FITvm
ContentType Journal Article
Copyright info:eu-repo/semantics/openAccess
Copyright_xml – notice: info:eu-repo/semantics/openAccess
DBID 3HK
DatabaseName NORA - Norwegian Open Research Archives
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 2075-2180
ExternalDocumentID 10852_77391
GroupedDBID 3HK
5VS
ADBBV
ALMA_UNASSIGNED_HOLDINGS
BCNDV
C1A
E3Z
GROUPED_DOAJ
KQ8
M~E
OK1
ID FETCH-cristin_nora_10852_773913
ISSN 2075-2180
IngestDate Sat Apr 29 05:44:36 EDT 2023
IsOpenAccess true
IsPeerReviewed false
IsScholarly true
Language Norwegian
LinkModel OpenURL
MergedId FETCHMERGED-cristin_nora_10852_773913
Notes NFR/237898
OpenAccessLink http://hdl.handle.net/10852/77391
ParticipantIDs cristin_nora_10852_77391
PublicationCentury 2000
PublicationDate 2019
PublicationDateYYYYMMDD 2019-01-01
PublicationDate_xml – year: 2019
  text: 2019
PublicationDecade 2010
PublicationTitle Electronic proceedings in theoretical computer science
PublicationYear 2019
Publisher Open Publishing Association
Publisher_xml – name: Open Publishing Association
SSID ssj0000392496
Score 4.257196
Snippet Service Level Agreements (SLA) are commonly used to specify the quality attributes between cloud service providers and the customers. A violation of SLAs can...
SourceID cristin
SourceType Open Access Repository
Title Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approachv
URI http://hdl.handle.net/10852/77391
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3NS8MwFA-ykxe_ZX7n4G1G5vqR9liHOkR30Am7jTVNcTIS0NaDf70vSZvGsYF6KSWloe0vfV95v_cQOp9mMQ9YEJKcRhnxozgkqRfkpOsxVUoFFFhPcYcfh-Hgxb8fB-OGe6LZJUV6yb6W8kr-gyqMAa6KJfsHZO2kMADngC8cAWE4_gpjt6LI80Oif24VtmC8Tl_sz2WZdQhRwb-kLCTYpya6qXqgzYnSYZmyRDWv6vNHmL7pj9MouY9qXst9ZFVTiE6lSWv8Mt65lmY16LbwNs1nppM3pcko42Lq3HAnS7PPVMze7JId6J18_1WYtOcnrsiKbqjCEYUqOcaNqy0uPS3vemC9ELA4zDYNXzbmVste0GI2t1DRKXoTSj1T06Dru4621s-e8jl118F6dnB-mJapwjEuRltoo_IKcGIg3kZrQu6gzbrjBq4E8C4a1ohjmWNAHDeI45nAgAzWiGNCcCKwRfwCO3hji_ceOru9GfUHpHqsiQCBMHFezdtHLSEFbyPc5b5PwdJM8yj0KQOTnU8pDVkQ8yi6yrMD1F41y-HqS0doXUFook3HqFW8l_wE7K8iPdWf8xtYPTgH
link.rule.ids 230,315,786,790,891,4043
linkProvider Directory of Open Access Journals
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Analysis+of+SLA+Compliance+in+the+Cloud+--+An+Automated%2C+Model-based+Approachv&rft.jtitle=Electronic+proceedings+in+theoretical+computer+science&rft.au=de+Boer%2C+Frank&rft.au=Giachino%2C+Elena&rft.au=de+Gouw%2C+Stijn&rft.au=H%C3%A4hnle%2C+Reiner&rft.date=2019&rft.pub=Open+Publishing+Association&rft.issn=2075-2180&rft.eissn=2075-2180&rft.externalDBID=n%2Fa&rft.externalDocID=10852_77391
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2075-2180&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2075-2180&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2075-2180&client=summon