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