{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T17:12:30Z","timestamp":1769015550802,"version":"3.49.0"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2018,10,26]],"date-time":"2018-10-26T00:00:00Z","timestamp":1540512000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2019,5]]},"DOI":"10.1007\/s11227-018-2656-3","type":"journal-article","created":{"date-parts":[[2018,10,26]],"date-time":"2018-10-26T08:17:43Z","timestamp":1540541863000},"page":"2603-2628","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":50,"title":["LP-WSC: a linear programming approach for web service composition in geographically distributed cloud environments"],"prefix":"10.1007","volume":"75","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2639-0900","authenticated-orcid":false,"given":"Mostafa","family":"Ghobaei-Arani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8314-9051","authenticated-orcid":false,"given":"Alireza","family":"Souri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,10,26]]},"reference":[{"key":"2656_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.csi.2017.11.007","volume":"58","author":"A Souri","year":"2017","unstructured":"Souri A, Navimipour NJ, Rahmani AM (2017) Formal verification approaches and standards in the cloud computing: a comprehensive and systematic review. Comput Stand Interfaces 58:1\u201322","journal-title":"Comput Stand Interfaces"},{"issue":"2","key":"2656_CR2","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/s12927-017-0011-5","volume":"9","author":"A Souri","year":"2017","unstructured":"Souri A, Asghari P, Rezaei R (2017) Software as a service-based CRM providers in the cloud computing: challenges and technical issues. J Serv Sci Res 9(2):219\u2013237","journal-title":"J Serv Sci Res"},{"issue":"1","key":"2656_CR3","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/j.future.2017.02.022","volume":"78","author":"M Ghobaei-Arani","year":"2018","unstructured":"Ghobaei-Arani M et al (2018) An autonomic resource provisioning approach for service-based cloud applications: a hybrid approach. Fut Gen Comput Syst 78(1):191\u2013210","journal-title":"Fut Gen Comput Syst"},{"key":"2656_CR4","doi-asserted-by":"crossref","unstructured":"Souri A, Norouzi M (2015) A new probable decision making approach for verification of probabilistic real-time systems. In: 6th IEEE International Conference on Software Engineering and Service Science (ICSESS), 2015. IEEE","DOI":"10.1109\/ICSESS.2015.7339003"},{"key":"2656_CR5","first-page":"631","volume":"1","author":"A Souri","year":"2012","unstructured":"Souri A, Shariflooa MA, Norouzia M (2012) Analyzing SMV & UPPAAL model checkers in real-time systems. Comput Sci 1:631\u2013639","journal-title":"Comput Sci"},{"key":"2656_CR6","volume-title":"Cloud computing: principles and paradigms","author":"R Buyya","year":"2010","unstructured":"Buyya R, Broberg J, Goscinski AM (2010) Cloud computing: principles and paradigms, vol 87. Wiley, Hoboken"},{"key":"2656_CR7","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1016\/j.future.2017.09.049","volume":"79","author":"AA Rahmanian","year":"2018","unstructured":"Rahmanian AA, Ghobaei-Arani M, Tofighy S (2018) A learning automata-based ensemble resource usage prediction algorithm for cloud computing environment. Fut Gen Comput Syst 79:54\u201371","journal-title":"Fut Gen Comput Syst"},{"issue":"3","key":"2656_CR8","doi-asserted-by":"publisher","first-page":"1017","DOI":"10.1007\/s10586-016-0574-9","volume":"19","author":"M Ghobaei-Arani","year":"2016","unstructured":"Ghobaei-Arani M, Jabbehdari S, Pourmina MA (2016) An autonomic approach for resource provisioning of cloud services. Clust Comput 19(3):1017\u20131036","journal-title":"Clust Comput"},{"key":"2656_CR9","doi-asserted-by":"publisher","first-page":"1324","DOI":"10.1016\/j.procs.2015.07.443","volume":"57","author":"A Safarkhanlou","year":"2015","unstructured":"Safarkhanlou A et al (2015) Formalizing and verification of an antivirus protection service using model checking. Proc Comput Sci 57:1324\u20131331","journal-title":"Proc Comput Sci"},{"issue":"4","key":"2656_CR10","doi-asserted-by":"publisher","first-page":"735","DOI":"10.1007\/s10723-013-9273-4","volume":"11","author":"B Simon","year":"2013","unstructured":"Simon B, Goldschmidt B, Kondorosi K (2013) A metamodel for the web services standards. J Grid Comput 11(4):735\u2013752","journal-title":"J Grid Comput"},{"key":"2656_CR11","doi-asserted-by":"crossref","unstructured":"Piprani B, Sheppard D, Barbir A (2013) Comparative analysis of SOA and cloud computing architectures using fact based modeling. In: OTM Confederated International Conferences \u201cOn the Move to Meaningful Internet Systems\u201d. Springer, Berlin","DOI":"10.1007\/978-3-642-41033-8_66"},{"issue":"5","key":"2656_CR12","first-page":"195","volume":"2","author":"V Portchelvi","year":"2012","unstructured":"Portchelvi V, Venkatesan VP, Shanmugasundaram G (2012) Achieving web services composition\u2014a survey. Softw Eng 2(5):195\u2013202","journal-title":"Softw Eng"},{"key":"2656_CR13","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/j.jnca.2017.07.012","volume":"95","author":"MS Aslanpour","year":"2017","unstructured":"Aslanpour MS, Ghobaei-Arani M, Toosi AN (2017) Auto-scaling web applications in clouds: a cost-aware approach. J Netw Comput Appl 95:26\u201341","journal-title":"J Netw Comput Appl"},{"key":"2656_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.csi.2017.11.007","volume":"58","author":"A Souri","year":"2018","unstructured":"Souri A, Rahmani AM, Jafari Navimipour N (2018) Formal verification approaches in the web service composition: a comprehensive analysis of the current challenges for future research. Int J Commun Syst 58:1\u201322. https:\/\/doi.org\/10.1016\/j.csi.2017.11.007","journal-title":"Int J Commun Syst"},{"key":"2656_CR15","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2018.2861742","author":"M Hamzei","year":"2018","unstructured":"Hamzei M, Navimipour NJ (2018) Towards efficient service composition techniques in the internet of things. IEEE Internet Things J. https:\/\/doi.org\/10.1109\/JIOT.2018.2861742","journal-title":"IEEE Internet Things J"},{"key":"2656_CR16","doi-asserted-by":"publisher","unstructured":"Asghari S, Navimipour NJ (2018) Nature inspired meta-heuristic algorithms for solving the service composition problem in the cloud environments. Int J Commun Syst 31(12). https:\/\/doi.org\/10.1002\/dac.3708","DOI":"10.1002\/dac.3708"},{"key":"2656_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/s12652-018-0773-8","author":"A Naseri","year":"2018","unstructured":"Naseri A, Navimipour NJ (2018) A new agent-based method for QoS-aware cloud service composition using particle swarm optimization algorithm. J Ambient Intell Hum Comput. https:\/\/doi.org\/10.1007\/s12652-018-0773-8","journal-title":"J Ambient Intell Hum Comput"},{"issue":"7","key":"2656_CR18","doi-asserted-by":"crossref","first-page":"1245","DOI":"10.1108\/K-02-2017-0070","volume":"46","author":"R Hajizadeh","year":"2017","unstructured":"Hajizadeh R, Jafari Navimipour N (2017) A method for trust evaluation in the cloud environments using a behavior graph and services grouping. Kybernetes 46(7):1245\u20131261","journal-title":"Kybernetes"},{"issue":"8","key":"2656_CR19","doi-asserted-by":"publisher","first-page":"3809","DOI":"10.1016\/j.eswa.2013.12.017","volume":"41","author":"A Jula","year":"2014","unstructured":"Jula A, Sundararajan E, Othman Z (2014) Cloud computing service composition: a systematic literature review. Expert Syst Appl 41(8):3809\u20133824","journal-title":"Expert Syst Appl"},{"key":"2656_CR20","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1016\/j.jnca.2017.01.005","volume":"81","author":"A Vakili","year":"2017","unstructured":"Vakili A, Navimipour NJ (2017) Comprehensive and systematic review of the service composition mechanisms in the cloud environments. J Netw Comput Appl 81:24\u201336","journal-title":"J Netw Comput Appl"},{"key":"2656_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-017-2783-4","author":"M Ghobaei-Arani","year":"2017","unstructured":"Ghobaei-Arani M et al (2017) CSA-WSC: cuckoo search algorithm for web service composition in cloud environments. Soft Comput. https:\/\/doi.org\/10.1007\/s00500-017-2783-4","journal-title":"Soft Comput"},{"key":"2656_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jss.2016.07.006","volume":"124","author":"B Keshanchi","year":"2017","unstructured":"Keshanchi B, Souri A, Navimipour NJ (2017) An improved genetic algorithm for task scheduling in the cloud environments using the priority queues: formal verification, simulation, and statistical testing. J Syst Softw 124:1\u201321","journal-title":"J Syst Softw"},{"key":"2656_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-7641-3","volume-title":"Machine learning models and algorithms for big data classification","author":"S Suthaharan","year":"2016","unstructured":"Suthaharan S (2016) Machine learning models and algorithms for big data classification. Springer, Berlin"},{"key":"2656_CR24","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1016\/j.compeleceng.2014.12.004","volume":"41","author":"Q Yu","year":"2015","unstructured":"Yu Q, Chen L, Li B (2015) Ant colony optimization applied to web service compositions in cloud computing. Comput Electr Eng 41:18\u201327","journal-title":"Comput Electr Eng"},{"key":"2656_CR25","unstructured":"Gutierrez-Garcia JO, Sim K-M (2010) Agent-based service composition in cloud computing, In: Grid and distributed computing, control and automation. Springer, Berlin, pp 1\u201310"},{"key":"2656_CR26","doi-asserted-by":"crossref","unstructured":"Bastia A et al (2015) Service composition using efficient multi-agents in cloud computing environment. In: Intelligent computing, communication and devices. Springer, Berlin, pp 357\u2013370","DOI":"10.1007\/978-81-322-2012-1_37"},{"key":"2656_CR27","doi-asserted-by":"crossref","unstructured":"Ye Z, Zhou X, Bouguettaya A (2011) Genetic algorithm based QoS-aware service compositions in cloud computing. In International Conference on Database Systems for Advanced Applications. Springer, Berlin","DOI":"10.1007\/978-3-642-20152-3_24"},{"key":"2656_CR28","doi-asserted-by":"crossref","unstructured":"Bharathan S, Rajendran C, Sundarraj R (2017) Penalty Based Mathematical Models for Web Service Composition in a Geo-Distributed Cloud Environment. In IEEE International Conference on Web Services (ICWS), 2017. IEEE","DOI":"10.1109\/ICWS.2017.113"},{"key":"2656_CR29","unstructured":"Gao A et al (2005) Web service composition using integer programming-based models. In: IEEE International Conference on e-Business Engineering, ICEBE, 2005. IEEE"},{"issue":"1\u20134","key":"2656_CR30","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/s00170-017-1167-3","volume":"95","author":"H Akbaripour","year":"2018","unstructured":"Akbaripour H et al (2018) Cloud manufacturing service selection optimization and scheduling with transportation considerations: mixed-integer programming models. Int J Adv Manuf Technol 95(1\u20134):43\u201370","journal-title":"Int J Adv Manuf Technol"},{"issue":"2","key":"2656_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/IJWSR.2018040101","volume":"15","author":"SB Bhushan","year":"2018","unstructured":"Bhushan SB, Reddy PC (2018) A hybrid meta-heuristic approach for QoS-aware cloud service composition. Int J Web Serv Res (IJWSR) 15(2):1\u201320","journal-title":"Int J Web Serv Res (IJWSR)"},{"issue":"1","key":"2656_CR32","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/s11036-012-0373-3","volume":"18","author":"S Wang","year":"2013","unstructured":"Wang S et al (2013) Particle swarm optimization with skyline operator for fast cloud-based web service composition. Mob Netw Appl 18(1):116\u2013121","journal-title":"Mob Netw Appl"},{"issue":"1","key":"2656_CR33","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/j.eswa.2014.07.043","volume":"42","author":"A Jula","year":"2015","unstructured":"Jula A, Othman Z, Sundararajan E (2015) Imperialist competitive algorithm with PROCLUS classifier for service time optimization in cloud computing service composition. Expert Syst Appl 42(1):135\u2013145","journal-title":"Expert Syst Appl"},{"key":"2656_CR34","doi-asserted-by":"publisher","DOI":"10.1007\/s10845-016-1215-0","author":"F Seghir","year":"2016","unstructured":"Seghir F, Khababa A (2016) A hybrid approach using genetic and fruit fly optimization algorithms for QoS-aware cloud service composition. J Intell Manuf. https:\/\/doi.org\/10.1007\/s10845-016-1215-0","journal-title":"J Intell Manuf"},{"issue":"10","key":"2656_CR35","doi-asserted-by":"crossref","first-page":"1865","DOI":"10.1002\/spe.2598","volume":"48","author":"M Ghobaei","year":"2018","unstructured":"Ghobaei M et al (2018) A moth-flame optimization algorithm for web service composition in cloud computing: simulation and verification. Softw Pract Exp 48(10):1865\u20131892","journal-title":"Softw Pract Exp"},{"key":"2656_CR36","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1016\/j.ins.2014.11.016","volume":"316","author":"X Zhao","year":"2015","unstructured":"Zhao X et al (2015) Toward SLA-constrained service composition: an approach based on a fuzzy linguistic preference model and an evolutionary algorithm. Inf Sci 316:370\u2013396","journal-title":"Inf Sci"},{"key":"2656_CR37","volume-title":"Linear programming and network flows","author":"MS Bazaraa","year":"2011","unstructured":"Bazaraa MS, Jarvis JJ, Sherali HD (2011) Linear programming and network flows. Wiley, Hoboken"},{"key":"2656_CR38","volume-title":"Linear programming and extensions","author":"G Dantzig","year":"2016","unstructured":"Dantzig G (2016) Linear programming and extensions. Princeton University Press, Princeton"},{"key":"2656_CR39","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-662-56039-6_4","volume-title":"Combinatorial optimization","author":"B Korte","year":"2018","unstructured":"Korte B, Vygen J (2018) Linear programming algorithms. Combinatorial optimization. Springer, Berlin, pp 75\u2013102"},{"key":"2656_CR40","volume-title":"Foundations of integer programming","author":"HM Salkin","year":"1989","unstructured":"Salkin HM, Mathur K (1989) Foundations of integer programming. North Holland Publisher, Amsterdam"},{"key":"2656_CR41","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.optlaseng.2018.05.004","volume":"109","author":"K Ramesh","year":"2018","unstructured":"Ramesh K, Pandey A (2018) An improved normalization technique for white light photoelasticity. Opt Lasers Eng 109:7\u201316","journal-title":"Opt Lasers Eng"},{"issue":"12","key":"2656_CR42","doi-asserted-by":"publisher","first-page":"1552","DOI":"10.1287\/mnsc.39.12.1552","volume":"39","author":"CD Feinstein","year":"1993","unstructured":"Feinstein CD, Thapa MN (1993) A reformulation of a mean-absolute deviation portfolio optimization model. Manag Sci 39(12):1552\u20131553","journal-title":"Manag Sci"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-018-2656-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-018-2656-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-018-2656-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,11]],"date-time":"2024-07-11T20:01:32Z","timestamp":1720728092000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-018-2656-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,26]]},"references-count":42,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2019,5]]}},"alternative-id":["2656"],"URL":"https:\/\/doi.org\/10.1007\/s11227-018-2656-3","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,10,26]]},"assertion":[{"value":"26 October 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}