Abstract
In Cooperative Information Systems, service level agreements (SLA) can be used to describe the rights and obligations of parties involved in the transactions (typically the service consumer and the service provider); amongst other information, SLA could define guarantees associated with the idea of service level objectives (SLOs) that normally represent key performance indicators of either the consumer or the provider. In case the guarantee is under-fulfilled or over-fulfilled SLAs could also define some compensations (i.e. penalties or rewards). In such a context, during the last years there have been important steps towards the automation of the management of SLAs, however the formalization of compensations in SLAs still remains as an important challenge.
In 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 consistently penalties and rewards and (ii) a model for Compensable Guarantees that associate SLOs with Compensation Functions. This formalization models aim 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 examples 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.
This work was partially supported by the European Commission (FEDER), the Spanish and the Andalusian R&D&I programmes (grants P12-TIC-1867, TIN2012-32273, TIC-5906 and IPT-2013-0890-3)
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Andrieux, A., Czakowski, K., Dan, A., Keahey, K., Ludwig, H., Nakata, T., Pruyne, J., Rofrano, J., Tuecke, S., Xu, M.: Web Services Agreement Specification (WS-Agreement) gfd-r.192 (October 2011)
Angelov, K., Camilleri, J.J., Schneider, G.: A framework for conflict analysis of normative texts written in controlled natural language. The Journal of Logic and Algebraic Programming 82(5-7), 216–240 (2013)
Bar-Isaac, H., Deb, J.: What is a good reputation? career concerns with heterogeneous audiences. International Journal of Industrial Organization 34(0), 44–50 (2014)
Buco, M.J., Chang, R.N., Luan, L.Z., Ward, C., Wolf, J.L., Yu, P.S.: Utility computing sla management based upon business objectives. IBM Systems Journal 43(1), 159–178 (2004)
del Río-Ortega, A., Resinas, M., Cabanillas, C., Ruiz-Cortés, A.: On the Definition and Design-time Analysis of Process Performance Indicators. Information Systems 38(4), 470–490 (2012)
García, J.M., Junghans, M., Ruiz, D., Agarwal, S., Cortés, A.R.: Integrating semantic web services ranking mechanisms using a common preference model. Knowl.-Based Syst. 49, 22–36 (2013)
Grabarnik, G., Ludwig, H., Shwartz, L.: Management of service process qos in a service provider - service supplier environment. In: The 9th IEEE Int. Conf. on Ent. Comp., E-Commerce, and E-Services (CEC/EEE), pp. 543–550 (July 2007)
International Working Group on Cloud Computing Resiliency (IWGCR). Downtime statistics of current cloud solutions (2012)
Kronz, A.: Managing of process key performance indicators as part of the aris methodology. In: Corporate Performance Management: Aris in Practice, pp. 31–44. Springer, Heidelberg (2006)
Leitner, P., Hummer, W., Dustdar, S.: Cost-based optimization of service compositions. IEEE Transactions on Services Computing 6(2), 239–251 (2013)
Leitner, P., Hummer, W., Satzger, B., Inzinger, C., Dustdar, S.: Cost-efficient and application sla-aware client side request scheduling in an infrastructure-as-a-service cloud. In: 2012 IEEE 5th International Conference on Cloud Computing (CLOUD), pp. 213–220 (June 2012)
Martín-Díaz, O., Ruiz-Cortés, A., Durán, A., Müller, C.: An approach to temporal-aware procurement of web services. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 170–184. Springer, Heidelberg (2005)
Müller, C., Martín-Díaz, O., Ruiz-Cortés, A., Resinas, M., Fernández, P.: Improving temporal-awareness of WS-agreement. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 193–206. Springer, Heidelberg (2007)
Müller, C., Resinas, M., Ruiz–Cortés, A.: Automated analysis of conflicts in ws–agreement. IEEE Transactions on Services Computing, TSC (2013)
Rana, O.F., Warnier, M., Quillinan, T.B., Brazier, F., Cojocarasu, D.: Managing violations in service level agreements. In: Grid Middleware and Services Chapter Title - Managing Violations in Service Level Agreements, pp. 349–358 (2008)
Ren, F., Zhang, M.: Bilateral single-issue negotiation model considering nonlinear utility and time constraint. Decision Support Systems 60(0), 29–38 (2014)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Müller, C., Gutiérrez, A.M., Martín-Díaz, O., Resinas, M., Fernández, P., Ruiz-Cortés, A. (2014). Towards a Formal Specification of SLAs with Compensations. In: Meersman, R., et al. On the Move to Meaningful Internet Systems: OTM 2014 Conferences. OTM 2014. Lecture Notes in Computer Science, vol 8841. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-45563-0_17
Download citation
DOI: https://doi.org/10.1007/978-3-662-45563-0_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-45562-3
Online ISBN: 978-3-662-45563-0
eBook Packages: Computer ScienceComputer Science (R0)