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

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.

[1]  Matthias Ehrgott,et al.  Multicriteria Optimization (2. ed.) , 2005 .

[2]  Rolf Drechsler,et al.  Advanced BDD optimization , 2005 .

[3]  Raouf Boutaba,et al.  Cloud computing: state-of-the-art and research challenges , 2010, Journal of Internet Services and Applications.

[4]  Ramin Yahyapour,et al.  Modeling Service Level Agreements with Binary Decision Diagrams , 2009, ICSOC/ServiceWave.

[5]  F. Somenzi,et al.  Using lower bounds during dynamic BDD minimization , 2001 .

[6]  Claude E. Shannon,et al.  A symbolic analysis of relay and switching circuits , 1938, Transactions of the American Institute of Electrical Engineers.

[7]  Lee Gillam,et al.  Cloud Computing, Principles, Systems and Applications , 2010, Cloud Computing.

[8]  Abhishek Chandra,et al.  Quantifying the Benefits of Resource Multiplexing in On-Demand Data Centers , 2003 .

[9]  Hannu Tenhunen,et al.  Extending systems-on-chip to the third dimension: performance, cost and technological tradeoffs , 2007, ICCAD 2007.

[10]  Heiko Ludwig,et al.  The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services , 2003, Journal of Network and Systems Management.

[11]  Anne-Marie Kermarrec,et al.  Proceedings of the 13th European international conference on Parallel Processing , 2007 .

[12]  Tobias Nipkow,et al.  Term rewriting and all that , 1998 .

[13]  H. Andersen.  An Introduction to Binary Decision Diagrams , 1997 .

[14]  Francesco Torelli,et al.  SLA★: An abstract syntax for Service Level Agreements , 2010, 2010 11th IEEE/ACM International Conference on Grid Computing.

[15]  Rajkumar Buyya,et al.  Service Level Agreement (SLA) in Utility Computing Systems , 2010, ArXiv.

[16]  Antonin Chazalet,et al.  Service Level Checking in the Cloud Computing Context , 2010, 2010 IEEE 3rd International Conference on Cloud Computing.

[17]  Burkhard Stiller,et al.  Investigations of an SLA Support System for Cloud Computing (SLACC) , 2011, Prax. Inf.verarb. Kommun..

[18]  Martina Meschke.  Service Level Agreement (SLA) , 2008 .

[19]  I. Melzer.  Web Services Description Language , 2010 .

[20]  A. Grimwood.  Service level agreements. , 1998, Health estate.

[21]  Thomas Röblitz,et al.  SLA-based Planning for Multi-domain Infrastructure as a Service , 2011, CLOSER.

[22]  Ali Assi,et al.  BDD Path Length Minimization Based on Initial Variable Ordering , 2005 .

[23]  Jan Willem Klop,et al.  Term Rewriting Systems: From Church-Rosser to Knuth-Bendix and Beyond , 1990, ICALP.

[24]  Ramin Yahyapour,et al.  Service Level Agreements for Cloud Computing , 2011 .

[25]  Matthias Ehrgott,et al.  Multicriteria Optimization , 2005 .

[26]  Andrew Hiles.  Service Level Agreements , 1994 .

[27]  R. Rudell.  Dynamic variable ordering for ordered binary decision diagrams , 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).

[28]  Thomas Röblitz,et al.  QoS-aware SLA-based Advanced Reservation of Infrastructure as a Service , 2011, 2011 IEEE Third International Conference on Cloud Computing Technology and Science.

[29]  Augustín Escámez Chimeno,et al.  A Generic Platform for Conducting SLA Negotiations , 2011 .

[30]  Eduardo Huedo,et al.  Evaluation of a Utility Computing Model Based on the Federation of Grid Infrastructures , 2007, Euro-Par.