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.
The research leading to these results is supported by Gesellschaft für wissenschaftliche Datenverarbeitung mbH Göttingen (GWDG) in Germany.
Chapter PDF
Similar content being viewed by others
References
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)
Zhang, Q., Cheng, L., Boutaba, R.: Cloud computing: state-of-the-art and research challenges. Journal of Internet Services and Applications, 7–18 (2010)
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)
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)
Antonopoulos, N., Gillam, L.: Cloud Computing: Principles, Systems and Applications. Springer (2010)
Shannon, C.E.: A symbolic analysis of relay and switching circuits. AIEE (57), 713–723 (1938)
Wu, L.L., Buyya, R.: Service Level Agreement (SLA) in Utility Computing Systems. Architecture, 27 (2010)
Chazalet, A.: Service Level Checking in the Cloud Computing Context. In: IEEE 3rd International Conference on Cloud Computing, pp. 297–304 (2010)
Ron, S., Aliko, P.: Service level agreements. Internet NG project (2001)
Ebendt, R., Drechsler, R.: Advanced BDD Optimization. Springer (2005)
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)
Andersen, H.R.: An Introduction to Binary Decision Diagrams, pp. 8–15. Citeseer (1999)
JavaBDD (2007), http://javabdd.sourceforge.net/
Klop, J.W.: Term Rewriting Systems. Stichting Mathematisch Centrum, Amsterdam (1990)
Baader, F., Nipkow, T.: Term Rewriting and All That, pp. 1–2, 34–35. Cambridge University Press (1999)
Open Grid: Web Services Agreement Specification (2007), http://www.ogf.org/
Keller, A., Ludwig, H.: Specifying and Monitoring Service Level Agreements for Web Services. Journal of Network and Systems Management, 57–81 (2003)
Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL) 1.1 W3C Note, World Wide Web Consortium (2001)
Kearney, K.T., Torelli, F., Kotsokalis, C.: SLA*: An abstract syntax for Service Level Agreements. In: GRID, pp. 217–224 (2010)
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)
Amazon EC2 Cloud (2012), http://aws.amazon.com/ec2/
Bartlett, J.: Best Practice for Service Delivery. The Stationery Office (2007)
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)
Machado, G.S., Stillerm, B.: Investigations of an SLA Support System for Cloud Computing. In: Praxis der Informationsverarbeitung und Kommunikation (2011)
Open Cloud Computing Interface Specification (2012), http://occi-wg.org/about/specification/
Opennebula (2012), http://opennebula.org/
74LVC1G386, 3-input Exclusive-Or gate, Data Sheet, NXP B.V. (2007)
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)
SLA@SOI (2011), http://sla-at-soi.eu/
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)
Drechsler, R., Guenther, W., Somenzi, F.: Using lower bounds during dynamic BDD minimization. IEEE Trans. on CAD, 50–57 (2001)
Ehrgott, M.: Multicriteria Optimization, 2nd edn., pp. 171–195. Springer (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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
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)