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 条
  • [41] AutoSLAM - A policy-based framework for automated SLA establishment in cloud environments
    Chhetri, M. Baruwal
    Vo, Q. Bao
    Kowalczyk, R.
    [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2015, 27 (09): : 2413 - 2442
  • [42] A dynamic cloud service selection model based on trust and SLA in cloud computing
    Wang, Yubiao
    Wen, Junhao
    Wu, Quanwang
    Guo, Lei
    Tao, Bamei
    [J]. INTERNATIONAL JOURNAL OF GRID AND UTILITY COMPUTING, 2019, 10 (04) : 334 - 343
  • [43] Planning for Safety Standards Compliance: A Model-Based Tool-Supported Approach
    Falessi, Davide
    Sabetzadeh, Mehrdad
    Briand, Lionel
    Turella, Emanuele
    Coq, Thierry
    Panesar-Walawege, Rajwinder Kaur
    [J]. IEEE SOFTWARE, 2012, 29 (03) : 64 - 70
  • [44] Automated Model-based HAZOP Study in Process Hazard Analysis
    Janosovsky, Jan
    Labovsky, Juraj
    Jelemensky, Ludovit
    [J]. 15TH INTERNATIONAL SYMPOSIUM ON LOSS PREVENTION AND SAFETY PROMOTION (LOSS 2016), 2016, 48 : 505 - 510
  • [45] A dynamic cloud service selection model based on trust and SLA in cloud computing
    Wang, Yubiao
    Wen, Junhao
    Wu, Quanwang
    Guo, Lei
    Tao, Bamei
    [J]. International Journal of Grid and Utility Computing, 2019, 10 (04): : 334 - 343
  • [46] Analysis of a trust model for SLA negotiation and enforcement in cloud markets
    Macias, Mario
    Guitart, Jordi
    [J]. FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2016, 55 : 460 - 472
  • [47] Automated 2-D cephalometric analysis on X-ray images by a model-based approach
    Yue, Weining
    Yin, Dali
    Li, Chengjun
    Wang, Guoping
    Xu, Tianmin
    [J]. IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING, 2006, 53 (08) : 1615 - 1623
  • [48] Model-Based Automated Accessibility Testing
    Brajnik, Giorgio
    Pighin, Chiara
    Fabbro, Sara
    [J]. ASSETS'15: PROCEEDINGS OF THE 17TH INTERNATIONAL ACM SIGACCESS CONFERENCE ON COMPUTERS & ACCESSIBILITY, 2015, : 319 - 320
  • [49] Model-based Systems Engineering Papers Analysis based on Word Cloud Visualization
    Dong, Mengru
    Lu, Jinzhi
    Wang, Guoxin
    Zheng, Xiaochen
    Kiritsis, Dimitris
    [J]. SYSCON 2022: THE 16TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON), 2022,
  • [50] Cloud-Based Orchestration of a Model-Based Power and Data Analysis Toolchain
    Post, Ethan
    Cole, Bjorn
    Dinkel, Kevin
    Kim, Hongman
    Lee, Erich
    Nairouz, Bassem
    [J]. 2016 IEEE AEROSPACE CONFERENCE, 2016,
12345