{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:04:43Z","timestamp":1725563083572},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642351938"},{"type":"electronic","value":"9783642351945"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35194-5_1","type":"book-chapter","created":{"date-parts":[[2012,11,22]],"date-time":"2012-11-22T16:27:09Z","timestamp":1353601629000},"page":"1-15","source":"Crossref","is-referenced-by-count":4,"title":["A Protocol Development Framework for SLA Negotiations in Cloud and Service Computing"],"prefix":"10.1007","author":[{"given":"Edwin","family":"Yaqub","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramin","family":"Yahyapour","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philipp","family":"Wieder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kuan","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"814","DOI":"10.1126\/science.1110411","volume":"308","author":"I. Foster","year":"2005","unstructured":"Foster, I.: Service-Oriented Science. Science\u00a0308, 814\u2013817 (2005)","journal-title":"Science"},{"key":"1_CR2","unstructured":"Rangan, K.: The Cloud Wars: $100+ billion at stake, Merrill Lynch Technical Report (2008)"},{"issue":"6","key":"1_CR3","doi-asserted-by":"publisher","first-page":"920","DOI":"10.1016\/j.ic.2006.01.005","volume":"204","author":"B. Genest","year":"2006","unstructured":"Genest, B., Kuske, D., Muscholl, A.: A Kleene Theorem and Model Checking Algorithms for Existentially Bounded Communicating Automata. Inf. Comput.\u00a0204(6), 920\u2013956 (2006)","journal-title":"Inf. Comput."},{"issue":"3","key":"1_CR4","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1109\/TSE.2009.89","volume":"36","author":"B. Bollig","year":"2010","unstructured":"Bollig, B., Katoen, J.-P., Kern, C., Leucker, M.: Learning Communicating Automata from MSCs. IEEE Transactions on Software Engineering (TSE)\u00a036(3), 390\u2013408 (2010)","journal-title":"IEEE Transactions on Software Engineering (TSE)"},{"key":"1_CR5","unstructured":"Daskalopulu, A.: Model Checking Contractual Protocols. In: 13th Annual Conference, Frontiers in Artificial Intelligence and Applications Series, pp. 35\u201347 (2000)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Yaqub, E., Wieder, P., Kotsokalis, C., Mazza, V., Pasquale, L., Rueda, J.L., G\u00f3mez, S.G., Chimeno, A.E.: A Generic Platform for Conducting SLA Negotiations. In: Service Level Agreements for Cloud Computing, Part 4, pp. 187\u2013206. Springer (2011)","DOI":"10.1007\/978-1-4614-1614-2_12"},{"key":"1_CR7","unstructured":"Yeung, W.L.: Behavioral modeling and verification of multi-agent systems for manufacturing control. Journal of Expert Systems with Applications\u00a038, 13555\u201313562"},{"key":"1_CR8","unstructured":"Mordechai, B.-A.: Principles of the Spin Model Checker, 1st edn. Springer (2008)"},{"issue":"5","key":"1_CR9","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The Model Checker Spin. IEEE Transactions on Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"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\u2013420 (1999)","DOI":"10.1145\/302405.302672"},{"key":"1_CR11","unstructured":"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)"},{"issue":"3","key":"1_CR12","first-page":"15","volume":"23","author":"P.R. Wurman","year":"2002","unstructured":"Wurman, P.R., Wellman, M.P., Walsh, W.E.: Specifying Rules for Electronic Auctions. AI Magazine\u00a023(3), 15\u201323 (2002)","journal-title":"AI Magazine"},{"issue":"1","key":"1_CR13","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1023\/A:1022232410606","volume":"12","author":"A.R. Lomuscio","year":"2003","unstructured":"Lomuscio, A.R., Wooldridge, M., Jennings, N.R.: A Classification Scheme for Negotiation in Electronic Commerce. Journal of Group Decision and Negotiation\u00a012(1), 31\u201356 (2003)","journal-title":"Journal of Group Decision and Negotiation"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"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\u2013169 (2009)","DOI":"10.1109\/CEC.2009.45"},{"key":"1_CR15","unstructured":"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), \n                    \n                      http:\/\/www.ogf.org\/documents\/GFD.107.pdf"},{"key":"1_CR16","unstructured":"Waeldrich, O., Battr\u00e9, D., Brazier, F., Clark, K., Oey, M., Papaspyrou, A., Wieder, P., Ziegler, W.: WS-Agreement Negotiation Version 1.0 Specification (2011), \n                    \n                      http:\/\/ogf.org\/documents\/GFD.193.pdf"},{"key":"1_CR17","unstructured":"SLA@SOI project (2011), \n                    \n                      http:\/\/sourceforge.net\/projects\/sla-at-soi"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Kearney, K.T., Torelli, F.: The SLA Model. In: Service Level Agreements For Cloud Computing, Part 4, pp. 43\u201367. Springer (2011)","DOI":"10.1007\/978-1-4614-1614-2_4"},{"key":"1_CR19","unstructured":"FIPA Iterated Contract Net Interaction Protocol Specification (2002), \n                    \n                      http:\/\/www.fipa.org\/specs\/fipa00030\/SC00030H.pdf"},{"key":"1_CR20","unstructured":"FIPA ACL Message Structure Specification (2002), \n                    \n                      http:\/\/www.fipa.org\/specs\/fipa00061\/SC00061G.pdf"},{"key":"1_CR21","unstructured":"Liu, F., Tong, J., Mao, J., Bohn, R., Messina, J., Badger, L., Leaf, D.: NIST Cloud Computing Reference Architecture. Special Publication 500-292 (2011), \n                    \n                      http:\/\/www.nist.gov\/customcf\/get_pdf.cfm?pub_id=909505"},{"key":"1_CR22","unstructured":"Holzmann, G.J.: Design and Validation of Computer Protocols, 1st edn. Prentice Hall (1990)"},{"key":"1_CR23","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1023\/A:1023068821218","volume":"12","author":"M. Klein","year":"2003","unstructured":"Klein, M., Faratin, P., Sayama, H., Bar-Yam, Y.: Negotiating Complex Contracts. Journal of Group Decision and Negotiation\u00a012, 111\u2013125 (2003)","journal-title":"Journal of Group Decision and Negotiation"},{"issue":"1","key":"1_CR24","first-page":"289","volume":"4","author":"W. Theilmann","year":"2010","unstructured":"Theilmann, W., Happe, J., Kotsokalis, C., Edmonds, A., Kearney, K., Lambea, J.: A Reference Architecture for Multi-Level SLA Management. Journal of Internet Engineering\u00a04(1), 289\u2013298 (2010)","journal-title":"Journal of Internet Engineering"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/ICIW.2010.91"},{"key":"1_CR26","unstructured":"Haq, I.U., Schikuta, E.: Aggregation Patterns of Service Level Agreements. In: Proceedings of the 8th International Conference on Frontiers of Information Technology (2010)"},{"key":"1_CR27","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/s100090050045","volume":"2","author":"M. Kamel","year":"2000","unstructured":"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)\u00a02, 394\u2013409 (2000)","journal-title":"International Journal of Software Tools for Technology Transfer (STTT)"},{"key":"1_CR28","unstructured":"Katoen, J.-P.: Lecture on Model Checking (2005), \n                    \n                      http:\/\/www-i2.informatik.rwth-aachen.de\/Teaching\/Course\/MC\/2005\/mc_lec4.pdf"},{"key":"1_CR29","unstructured":"SeCSE project (2008), \n                    \n                      http:\/\/www.secse-project.eu"}],"container-title":["Lecture Notes in Computer Science","Economics of Grids, Clouds, Systems, and Services"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35194-5_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:11:13Z","timestamp":1620133873000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35194-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642351938","9783642351945"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35194-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}