{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,3]],"date-time":"2026-01-03T15:20:49Z","timestamp":1767453649561},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"19","license":[{"start":{"date-parts":[[2021,2,25]],"date-time":"2021-02-25T00:00:00Z","timestamp":1614211200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,2,25]],"date-time":"2021-02-25T00:00:00Z","timestamp":1614211200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Multimed Tools Appl"],"published-print":{"date-parts":[[2022,8]]},"DOI":"10.1007\/s11042-021-10645-1","type":"journal-article","created":{"date-parts":[[2021,2,25]],"date-time":"2021-02-25T05:24:57Z","timestamp":1614230697000},"page":"26759-26778","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Cloud manufacturing service composition in IoT applications: a formal verification-based approach"],"prefix":"10.1007","volume":"81","author":[{"given":"Alireza","family":"Souri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mostafa","family":"Ghobaei-Arani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,2,25]]},"reference":[{"key":"10645_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00500-016-2442-1","volume":"22","author":"I Aljarah","year":"2018","unstructured":"Aljarah I, Faris H, Mirjalili S (2018) Optimizing connection weights in neural networks using the whale optimization algorithm. Soft Comput 22:1\u201315","journal-title":"Soft Comput"},{"key":"10645_CR2","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1016\/j.jnca.2017.03.008","volume":"89","author":"T Baker","year":"2017","unstructured":"Baker T, Asim M, Tawfik H, Aldawsari B, Buyya R (2017) An energy-aware service composition algorithm for multiple cloud-based IoT applications. Journal of Network and Computer Applications 89:96\u2013108, 2017\/07\/01\/","journal-title":"Journal of Network and Computer Applications"},{"key":"10645_CR3","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1016\/j.future.2018.09.005","volume":"91","author":"R Casadei","year":"2019","unstructured":"Casadei R, Fortino G, Pianini D, Russo W, Savaglio C, Viroli M (2019) Modelling and simulation of opportunistic IoT services with aggregate computing. Future Generation Computer Systems 91:252\u2013262, 2019\/02\/01\/","journal-title":"Future Generation Computer Systems"},{"key":"10645_CR4","first-page":"1865","volume":"48","author":"M Ghobaei-Arani","year":"2018","unstructured":"Ghobaei-Arani M, Rahmanian AA, Souri A, Rahmani AM (2018) A moth-flame optimization algorithm for web service composition in cloud computing: simulation and verification. Software: Practice and Experience 48:1865\u20131892","journal-title":"Software: Practice and Experience"},{"key":"10645_CR5","doi-asserted-by":"publisher","first-page":"8353","DOI":"10.1007\/s00500-017-2783-4","volume":"22","author":"M Ghobaei-Arani","year":"2018","unstructured":"Ghobaei-Arani M, Rahmanian AA, Aslanpour MS, Dashti SE (2018) CSA-WSC: cuckoo search algorithm for web service composition in cloud environments. Soft Comput 22:8353\u20138378","journal-title":"Soft Comput"},{"key":"10645_CR6","doi-asserted-by":"crossref","unstructured":"Iwendi C, Maddikunta PKR, Gadekallu TR, Lakshmanna K, Bashir AK, Piran MJ (2020) A metaheuristic optimization approach for energy efficiency in the IoT networks. Software: Practice and Experience","DOI":"10.1002\/spe.2797"},{"key":"10645_CR7","doi-asserted-by":"crossref","unstructured":"Khan G, Sarkar A, Sengupta S (2020) Behavioral analysis of service composition patterns in ECBS Using petri-net-based approach, in Advanced Computing and Systems for Security, ed: Springer, pp. 53\u201366.","DOI":"10.1007\/978-981-13-8962-7_5"},{"key":"10645_CR8","doi-asserted-by":"publisher","first-page":"5485","DOI":"10.1007\/s11227-018-2454-y","volume":"74","author":"ME Khansari","year":"2018","unstructured":"Khansari ME, Sharifian S, Motamedi SA (2018) Virtual sensor as a service: a new multicriteria QoS-aware cloud service composition for IoT applications. J Supercomput 74:5485\u20135512","journal-title":"J Supercomput"},{"key":"10645_CR9","doi-asserted-by":"crossref","first-page":"168781401878128","DOI":"10.1177\/1687814018781287","volume":"10","author":"Y Li","year":"2018","unstructured":"Li Y, Yao X (2018) Cloud manufacturing service composition and formal verification based on extended process calculus. Advances in Mechanical Engineering 10:1687814018781287","journal-title":"Advances in Mechanical Engineering"},{"key":"10645_CR10","doi-asserted-by":"publisher","unstructured":"Ghobaei-Arani M, Souri A (2019) LP-WSC: a linear programming approach for web service composition in geographically distributed cloud environments. The Journal of Supercomputing 75(5):2603\u20132628. https:\/\/doi.org\/10.1007\/s11227-018-2656-3","DOI":"10.1007\/s11227-018-2656-3"},{"key":"10645_CR11","doi-asserted-by":"publisher","unstructured":"Ghobaei-Arani, M., Souri, A., Baker, T. and Hussien, A., (2019). ControCity: an autonomous approach for controlling elasticity using buffer Management in Cloud Computing Environment. IEEE Access, 7:106912\u2013106924. https:\/\/doi.org\/10.1109\/ACCESS.2019.2932462","DOI":"10.1109\/ACCESS.2019.2932462"},{"key":"10645_CR12","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1016\/j.neucom.2017.04.053","volume":"260","author":"MM Mafarja","year":"2017","unstructured":"Mafarja MM, Mirjalili S (2017) Hybrid whale optimization algorithm with simulated annealing for feature selection. Neurocomputing 260:302\u2013312","journal-title":"Neurocomputing"},{"key":"10645_CR13","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.advengsoft.2016.01.008","volume":"95","author":"S Mirjalili","year":"2016","unstructured":"Mirjalili S, Lewis A (2016) The whale optimization algorithm. Adv Eng Softw 95:51\u201367","journal-title":"Adv Eng Softw"},{"key":"10645_CR14","doi-asserted-by":"crossref","unstructured":"Naji HA, Xue Q, Zhang L, Zheng K (2019) A colored petri nets based model and verification for services composition. Journal of Physics: Conference Series:012144","DOI":"10.1088\/1742-6596\/1314\/1\/012144"},{"key":"10645_CR15","doi-asserted-by":"crossref","unstructured":"Pisching MA, Junqueira F, Santos Filho DJ, Miyagi PE (2015) Service composition in the cloud-based manufacturing focused on the industry 4.0, in Doctoral Conference on Computing, Electrical and Industrial Systems, pp. 65\u201372.","DOI":"10.1007\/978-3-319-16766-4_7"},{"key":"10645_CR16","doi-asserted-by":"crossref","unstructured":"Rahmani AM, Gia TN, Negash B, Anzanpour A, Azimi I, Jiang M et al (2017) Exploiting smart e-health gateways at the edge of healthcare internet-of-things: a fog computing approach. Futur Gener Comput Syst","DOI":"10.1016\/j.future.2017.02.014"},{"key":"10645_CR17","doi-asserted-by":"crossref","unstructured":"Safara F, Mohammed AS, Potrus MY, Ali S, Tho QT, Souri A, et al. (2020) An author gender detection method using whale optimization algorithm and artificial neural network, IEEE Access","DOI":"10.1109\/ACCESS.2020.2973509"},{"key":"10645_CR18","doi-asserted-by":"crossref","unstructured":"Souri A, Norouzi M (2015) A new probable decision making approach for verification of probabilistic real-time systems, in Software Engineering and Service Science (ICSESS), 2015 6th IEEE International Conference on, pp. 44\u201347.","DOI":"10.1109\/ICSESS.2015.7339003"},{"key":"10645_CR19","doi-asserted-by":"crossref","unstructured":"Souri A, Rahmani AM, Navimipour NJ, Rezaei R (2019) Formal modeling and verification of a service composition approach in the social customer relationship management system,\" Information Technology & People","DOI":"10.1108\/ITP-02-2018-0109"},{"key":"10645_CR20","doi-asserted-by":"crossref","unstructured":"Souri A, Rahmani AM, Navimipour NJ, Rezaei R (2019) A hybrid formal verification approach for QoS-aware multi-cloud service composition. Clust Comput:1\u201318","DOI":"10.1007\/s10586-019-03018-9"},{"key":"10645_CR21","doi-asserted-by":"publisher","first-page":"1017","DOI":"10.1016\/j.future.2019.05.070","volume":"100","author":"M Sun","year":"2019","unstructured":"Sun M, Zhou Z, Wang J, Du C, Gaaloul W (2019) Energy-efficient IoT service composition for concurrent timed applications. Futur Gener Comput Syst 100:1017\u20131030","journal-title":"Futur Gener Comput Syst"},{"key":"10645_CR22","doi-asserted-by":"publisher","first-page":"106003","DOI":"10.1016\/j.asoc.2019.106003","volume":"87","author":"Y Yang","year":"2020","unstructured":"Yang Y, Yang B, Wang S, Jin T, Li S (2020) An enhanced multi-objective grey wolf optimizer for service composition in cloud manufacturing. Appl Soft Comput 87:106003","journal-title":"Appl Soft Comput"},{"key":"10645_CR23","doi-asserted-by":"crossref","unstructured":"Yongxiang L, Xifan Y, Jie Z, Bin L (2013) Cloud manufacturing service composition modeling and formal verification based on Calculus for Orchestration of Web Service, in 2013 25th Chinese Control and Decision Conference (CCDC), pp. 2806\u20132810.","DOI":"10.1109\/CCDC.2013.6561422"},{"key":"10645_CR24","doi-asserted-by":"publisher","first-page":"1779","DOI":"10.3923\/itj.2014.1779.1785","volume":"13","author":"L Yongxiang","year":"2014","unstructured":"Yongxiang L, Xifan Y, Xiangmin X, Hong J (2014) Formal verification of cloud manufacturing service composition and BPEL codes generation based on extended process calculus. Inf Technol J 13:1779\u20131785","journal-title":"Inf Technol J"},{"key":"10645_CR25","unstructured":"Yu C, Zhang L, Zhao W, Zhang S (2019) A blockchain-based service composition architecture in cloud manufacturing. Int J Comput Integr Manuf:1\u201315"},{"key":"10645_CR26","doi-asserted-by":"publisher","first-page":"101840","DOI":"10.1016\/j.rcim.2019.101840","volume":"61","author":"M Yuan","year":"2020","unstructured":"Yuan M, Zhou Z, Cai X, Sun C, Gu W (2020) Service composition model and method in cloud manufacturing. Robot Comput Integr Manuf 61:101840","journal-title":"Robot Comput Integr Manuf"},{"key":"10645_CR27","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1109\/JSYST.2015.2460747","volume":"11","author":"Y Zhang","year":"2017","unstructured":"Zhang Y, Qiu M, Tsai C-W, Hassan MM, Alamri A (2017) Health-CPS: healthcare cyber-physical system assisted by cloud and big data. IEEE Syst J 11:88\u201395","journal-title":"IEEE Syst J"}],"container-title":["Multimedia Tools and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11042-021-10645-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11042-021-10645-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11042-021-10645-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T07:11:46Z","timestamp":1658214706000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11042-021-10645-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,25]]},"references-count":27,"journal-issue":{"issue":"19","published-print":{"date-parts":[[2022,8]]}},"alternative-id":["10645"],"URL":"https:\/\/doi.org\/10.1007\/s11042-021-10645-1","relation":{},"ISSN":["1380-7501","1573-7721"],"issn-type":[{"value":"1380-7501","type":"print"},{"value":"1573-7721","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,2,25]]},"assertion":[{"value":"16 June 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 December 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 February 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 February 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}