dc.creator | Müller Cejás, Carlos | es |
dc.creator | Gutiérrez Fernández, Antonio Manuel | es |
dc.creator | Fernández Montes, Pablo | es |
dc.creator | Martín Díaz, Octavio | es |
dc.creator | Resinas Arias de Reyna, Manuel | es |
dc.creator | Ruiz Cortés, Antonio | es |
dc.date.accessioned | 2022-01-25T11:25:57Z | |
dc.date.available | 2022-01-25T11:25:57Z | |
dc.date.issued | 2021 | |
dc.identifier.citation | Müller Cejás, C., Gutiérrez Fernández Antonio Manuel, , Fernández Montes, P., Martín Díaz, O., Resinas Arias de Reyna, M. y Ruiz Cortés, A. (2021). Automated Validation of Compensable SLAs. IEEE Transactions on Services Computing, 14 (5), 1306-1319. | |
dc.identifier.issn | 1939-1374 | es |
dc.identifier.uri | https://hdl.handle.net/11441/129180 | |
dc.description.abstract | 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. | es |
dc.description.sponsorship | Ministerio de Economía y Competitividad BELI (TIN2015-70560-R) | es |
dc.description.sponsorship | Ministerio de Ciencia, Innovación y Universidades TIN2016-81978-REDT | es |
dc.description.sponsorship | Junta de Andalucía P12--TIC--1867 | es |
dc.format | application/pdf | es |
dc.format.extent | 14 | es |
dc.language.iso | eng | es |
dc.publisher | IEEE Computer Society | es |
dc.relation.ispartof | IEEE Transactions on Services Computing, 14 (5), 1306-1319. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Analysis, compensation | es |
dc.subject | CSP | es |
dc.subject | Penalty | es |
dc.subject | Reward | es |
dc.subject | SLA | es |
dc.subject | Validation | es |
dc.subject | WS–Agreement | es |
dc.title | Automated Validation of Compensable SLAs | es |
dc.type | info:eu-repo/semantics/article | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos | es |
dc.relation.projectID | BELI (TIN2015-70560-R) | es |
dc.relation.projectID | TIN2016-81978-REDT | es |
dc.relation.projectID | P12-TIC-1867 | es |
dc.relation.publisherversion | https://ieeexplore.ieee.org/document/8567955 | es |
dc.identifier.doi | 10.1109/TSC.2018.2885766 | es |
dc.contributor.group | Universidad de Sevilla. TIC205: Ingeniería del Software Aplicada | es |
dc.journaltitle | IEEE Transactions on Services Computing | es |
dc.publication.volumen | 14 | es |
dc.publication.issue | 5 | es |
dc.publication.initialPage | 1306 | es |
dc.publication.endPage | 1319 | es |
dc.identifier.sisius | 21800595 | es |
dc.contributor.funder | Ministerio de Economía y Competitividad (MINECO). España | es |
dc.contributor.funder | Ministerio de Ciencia, Innovación y Universidades (MICINN). España | es |
dc.contributor.funder | Junta de Andalucía | es |