Structural Optimization of Reduced Ordered Binary Decision Diagrams for SLA Negotiation in IaaS of Cloud Computing

  • Kuan Lu
  • Ramin Yahyapour
  • Edwin Yaqub
  • Constantinos Kotsokalis
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7636)


In cloud computing, an automated SLA is an electronic contract used to record the rights and obligations of service providers and customers for their services. SLA negotiation can be a time-consuming process, mainly due to the unpredictable rounds of negotiation and the complicated possible dependencies among SLAs. The operation of negotiating SLAs can be facilitated when SLAs are translated into Reduced Ordered Binary Decision Diagrams (ROBDDs). Nevertheless, an ROBDD may not be optimally structured upon production. In this paper, we show how to reduce the number of 1-paths and nodes of ROBDDs that model SLAs, using ROBDD optimization algorithms. In addition, we demonstrate the reduction of 1-paths via the application of Term Rewriting Systems with mutually exclusive features. Using the latter, ROBDDs can be generated accurately without redundant 1-paths. We apply the principles onto the negotiation of IaaS SLAs via simulation, and show that negotiation is accelerated by assessing fewer SLA proposals (1-paths), while memory consumption is also reduced.


Cloud computing IaaS SLA negotiation Term rewriting ROBDD structural optimization 


  1. 1.
    Vázquez, T., Huedo, E., Montero, R.S., Llorente, I.M.: Evaluation of a Utility Computing Model Based on the Federation of Grid Infrastructures. In: Kermarrec, A.-M., Bougé, L., Priol, T. (eds.) Euro-Par 2007. LNCS, vol. 4641, pp. 372–381. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  2. 2.
    Zhang, Q., Cheng, L., Boutaba, R.: Cloud computing: state-of-the-art and research challenges. Journal of Internet Services and Applications, 7–18 (2010)Google Scholar
  3. 3.
    Lu, K., Roeblitz, T., Chronz, P., Kotsokalis, C.: SLA-Based Planning for Multi-Domain Infrastructure as a Service. In: 1st International Conference on Cloud Computing and Services Science, pp. 343–351. Springer (2011)Google Scholar
  4. 4.
    Lu, K., Roeblitz, T., Yahyapour, R., Yaqub, E., Kotsokalis, C.: QoS-aware SLA-based Advanced Reservation of Infrastructure as a Service. In: Third IEEE International Conference on Coud Computing Technology and Science (CloudCom 2011), pp. 288–295. IEEE Computer Society (2011)Google Scholar
  5. 5.
    Antonopoulos, N., Gillam, L.: Cloud Computing: Principles, Systems and Applications. Springer (2010)Google Scholar
  6. 6.
    Shannon, C.E.: A symbolic analysis of relay and switching circuits. AIEE (57), 713–723 (1938)Google Scholar
  7. 7.
    Wu, L.L., Buyya, R.: Service Level Agreement (SLA) in Utility Computing Systems. Architecture, 27 (2010)Google Scholar
  8. 8.
    Chazalet, A.: Service Level Checking in the Cloud Computing Context. In: IEEE 3rd International Conference on Cloud Computing, pp. 297–304 (2010)Google Scholar
  9. 9.
    Ron, S., Aliko, P.: Service level agreements. Internet NG project (2001)Google Scholar
  10. 10.
    Ebendt, R., Drechsler, R.: Advanced BDD Optimization. Springer (2005)Google Scholar
  11. 11.
    Rudell, R.: Dynamic variable ordering for ordered binary decision diagrams. In: IEEE/ACM International Conference on Computer-Aided Design, pp. 8–15. IEEE Computer Society Press, Los Alamitos (1993)Google Scholar
  12. 12.
    Andersen, H.R.: An Introduction to Binary Decision Diagrams, pp. 8–15. Citeseer (1999)Google Scholar
  13. 13.
  14. 14.
    Klop, J.W.: Term Rewriting Systems. Stichting Mathematisch Centrum, Amsterdam (1990)Google Scholar
  15. 15.
    Baader, F., Nipkow, T.: Term Rewriting and All That, pp. 1–2, 34–35. Cambridge University Press (1999)Google Scholar
  16. 16.
    Open Grid: Web Services Agreement Specification (2007),
  17. 17.
    Keller, A., Ludwig, H.: Specifying and Monitoring Service Level Agreements for Web Services. Journal of Network and Systems Management, 57–81 (2003)Google Scholar
  18. 18.
    Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL) 1.1 W3C Note, World Wide Web Consortium (2001)Google Scholar
  19. 19.
    Kearney, K.T., Torelli, F., Kotsokalis, C.: SLA*: An abstract syntax for Service Level Agreements. In: GRID, pp. 217–224 (2010)Google Scholar
  20. 20.
    Kotsokalis, C., Yahyapour, R., Rojas Gonzalez, M.A.: Modeling Service Level Agreements with Binary Decision Diagrams. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol. 5900, pp. 190–204. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  21. 21.
    Amazon EC2 Cloud (2012),
  22. 22.
    Bartlett, J.: Best Practice for Service Delivery. The Stationery Office (2007)Google Scholar
  23. 23.
    Chandra, A., Goyal, P., Shenoy, P.: Quantifying the benefits of resource multiplexing in on-demand data centers. In: 1st ACM Workshop on Algorithms and Architectures for Self-Managing Systems (2003)Google Scholar
  24. 24.
    Machado, G.S., Stillerm, B.: Investigations of an SLA Support System for Cloud Computing. In: Praxis der Informationsverarbeitung und Kommunikation (2011)Google Scholar
  25. 25.
    Open Cloud Computing Interface Specification (2012),
  26. 26.
    Opennebula (2012),
  27. 27.
    74LVC1G386, 3-input Exclusive-Or gate, Data Sheet, NXP B.V. (2007)Google Scholar
  28. 28.
    Prasad, P.W.C., Raseen, M., Senanayake, S.M.N.A., Assi, A.: BDD Path Length Minimization Based on Initial Variable Ordering. Journal of Computer Science (2005)Google Scholar
  29. 29.
    SLA@SOI (2011),
  30. 30.
    Yaqub, E., Wieder, P., Kotsokalis, C., Mazza, V., Pasquale, L., Rueda, J., Gomez, S., Chimeno, A.: A Generic Platform for Conducting SLA Negotiations. In: Wieder, P., Butler, J., Yahyapour, R. (eds.) Service Level Agreements For Cloud Computing, Part 4, pp. 187–206. Springer (2011)Google Scholar
  31. 31.
    Drechsler, R., Guenther, W., Somenzi, F.: Using lower bounds during dynamic BDD minimization. IEEE Trans. on CAD, 50–57 (2001)Google Scholar
  32. 32.
    Ehrgott, M.: Multicriteria Optimization, 2nd edn., pp. 171–195. Springer (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Kuan Lu
    • 1
  • Ramin Yahyapour
    • 1
  • Edwin Yaqub
    • 1
  • Constantinos Kotsokalis
    • 2
  1. 1.Gesellschaft für wissenschaftliche Datenverarbeitung mbH GöttingenGermany
  2. 2.IT & Media Center of Dortmund University of TechnologyGermany

Personalised recommendations