Automated Validation of Compensable SLAs
| Autor: | Müller Cejás, Carlos, Gutiérrez Fernández Antonio Manuel, Fernández Montes, Pablo, Martín Díaz, Octavio, Resinas Arias de Reyna, Manuel, Ruiz Cortés, Antonio |
|---|---|
| Přispěvatelé: | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos, Universidad de Sevilla. TIC205: Ingeniería del Software Aplicada, Ministerio de Economía y Competitividad (MINECO). España, Ministerio de Ciencia, Innovación y Universidades (MICINN). España, Junta de Andalucía |
| Jazyk: | angličtina |
| Rok vydání: | 2021 |
| Předmět: | |
| Zdroj: | idUS. Depósito de Investigación de la Universidad de Sevilla instname |
| Popis: | A Service Level Agreement (SLA) regulates the provisioning of a service by defining a set of guarantees. Each guarantee sets a Service Level Objective (SLO) on some service metrics, and optionally a compensation that is applied when the SLO is unfulfilled or overfulfilled. Currently, there are software tools and research proposals that use the information about compensations to automate and optimise certain parts of the service management. However, they assume that compensations are well defined, which is too optimistic in some circumstances and can lead to undesirable situations. In this article we discuss about the notion of validity of guarantees with a compensation, which we refer to as compensable guarantees (CG). We describe an abstract model of CGs and we provide a technique that leverages constraint satisfaction problem solvers to automatically validate them. We also present a materialisation of the model of CGs in iAgree, a language to specify SLAs and a tooling support that implements our whole approach. An assessment over 319 CGs taken from 24 real-world SLAs suggests that the expressiveness and effectiveness of our proposal can pave the way for using CGs in a safer and more reliable way. Ministerio de Economía y Competitividad BELI (TIN2015-70560-R) Ministerio de Ciencia, Innovación y Universidades TIN2016-81978-REDT Junta de Andalucía P12--TIC--1867 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|