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

被引：0

作者：

de Boer, Frank S. ^{[1
]}

Giachino, Elena ^{[2
]}

de Gouw, Stijn ^{[3
]}

Haehnle, Reiner ^{[4
]}

Johnsen, Einar Broch ^{[5
]}

Laneve, Cosimo ^{[2
]}

Pun, Ka, I ^{[5
,6
]}

Zavattaro, Gianluigi ^{[2
]}

机构：

[1] CWI Amsterdam, Amsterdam, Netherlands

[2] Univ Bologna, Bologna, BO, Italy

[3] Open Univ, Heerlen, Netherlands

[4] Tech Univ Darmstadt, Darmstadt, Germany

[5] Univ Oslo, Oslo, Norway

[6] Western Norway Univ Appl Sci, Bergen, Norway

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2019年 / 302期

关键词：

D O I：

10.4204/EPTCS.302.1

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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

引用

页码：1 / 15

页数：15

共 50 条

[1] A Matching Model-Based Approach to Metaphor Transfer in SLA
Dong Baohua
[J]. CHINESE JOURNAL OF APPLIED LINGUISTICS, 2014, 37 (01) : 67 - 85
[2] Rubacon: Automated Support for Model-based Compliance Engineering
Hoehn, Sebastian
Juerjens, Jan
[J]. ICSE'08 PROCEEDINGS OF THE THIRTIETH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2008, : 875 - 878
[3] A model-based approach to support privacy compliance
Alshammari, Majed
Simpson, Andrew
[J]. INFORMATION AND COMPUTER SECURITY, 2018, 26 (04) : 437 - 453
[4] Trustworthy Cloud Certification: A Model-Based Approach
Anisetti, Marco
Ardagna, Claudio A.
Damiani, Ernesto
El Ioini, Nabil
[J]. DATA-DRIVEN PROCESS DISCOVERY AND ANALYSIS, SIMPDA 2014, 2015, 237 : 107 - 122
[5] Matching Model-based Approach to Metaphor Transfer in SLA Baohua Dong
Dong, Baohua
[J]. 2012 2ND INTERNATIONAL CONFERENCE ON APPLIED SOCIAL SCIENCE (ICASS 2012), VOL 2, 2012, : 99 - 104
[6] Automated Model-based Performance Testing for PaaS Cloud Services
Zhou, Junzan
Zhou, Bo
Li, Shanping
[J]. 2014 38TH ANNUAL IEEE INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSACW 2014), 2014, : 644 - 649
[7] Connected Automated Driving: A Model-Based Approach to the Analysis of Basic Awareness Services
Araujo, Hugo
Hoenselaar, Ties
Mousavi, Mohammad Reza
Vinel, Alexey
[J]. 2020 IEEE 31ST ANNUAL INTERNATIONAL SYMPOSIUM ON PERSONAL, INDOOR AND MOBILE RADIO COMMUNICATIONS (IEEE PIMRC), 2020,
[8] A cloud model-based approach for water quality assessment
Wang, Dong
Liu, Dengfeng
Ding, Hao
Singh, Vijay P.
Wang, Yuankun
Zeng, Xiankui
Wu, Jichun
Wang, Lachun
[J]. ENVIRONMENTAL RESEARCH, 2016, 148 : 24 - 35
[9] AMBRA - Automated Model-Based Risk Analysis
Aime, Marco D.
Atzeni, Andrea
Pomi, Paolo C.
[J]. QOP'07: PROCEEDINGS OF THE 2007 ACM WORKSHOP ON QUALITY OF PROTECTION, 2007, : 43 - 48
[10] On automated model-based extraction and analysis of gait
Wagg, DK
Nixon, MS
[J]. SIXTH IEEE INTERNATIONAL CONFERENCE ON AUTOMATIC FACE AND GESTURE RECOGNITION, PROCEEDINGS, 2004, : 11 - 16

← 1 2 3 4 5 →