{"id":"https://openalex.org/W2797387064","doi":"https://doi.org/10.1145/3175684.3175727","title":"Towards a Formal Modeling of Cloud Services during the Life-cycle of Service Level Agreement","display_name":"Towards a Formal Modeling of Cloud Services during the Life-cycle of Service Level Agreement","publication_year":2017,"publication_date":"2017-12-20","ids":{"openalex":"https://openalex.org/W2797387064","doi":"https://doi.org/10.1145/3175684.3175727","mag":"2797387064"},"language":"en","primary_location":{"id":"doi:10.1145/3175684.3175727","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3175684.3175727","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the International Conference on Big Data and Internet of Thing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086401736","display_name":"Oussama Kamel","orcid":"https://orcid.org/0000-0002-1297-6225"},"institutions":[{"id":"https://openalex.org/I4210160465","display_name":"Universit\u00e9 Constantine 2","ror":"https://ror.org/056mctw68","country_code":"DZ","type":"education","lineage":["https://openalex.org/I4210160465"]},{"id":"https://openalex.org/I4391767747","display_name":"University of Constantine 3","ror":"https://ror.org/04wk25q62","country_code":null,"type":"education","lineage":["https://openalex.org/I4391767747"]}],"countries":["DZ"],"is_corresponding":true,"raw_author_name":"Oussama Kamel","raw_affiliation_strings":["University Constantine 3 Salah Boubnider, MISC Laboratory, Department of Computer Science and its Applications, University Constantine 2, Abdelhamid Mehri, Constantine, Algeria"],"affiliations":[{"raw_affiliation_string":"University Constantine 3 Salah Boubnider, MISC Laboratory, Department of Computer Science and its Applications, University Constantine 2, Abdelhamid Mehri, Constantine, Algeria","institution_ids":["https://openalex.org/I4210160465","https://openalex.org/I4391767747"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082473579","display_name":"Allaoua Chaoui","orcid":"https://orcid.org/0000-0003-3751-8084"},"institutions":[{"id":"https://openalex.org/I4210160465","display_name":"Universit\u00e9 Constantine 2","ror":"https://ror.org/056mctw68","country_code":"DZ","type":"education","lineage":["https://openalex.org/I4210160465"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Allaoua Chaoui","raw_affiliation_strings":["MISC Laboratory, Department of Computer Science and its Applications, University Constantine 2, Abdelhamid Mehri, Constantine, Algeria"],"affiliations":[{"raw_affiliation_string":"MISC Laboratory, Department of Computer Science and its Applications, University Constantine 2, Abdelhamid Mehri, Constantine, Algeria","institution_ids":["https://openalex.org/I4210160465"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007819127","display_name":"Mohamed Gharzouli","orcid":"https://orcid.org/0000-0001-5328-9977"},"institutions":[{"id":"https://openalex.org/I4210160465","display_name":"Universit\u00e9 Constantine 2","ror":"https://ror.org/056mctw68","country_code":"DZ","type":"education","lineage":["https://openalex.org/I4210160465"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Mohamed Gharzouli","raw_affiliation_strings":["MISC Laboratory, Department of Computer Science and its Applications, University Constantine 2, Abdelhamid Mehri, Constantine, Algeria"],"affiliations":[{"raw_affiliation_string":"MISC Laboratory, Department of Computer Science and its Applications, University Constantine 2, Abdelhamid Mehri, Constantine, Algeria","institution_ids":["https://openalex.org/I4210160465"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5086401736"],"corresponding_institution_ids":["https://openalex.org/I4210160465","https://openalex.org/I4391767747"],"apc_list":null,"apc_paid":null,"fwci":1.11963408,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.8453562,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"115","last_page":"119"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.800177812576294},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7475549578666687},{"id":"https://openalex.org/keywords/service-level-agreement","display_name":"Service-level agreement","score":0.7103420495986938},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.5721560716629028},{"id":"https://openalex.org/keywords/service-provider","display_name":"Service provider","score":0.5232086181640625},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4987049102783203},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4808376729488373},{"id":"https://openalex.org/keywords/software-as-a-service","display_name":"Software as a service","score":0.4581652283668518},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.45174193382263184},{"id":"https://openalex.org/keywords/data-as-a-service","display_name":"Data as a service","score":0.4425404965877533},{"id":"https://openalex.org/keywords/layer","display_name":"Layer (electronics)","score":0.41865235567092896},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.3777141571044922},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3754515051841736},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.35637885332107544},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.16252562403678894},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.1270965039730072},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08700937032699585},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.07775917649269104},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.06665924191474915}],"concepts":[{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.800177812576294},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7475549578666687},{"id":"https://openalex.org/C2778160497","wikidata":"https://www.wikidata.org/wiki/Q869830","display_name":"Service-level agreement","level":3,"score":0.7103420495986938},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.5721560716629028},{"id":"https://openalex.org/C116537","wikidata":"https://www.wikidata.org/wiki/Q2169973","display_name":"Service provider","level":3,"score":0.5232086181640625},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4987049102783203},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4808376729488373},{"id":"https://openalex.org/C175133352","wikidata":"https://www.wikidata.org/wiki/Q1254596","display_name":"Software as a service","level":4,"score":0.4581652283668518},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.45174193382263184},{"id":"https://openalex.org/C97300177","wikidata":"https://www.wikidata.org/wiki/Q1994744","display_name":"Data as a service","level":3,"score":0.4425404965877533},{"id":"https://openalex.org/C2779227376","wikidata":"https://www.wikidata.org/wiki/Q6505497","display_name":"Layer (electronics)","level":2,"score":0.41865235567092896},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.3777141571044922},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3754515051841736},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.35637885332107544},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.16252562403678894},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.1270965039730072},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08700937032699585},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.07775917649269104},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.06665924191474915},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3175684.3175727","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3175684.3175727","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the International Conference on Big Data and Internet of Thing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4699999988079071,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W169346440","https://openalex.org/W1580216079","https://openalex.org/W1588422495","https://openalex.org/W1638945901","https://openalex.org/W1847647515","https://openalex.org/W1886607249","https://openalex.org/W1969001723","https://openalex.org/W1971885551","https://openalex.org/W1977367431","https://openalex.org/W2014721449","https://openalex.org/W2020682720","https://openalex.org/W2074797371","https://openalex.org/W2089036454","https://openalex.org/W2116355936","https://openalex.org/W2119737623","https://openalex.org/W2122145654","https://openalex.org/W2131629857","https://openalex.org/W2131646073","https://openalex.org/W2275530856","https://openalex.org/W2490740938","https://openalex.org/W2587632694","https://openalex.org/W2741604557","https://openalex.org/W2756059022","https://openalex.org/W3141844467","https://openalex.org/W4294621147","https://openalex.org/W6635026879"],"related_works":["https://openalex.org/W2182217258","https://openalex.org/W1797105837","https://openalex.org/W3048426706","https://openalex.org/W2241888065","https://openalex.org/W2379963752","https://openalex.org/W2588288707","https://openalex.org/W2747515723","https://openalex.org/W3011778954","https://openalex.org/W2528557293","https://openalex.org/W2090386095"],"abstract_inverted_index":{"Service":[0,134],"Level":[1],"Agreement":[2],"(SLA)":[3],"represents":[4],"a":[5,67,108,129,133],"means":[6],"of":[7,23,52,69,76,83,98,110,161],"regulating":[8],"and":[9,16,40,58,135,140],"controlling":[10],"the":[11,20,41,49,74,80,84,88,96,116,144,147,159],"interaction":[12],"between":[13,43],"service":[14,138],"providers":[15,39],"their":[17,61,77],"customers.":[18],"In":[19,63,87],"first":[21],"part":[22],"this":[24],"paper,":[25],"we":[26,46,65,91],"use":[27,47],"Bigraphical":[28],"Reactive":[29],"Systems":[30],"(BRS)":[31],"to":[32,54,59,72,122,166,170],"model":[33,55,125],"customers,":[34],"offered":[35],"services":[36,162],"by":[37],"different":[38,81,111],"SLA":[42,145],"them.":[44],"Concretely,":[45],"bigraphs,":[48],"static":[50],"structure":[51],"BRS,":[53],"these":[56,93,155],"entities":[57],"describe":[60],"relationships.":[62],"addition,":[64],"propose":[66],"set":[68],"reaction":[70],"rules":[71],"show":[73,114,152],"evolution":[75],"states":[78],"during":[79],"stages":[82],"SLA's":[85],"lifecycle.":[86],"second":[89],"part,":[90],"apply":[92],"models":[94,118,156],"in":[95],"domain":[97],"cloud":[99,148],"computing.":[100],"Cloud":[101],"computing":[102,124],"architecture":[103],"is":[104],"usually":[105],"represented":[106],"as":[107,128,132,137],"stack":[109,149],"layers.":[112,150],"We":[113,151],"that":[115,154],"proposed":[117],"can":[119,157],"be":[120],"applied":[121],"any":[123],"(e.g.,":[126],"Software":[127],"Service,":[130],"Platform":[131],"Infrastructure":[136],"layer)":[139],"they":[141],"allow":[142],"describing":[143],"across":[146],"also":[153],"represent":[158],"composition":[160],"from":[163],"several":[164],"layers":[165],"offer":[167],"complete":[168],"solutions":[169],"end":[171],"users.":[172]},"counts_by_year":[{"year":2020,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}