Aggregating Service Level Agreements in Services Bundling: A Semiring-Based Approach

  • Trung-Viet Nguyen
  • Lam-Son LêEmail author
  • Khuong Nguyen-An
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10018)


Business services arguably play a central role in service-based information systems as they fill in the gap between the technicality of Service-Oriented Architecture and the business aspects captured in Enterprise Architecture. Business services have distinctive features that are not typically observed in Web services, e.g. significant portions of the functionality of business services might be executed in a human-mediated fashion. As such, service level agreement (SLA) should be described as a mixture of human-mediated functionality (e.g., service penalty) and computer-interpretable measurement (e.g., reliability, payment). In this paper, we propose a formal framework for reasoning about the SLAs from the perspective of services bundling – the practice of innovatively organizing business services into a bulkier service offering that creates new values. Specifically, we (a) represent multi-level SLA of a business service in terms of service reliability, payment and penalty using the mathematical structure of semiring; (b) provide formality for aggregating SLAs of the constituent services that make up the service bundling; (c) make multi-level SLAs of a bundled service technically comparable. The main contribution of this work is a machinery for handling a large number of SLAs generated through services bundling, allowing to the service consumers to pick up the right service offering according to their preference.


SLA Services bundling Semiring Formal methods 


  1. 1.
    Bishop, K., Bolan, G., Bowen, D., Cromack, C., Evans, S., Fisk, R.P., Ganz, W., Gregory, M., Johnston, R., Lemmink, J., et al.: Succeeding through service innovation: a service perspective for education, research, business and government (2008)Google Scholar
  2. 2.
    Bistarelli, S.: Semirings for soft constraint solving and programming. In: Bistarelli, S. (ed.) Semirings for Soft Constraint Solving and Programming. LNCS, vol. 2962, pp. 1–20. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  3. 3.
    Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. J. ACM (JACM) 44(2), 201–236 (1997)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Blake, M.B., Cummings, D.J., Bansal, A., Bansal, S.K.: Workflow composition of service level agreements for web services. Decis. Support Syst. 53(1), 234–244 (2012)CrossRefGoogle Scholar
  5. 5.
    Cappiello, C., Comuzzi, M.: Efficient allocation of quality improvement efforts to support the definition of data service offerings. In: Proceedings of the 12th International Conference on Information Quality (ICIQ 2007), pp. 209–220 (2007)Google Scholar
  6. 6.
    Czajkowski, K., Foster, I., Kesselman, C., Sander, V., Tuecke, S.: SNAP: a protocol for negotiating service level agreements and coordinating resource management in distributed systems. In: Feitelson, D.G., Rudolph, L., Schwiegelshohn, U. (eds.) JSSPP 2002. LNCS, vol. 2537, pp. 153–183. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  7. 7.
    Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (2002)CrossRefzbMATHGoogle Scholar
  8. 8.
    Falkowski, T., Voß, S.: Application service providing as part of intelligent decision support for supply chain management. In: Proceedings of the 36th Annual Hawaii International Conference on System Sciences. IEEE Computer Society (2003)Google Scholar
  9. 9.
    Fick, G.R., Ritchie, J.B.: Measuring service quality in the travel and tourism industry. J. Travel Res. 30(2), 2–9 (1991)CrossRefGoogle Scholar
  10. 10.
    Gabbay, D.M., Woods, J.: Logic and the Modalities in the Twentieth Century. Handbook of the History of Logic, vol. 7 (2006)Google Scholar
  11. 11.
    Garvin, D.A.: Managing Quality: The Strategic and Competitive Edge. Simon & Schuster, New York (1988)Google Scholar
  12. 12.
    Governatori, G., Milosevic, Z.: A formal analysis of a business contract language. Int. J. Coop. Inf. Syst. 15(04), 659–685 (2006)CrossRefGoogle Scholar
  13. 13.
    Greenwood, D., Vitaglione, G., Keller, L., Calisti, M.: Service level agreement management with adaptive coordination. In: Proceedings of the International Conference on Networking and Services (ICNS 2006), pp. 45–45. IEEE Computer Society (2006)Google Scholar
  14. 14.
    Hansmann, U., Merk, L., Nicklous, M.S., Stober, T.: Pervasive Computing: The Mobile World. Springer, Heidelberg (2003)zbMATHGoogle Scholar
  15. 15.
    ITU: ITU-T E.800 E.800: Definitions of Terms Related to Quality of Service (2008)Google Scholar
  16. 16.
    Jineja, R., Sharma, D.: Multi-level SLA management architecture for cloud computing. Int. J. Adv. Res. Comput. Sci. Softw. Eng. 4(5), 401–406 (2014)Google Scholar
  17. 17.
    Lê, L.-S., Ghose, A.: Contracts + goals = roles? In: Atzeni, P., Cheung, D., Ram, S. (eds.) ER 2012 Main Conference 2012. LNCS, vol. 7532, pp. 252–266. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  18. 18.
    Li, J., Tang, W., Wang, X.: Adding QoS to web service transaction management. In: Proceedings of the IEEE Conference on Cybernetics and Intelligent Systems, vol. 2, pp. 1308–1313. IEEE Computer Society (2004)Google Scholar
  19. 19.
    Linington, P.F., Milosevic, Z., Cole, J., Gibson, S., Kulkarni, S., Neal, S.: A unified behavioural model and a contract language for extended enterprise. Data Knowl. Eng. 51(1), 5–29 (2004)CrossRefGoogle Scholar
  20. 20.
    Pan, J., Paul, S., Jain, R.: A survey of the research on future internet architectures. IEEE Commun. Mag. 49(7), 26–36 (2011)CrossRefGoogle Scholar
  21. 21.
    Paulson, L.D.: Services science: a new field for today’s economy. Computer 39(8), 18–21 (2006)CrossRefGoogle Scholar
  22. 22.
    Philip, P.B., Lewis, G., Merson, P.: Service level agreements in service-oriented architecture environments. Technical Note of Software Engineering Institute (2008)Google Scholar
  23. 23.
    Rahwan, I., Kowalczyk, R., Pham, H.H.: Intelligent agents for automated one-to-many e-commerce negotiation. In: Proceedings of the 25th Australasian Conference on Computer Science, pp. 197–204. Australian Computer Society, Inc. (2002)Google Scholar
  24. 24.
    Singh, M.P., Huhns, M.N.: Service-Oriented Computing: Semantics, Processes, Agents. Wiley, Hoboken (2006)Google Scholar
  25. 25.
    Yan, J., Kowalczyk, R., Lin, J., Chhetri, M.B., Goh, S.K., Zhang, J.: Autonomous service level agreement negotiation for service composition provision. Future Gener. Comput. Syst. 23(6), 748–759 (2007)CrossRefGoogle Scholar
  26. 26.
    Yang, S.J., Zhang, J., Lan, B.C.: Service level agreement-based QoS analysis for web services discovery and composition. Int. J. Internet Enterp. Manag. 5(1), 39–58 (2006)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  • Trung-Viet Nguyen
    • 1
    • 2
  • Lam-Son Lê
    • 1
    Email author
  • Khuong Nguyen-An
    • 1
  1. 1.Faculty of Computer Science and EngineeringHCMC University of TechnologyHo Chi Minh CityVietnam
  2. 2.Faculty of Information TechnologyCan Tho University of TechnologyCan Tho CityVietnam

Personalised recommendations