Towards a formal specification of SLAs with Compensations sService Level Agreement (Sla) • January 13th, 2015
Contract Type FiledJanuary 13th, 2015In this paper we aim to provide a characterization model to create SLAs with compensations; specifically, the main contributions are twofold: (i) the conceptualization of the Compensation Function to express consis- tently penalties and rewards and (ii) a model for Compensable Guaran- tees that associate SLOs with Compensation Functions. This formaliza- tion models aims to establish a foundation to elaborate tools that could provide an automated support to the modeling and analysis of SLAs with compensations. Additionally, in order to validate our approach, we model and analyze a set of guarantee terms from three real world ex- amples of SLAs and our formalization proves to be useful for detecting mistakes that are typically derived from the manual specification of SLAs in natural language.