Skip to main content

Advertisement

SpringerLink
Log in
Menu
Find a journal Publish with us
Search
Cart
Book cover

International Conference on Service-Oriented Computing

ICSOC 2012: Service-Oriented Computing pp 268–282Cite as

  1. Home
  2. Service-Oriented Computing
  3. Conference paper
Structural Optimization of Reduced Ordered Binary Decision Diagrams for SLA Negotiation in IaaS of Cloud Computing

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

  • Kuan Lu20,
  • Ramin Yahyapour20,
  • Edwin Yaqub20 &
  • …
  • Constantinos Kotsokalis21 
  • Conference paper
  • 2285 Accesses

  • 5 Citations

Part of the Lecture Notes in Computer Science book series (LNPSE,volume 7636)

Abstract

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.

Keywords

  • Cloud computing
  • IaaS
  • SLA negotiation
  • Term rewriting
  • ROBDD structural optimization

The research leading to these results is supported by Gesellschaft für wissenschaftliche Datenverarbeitung mbH Göttingen (GWDG) in Germany.

Download conference paper PDF

References

  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)

    CrossRef  Google Scholar 

  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. 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. 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. Antonopoulos, N., Gillam, L.: Cloud Computing: Principles, Systems and Applications. Springer (2010)

    Google Scholar 

  6. Shannon, C.E.: A symbolic analysis of relay and switching circuits. AIEE (57), 713–723 (1938)

    Google Scholar 

  7. Wu, L.L., Buyya, R.: Service Level Agreement (SLA) in Utility Computing Systems. Architecture, 27 (2010)

    Google Scholar 

  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. Ron, S., Aliko, P.: Service level agreements. Internet NG project (2001)

    Google Scholar 

  10. Ebendt, R., Drechsler, R.: Advanced BDD Optimization. Springer (2005)

    Google Scholar 

  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. Andersen, H.R.: An Introduction to Binary Decision Diagrams, pp. 8–15. Citeseer (1999)

    Google Scholar 

  13. JavaBDD (2007), http://javabdd.sourceforge.net/

  14. Klop, J.W.: Term Rewriting Systems. Stichting Mathematisch Centrum, Amsterdam (1990)

    Google Scholar 

  15. Baader, F., Nipkow, T.: Term Rewriting and All That, pp. 1–2, 34–35. Cambridge University Press (1999)

    Google Scholar 

  16. Open Grid: Web Services Agreement Specification (2007), http://www.ogf.org/

  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. 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. Kearney, K.T., Torelli, F., Kotsokalis, C.: SLA*: An abstract syntax for Service Level Agreements. In: GRID, pp. 217–224 (2010)

    Google Scholar 

  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)

    CrossRef  Google Scholar 

  21. Amazon EC2 Cloud (2012), http://aws.amazon.com/ec2/

  22. Bartlett, J.: Best Practice for Service Delivery. The Stationery Office (2007)

    Google Scholar 

  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. Machado, G.S., Stillerm, B.: Investigations of an SLA Support System for Cloud Computing. In: Praxis der Informationsverarbeitung und Kommunikation (2011)

    Google Scholar 

  25. Open Cloud Computing Interface Specification (2012), http://occi-wg.org/about/specification/

  26. Opennebula (2012), http://opennebula.org/

  27. 74LVC1G386, 3-input Exclusive-Or gate, Data Sheet, NXP B.V. (2007)

    Google Scholar 

  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. SLA@SOI (2011), http://sla-at-soi.eu/

  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. Drechsler, R., Guenther, W., Somenzi, F.: Using lower bounds during dynamic BDD minimization. IEEE Trans. on CAD, 50–57 (2001)

    Google Scholar 

  32. Ehrgott, M.: Multicriteria Optimization, 2nd edn., pp. 171–195. Springer (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Gesellschaft für wissenschaftliche Datenverarbeitung mbH Göttingen, Germany

    Kuan Lu, Ramin Yahyapour & Edwin Yaqub

  2. IT & Media Center of Dortmund University of Technology, Germany

    Constantinos Kotsokalis

Authors
  1. Kuan Lu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ramin Yahyapour
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Edwin Yaqub
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Constantinos Kotsokalis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of ICT, Swinburne University of Technology, John Street, 3122, Hawthorn, VIC, Australia

    Chengfei Liu

  2. IBM Almaden Research Center, 650 Harry Road, 95120, San Jose, CA, USA

    Heiko Ludwig

  3. LIMOS - UMR 6158, Blaise Pascal University, Complexe scientifique des Cézeaux, 63177, Aubiere, France

    Farouk Toumani

  4. College of Computing and Information Sciences, Rochester Institute of Technology, 1 Lomb Memorial Drive, 14623, Rochester, NY, USA

    Qi Yu

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lu, K., Yahyapour, R., Yaqub, E., Kotsokalis, C. (2012). Structural Optimization of Reduced Ordered Binary Decision Diagrams for SLA Negotiation in IaaS of Cloud Computing. In: Liu, C., Ludwig, H., Toumani, F., Yu, Q. (eds) Service-Oriented Computing. ICSOC 2012. Lecture Notes in Computer Science, vol 7636. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34321-6_18

Download citation

  • .RIS
  • .ENW
  • .BIB
  • DOI: https://doi.org/10.1007/978-3-642-34321-6_18

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-34320-9

  • Online ISBN: 978-3-642-34321-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Share this paper

Anyone you share the following link with will be able to read this content:

Sorry, a shareable link is not currently available for this article.

Provided by the Springer Nature SharedIt content-sharing initiative

Search

Navigation

  • Find a journal
  • Publish with us

Discover content

  • Journals A-Z
  • Books A-Z

Publish with us

  • Publish your research
  • Open access publishing

Products and services

  • Our products
  • Librarians
  • Societies
  • Partners and advertisers

Our imprints

  • Springer
  • Nature Portfolio
  • BMC
  • Palgrave Macmillan
  • Apress
  • Your US state privacy rights
  • Accessibility statement
  • Terms and conditions
  • Privacy policy
  • Help and support

167.114.118.210

Not affiliated

Springer Nature

© 2023 Springer Nature