{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:49:35Z","timestamp":1750308575765,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,12,20]],"date-time":"2017-12-20T00:00:00Z","timestamp":1513728000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,12,20]]},"DOI":"10.1145\/3175684.3175727","type":"proceedings-article","created":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T12:47:13Z","timestamp":1523278033000},"page":"115-119","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Towards a Formal Modeling of Cloud Services during the Life-cycle of Service Level Agreement"],"prefix":"10.1145","author":[{"given":"Oussama","family":"Kamel","sequence":"first","affiliation":[{"name":"University Constantine 3 Salah Boubnider, MISC Laboratory, Department of Computer Science and its Applications, University Constantine 2, Abdelhamid Mehri, Constantine, Algeria"}]},{"given":"Allaoua","family":"Chaoui","sequence":"additional","affiliation":[{"name":"MISC Laboratory, Department of Computer Science and its Applications, University Constantine 2, Abdelhamid Mehri, Constantine, Algeria"}]},{"given":"Mohamed","family":"Gharzouli","sequence":"additional","affiliation":[{"name":"MISC Laboratory, Department of Computer Science and its Applications, University Constantine 2, Abdelhamid Mehri, Constantine, Algeria"}]}],"member":"320","published-online":{"date-parts":[[2017,12,20]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"et al","author":"Armbrust M.","year":"2009","unstructured":"Armbrust , M. et al . 2009 . Above the Clouds : A Berkeley View of Cloud Computing . Armbrust, M. et al. 2009. Above the Clouds: A Berkeley View of Cloud Computing."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.4018\/jagr.2010100101"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Mell P.M. and Grance T. 2011. SP 800-145. The NIST Definition of Cloud Computing. National Institute of Standards & Technology.  Mell P.M. and Grance T. 2011. SP 800-145. The NIST Definition of Cloud Computing. National Institute of Standards & Technology.","DOI":"10.6028\/NIST.SP.800-145"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2008.12.001"},{"key":"e_1_3_2_1_5_1","volume-title":"et al","author":"Happe J.","year":"2011","unstructured":"Happe , J. et al . 2011 . A Reference Architecture for Multi-Level SLA Management. Service Level Agreements for Cloud Computing. P. Wieder et al., eds. Springer New York . 13--26. Happe, J. et al. 2011. A Reference Architecture for Multi-Level SLA Management. Service Level Agreements for Cloud Computing. P. Wieder et al., eds. Springer New York. 13--26."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/AINA.2013.46"},{"key":"e_1_3_2_1_7_1","unstructured":"Wu L. and Buyya R. 2010. Service Level Agreement (SLA) in Utility Computing Systems. arXiv:1010.2881 {cs}. (Oct. 2010).  Wu L. and Buyya R. 2010. Service Level Agreement (SLA) in Utility Computing Systems. arXiv:1010.2881 {cs}. (Oct. 2010)."},{"volume-title":"The Space and Motion of Communicating Agents","author":"Milner R.","key":"e_1_3_2_1_8_1","unstructured":"Milner , R. 2009. The Space and Motion of Communicating Agents . Cambridge University Press . Milner, R. 2009. The Space and Motion of Communicating Agents. Cambridge University Press."},{"key":"e_1_3_2_1_9_1","volume-title":"et al","author":"Sahli H.","year":"2015","unstructured":"Sahli , H. et al . 2015 . A BRS-Based Approach to Model and Verify Cloud Systems Elasticity. Procedia Computer Science. 68, Supplement C (Jan . 2015), 29--41. Sahli, H. et al. 2015. A BRS-Based Approach to Model and Verify Cloud Systems Elasticity. Procedia Computer Science. 68, Supplement C (Jan. 2015), 29--41."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAASE.2016.7843858"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3105831.3105851"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11690634_13"},{"key":"e_1_3_2_1_13_1","unstructured":"Testing Context-Aware Applications Based on Bigraphical Modeling - IEEE Journals & Magazine: http:\/\/ieeexplore.ieee.org\/document\/7517225\/. Accessed: 2017-10-21.  Testing Context-Aware Applications Based on Bigraphical Modeling - IEEE Journals & Magazine: http:\/\/ieeexplore.ieee.org\/document\/7517225\/. Accessed: 2017-10-21."},{"key":"e_1_3_2_1_14_1","volume-title":"et al","author":"Calder M.","year":"2014","unstructured":"Calder , M. et al . 2014 . Real-time Verification of Wireless Home Networks Using Bigraphs with Sharing. Sci. Comput. Program. 80, PB (Feb . 2014), 288--310. Calder, M. et al. 2014. Real-time Verification of Wireless Home Networks Using Bigraphs with Sharing. Sci. Comput. Program. 80, PB (Feb. 2014), 288--310."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SERVICES.2013.71"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2015.03.018"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2017.35"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1140956.1709621"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/UCC.2012.30"},{"key":"e_1_3_2_1_20_1","volume-title":"Cross-layer SLA Selection for Cloud Services. 2011 First International Symposium on Network Cloud Computing and Applications (Nov.","author":"Kouki Y.","year":"2011","unstructured":"Kouki , Y. et al. 2011 . Cross-layer SLA Selection for Cloud Services. 2011 First International Symposium on Network Cloud Computing and Applications (Nov. 2011 ), 143--147. Kouki, Y. et al. 2011. Cross-layer SLA Selection for Cloud Services. 2011 First International Symposium on Network Cloud Computing and Applications (Nov. 2011), 143--147."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/SOCA.2010.5707142"}],"event":{"name":"BDIOT2017: International Conference on Big Data and Internet of Thing","acronym":"BDIOT2017","location":"London United Kingdom"},"container-title":["Proceedings of the International Conference on Big Data and Internet of Thing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3175684.3175727","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3175684.3175727","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:04:50Z","timestamp":1750273490000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3175684.3175727"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,20]]},"references-count":21,"alternative-id":["10.1145\/3175684.3175727","10.1145\/3175684"],"URL":"https:\/\/doi.org\/10.1145\/3175684.3175727","relation":{},"subject":[],"published":{"date-parts":[[2017,12,20]]},"assertion":[{"value":"2017-12-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}