Article

A protocol development framework for SLA negotiations in cloud and service computing

Authors:

Ramin Yahyapour,

Philipp Wieder,

Kuan LuAuthors Info & Claims

GECON'12: Proceedings of the 9th international conference on Economics of Grids, Clouds, Systems, and Services

Pages 1 - 15

https://doi.org/10.1007/978-3-642-35194-5_1

Published: 27 November 2012 Publication History

Abstract

As businesses transit towards cloud and service oriented economy, agents are employed to efficiently negotiate service level agreements (SLAs) on services procured automatically to match changes in demand. This 'pay-as-you-go' trading model affords flexibility with reliability, but requires customized and seamless interactions enabled by negotiation protocols that best serve the market domain. To this end, we present a domain-independent framework based on a protocol development lifecycle, comprising four distinct phases namely modeling, verification, rule-based implementation and generic execution.

We illustrate all phases by introducing the Simple Bilateral Negotiation Protocol (SBNP) - a multi-tier, multi-round and customizable negotiation protocol. We exemplify its adoption among chains of service providers that serve SaaS, PaaS and IaaS offerings. We show that SBNP is well-formed, deterministic and deadlock-free. We evaluate state space scalability for SBNP and verify its correctness using Linear Temporal Logic (LTL). Finally, we show that rule-based implementation allows for generic execution of multiple protocols on our negotiation platform, which provides businesses the agility to sustain competitive advantage.

References

[1]

Foster, I.: Service-Oriented Science. Science 308, 814-817 (2005)

[2]

Rangan, K.: The Cloud Wars: $100+ billion at stake, Merrill Lynch Technical Report (2008)

[3]

Genest, B., Kuske, D., Muscholl, A.: A Kleene Theorem and Model Checking Algorithms for Existentially Bounded Communicating Automata. Inf. Comput. 204(6), 920-956 (2006)

Digital Library

[4]

Bollig, B., Katoen, J.-P., Kern, C., Leucker, M.: Learning Communicating Automata from MSCs. IEEE Transactions on Software Engineering (TSE) 36(3), 390-408 (2010)

Digital Library

[5]

Daskalopulu, A.: Model Checking Contractual Protocols. In: 13th Annual Conference, Frontiers in Artificial Intelligence and Applications Series, pp. 35-47 (2000)

[6]

Yaqub, E., Wieder, P., Kotsokalis, C., Mazza, V., Pasquale, L., Rueda, J. L., Gómez, S. G., Chimeno, A. E.: A Generic Platform for Conducting SLA Negotiations. In: Service Level Agreements for Cloud Computing, Part 4, pp. 187-206. Springer (2011)

[7]

Yeung, W. L.: Behavioral modeling and verification of multi-agent systems for manufacturing control. Journal of Expert Systems with Applications 38, 13555-13562

[8]

Mordechai, B.-A.: Principles of the Spin Model Checker, 1st edn. Springer (2008)

[9]

Holzmann, G. J.: The Model Checker Spin. IEEE Transactions on Software Engineering 23(5), 279-295 (1997)

Digital Library

[10]

Dwyer, M. B., Avrunin, G. S., Corbett, J.C.: Patterns in Property Specifications for Finite-State Verification. In: 21st IEEE International Conference on Software Engineering (ICSE), pp. 411-420 (1999)

Digital Library

[11]

Karaenke, P., Kirn, S.: Towards Model Checking & Simulation of a Multi-tier Negotiation Protocol for Service Chains. In: Proc. of the 9th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS (2010)

Digital Library

[12]

Wurman, P. R., Wellman, M. P., Walsh, W. E.: Specifying Rules for Electronic Auctions. AI Magazine 23(3), 15-23 (2002)

Digital Library

[13]

Lomuscio, A. R., Wooldridge, M., Jennings, N. R.: A Classification Scheme for Negotiation in Electronic Commerce. Journal of Group Decision and Negotiation 12(1), 31-56 (2003)

[14]

Hudert, S., Eymann, T., Ludwig, H., Wirtz, G.: A Negotiation Protocol Description Language for Automated SLA Negotiations. In: Proc. of the IEEE Conference on Commerce and Enterprise Computing (CEC), pp. 162-169 (2009)

Digital Library

[15]

Andrieux, A., Czajkowski, K., Dan, A., Keahey, K., Ludwig, H., Nakata, T., Pruyne, J., Rofrano, J., Tuecke, S., Xu, M.: Web Services Agreement Specification, WS-Agreement (2007), http://www.ogf.org/documents/GFD.107.pdf

[16]

Waeldrich, O., Battré, D., Brazier, F., Clark, K., Oey, M., Papaspyrou, A., Wieder, P., Ziegler, W.: WS-Agreement Negotiation Version 1.0 Specification (2011), http://ogf.org/documents/GFD.193.pdf

[17]

SLA@SOI project (2011), http://sourceforge.net/projects/sla-at-soi

[18]

Kearney, K. T., Torelli, F.: The SLA Model. In: Service Level Agreements For Cloud Computing, Part 4, pp. 43-67. Springer (2011)

[19]

FIPA Iterated Contract Net Interaction Protocol Specification (2002), http://www.fipa.org/specs/fipa00030/SC00030H.pdf

[20]

FIPA ACL Message Structure Specification (2002), http://www.fipa.org/specs/fipa00061/SC00061G.pdf

[21]

Liu, F., Tong, J., Mao, J., Bohn, R., Messina, J., Badger, L., Leaf, D.: NIST Cloud Computing Reference Architecture. Special Publication 500-292 (2011), http://www.nist.gov/customcf/get_pdf.cfm?pub_id=909505

Digital Library

[22]

Holzmann, G. J.: Design and Validation of Computer Protocols, 1st edn. Prentice Hall (1990)

Digital Library

[23]

Klein, M., Faratin, P., Sayama, H., Bar-Yam, Y.: Negotiating Complex Contracts. Journal of Group Decision and Negotiation 12, 111-125 (2003)

Digital Library

[24]

Theilmann, W., Happe, J., Kotsokalis, C., Edmonds, A., Kearney, K., Lambea, J.: A Reference Architecture for Multi-Level SLA Management. Journal of Internet Engineering 4(1), 289-298 (2010)

[25]

Boniface, M., Nasser, B., Papay, J., Phillips, S.C., Servin, A., Yang, X., Zlatev, Z., Gogouvitis, S. V., Katsaros, G., Konstanteli, K., Kousiouris, G., Menychtas, A., Kyriazis, D.: Platform-as-a-Service Architecture for Real-Time QoS Management in Clouds. In: International Conference on Internet and Web Applications and Services, ICIW (2010)

Digital Library

[26]

Haq, I. U., Schikuta, E.: Aggregation Patterns of Service Level Agreements. In: Proceedings of the 8th International Conference on Frontiers of Information Technology (2010)

Digital Library

[27]

Kamel, M., Leue, S.: Formalization and validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN. International Journal of Software Tools for Technology Transfer (STTT) 2, 394-409 (2000)

[28]

Katoen, J.-P.: Lecture on Model Checking (2005), http://www-i2.informatik.rwth-aachen.de/Teaching/Course/MC/2005/mc lec4.pdf

[29]

SeCSE project (2008), http://www.secse-project.eu

Cited By

Hani APaputungan IHassan M(2015)Renegotiation in Service Level Agreement Management for a Cloud-Based SystemACM Computing Surveys10.1145/271631947:3(1-21)Online publication date: 1-Apr-2015
https://dl.acm.org/doi/10.1145/2716319
Yaqub EYahyapour RWieder PJehangiri ALu KKotsokalis C(2014)Metaheuristics-Based Planning and Optimization for SLA-Aware Resource Management in PaaS CloudsProceedings of the 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing10.1109/UCC.2014.38(288-297)Online publication date: 8-Dec-2014
https://dl.acm.org/doi/10.1109/UCC.2014.38

Recommendations

A Conceptual Platform of SLA in Cloud Computing
DASC '11: Proceedings of the 2011 IEEE Ninth International Conference on Dependable, Autonomic and Secure Computing

Cloud computing is a promising technology, where the infrastructure, developing platform, software and storage are delivered as a service. With the development of cloud computing, more and more cloud service providers emerge. However, there are no ...
Automated SLA negotiation framework for cloud computing
CCGRID '13: Proceedings of the 13th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing

A Service Level Agreement (SLA) is a legal contract between parties to ensure the Quality of Service (QoS) are provided the providers to the customers. A SLA negotiation between participants assists in defining the QoS requirements of critical service-...
SLA Approach for "Cloud as a Service"
CLOUD '13: Proceedings of the 2013 IEEE Sixth International Conference on Cloud Computing

One of slogans of cloud computing is to pay only what you use and in the highly concurrencial today context, it is important to properly identify the offer of cloud provider. The offer should not only encompass the offering services, but also the ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

GECON'12: Proceedings of the 9th international conference on Economics of Grids, Clouds, Systems, and Services

November 2012

244 pages

ISBN:9783642351938

Editors:
Kurt Vanmechelen
Department of Mathematics and Computer Science, University of Antwerp, Middelheimlaan 1, Antwerp, Belgium
,
Jörn Altmann
College of Engineering, Department of Industrial Engineering, Technology Management, Economics, and Policy Program, Seoul National University, 599 Gwanak-Ro, Gwanak-Gu, Seoul, South Korea
,
Omer F. Rana
School of Computer Science, Cardiff University, Queen's Buildings, Newport Road, Cardiff, CF, UK

Sponsors

Univ. of Antwerp: University of Antwerp
Univ. of Cardiff: University of Cardiff
Seoul National University
Technical University of Berlin: Technical University of Berlin
Lecture Notes in Computer Science of Springer

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 27 November 2012

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 26 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Hani APaputungan IHassan M(2015)Renegotiation in Service Level Agreement Management for a Cloud-Based SystemACM Computing Surveys10.1145/271631947:3(1-21)Online publication date: 1-Apr-2015
https://dl.acm.org/doi/10.1145/2716319
Yaqub EYahyapour RWieder PJehangiri ALu KKotsokalis C(2014)Metaheuristics-Based Planning and Optimization for SLA-Aware Resource Management in PaaS CloudsProceedings of the 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing10.1109/UCC.2014.38(288-297)Online publication date: 8-Dec-2014
https://dl.acm.org/doi/10.1109/UCC.2014.38

View Options

View options

Figures

Tables

Media

View Table of Conten