{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,25]],"date-time":"2026-06-25T16:30:18Z","timestamp":1782405018462,"version":"3.54.5"},"reference-count":53,"publisher":"Wiley","issue":"9","license":[{"start":{"date-parts":[[2018,5,30]],"date-time":"2018-05-30T00:00:00Z","timestamp":1527638400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61702334"],"award-info":[{"award-number":["61702334"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61772200"],"award-info":[{"award-number":["61772200"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100007219","name":"Natural Science Foundation of Shanghai","doi-asserted-by":"publisher","award":["17ZR1406900"],"award-info":[{"award-number":["17ZR1406900"]}],"id":[{"id":"10.13039\/100007219","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100007219","name":"Natural Science Foundation of Shanghai","doi-asserted-by":"publisher","award":["17ZR1429700"],"award-info":[{"award-number":["17ZR1429700"]}],"id":[{"id":"10.13039\/100007219","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[2018,9]]},"abstract":"<jats:title>Summary<\/jats:title><jats:p>With the rapid development of cloud computing, many distributed data centers have been deployed. This means larger energy consumption requirements from the data center. How to reduce the cost of data center has received significant attention recently. Although there are several efforts in studying energy consumption of the data center, very few have considered modeling and analyzing cost\u2010aware job scheduling for the cloud data center. To address this emerging problem, we propose a systematic approach that considers both basic elements and their relationships in cloud data center. First, we present a formal language to describe the cloud data center, and a job scheduling net is proposed to formally model the basic elements such as user request, Web portal, data center, and server. Second, we minimize the total cost of the cloud data center by considering the multidimensional resource and local electricity price on the basis of the state space of constructed model. The dynamic job scheduling algorithm and its specific execution steps are proposed based on the alternating direction method of multipliers algorithm. Third, the operational semantics and related theories of Petri nets for establishing the correctness of our proposed method are presented. Finally, a series of simulations are performed to illustrate that the proposed method can guarantee the correct behavior of job scheduling in the cloud data center while meeting the required cost.<\/jats:p>","DOI":"10.1002\/spe.2590","type":"journal-article","created":{"date-parts":[[2018,5,30]],"date-time":"2018-05-30T13:47:00Z","timestamp":1527688020000},"page":"1536-1559","update-policy":"https:\/\/doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Formally modeling and analyzing cost\u2010aware job scheduling for cloud data center"],"prefix":"10.1002","volume":"48","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2702-0242","authenticated-orcid":false,"given":"Guisheng","family":"Fan","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering East China University of Science and Technology  Shanghai China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Liqiong","family":"Chen","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Information Engineering Shanghai Institute of Technology  Shanghai China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Huiqun","family":"Yu","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering East China University of Science and Technology  Shanghai China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dongmei","family":"Liu","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering East China University of Science and Technology  Shanghai China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"311","published-online":{"date-parts":[[2018,5,30]]},"reference":[{"key":"e_1_2_10_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2015.09.031"},{"key":"e_1_2_10_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCC.2015.2459704"},{"key":"e_1_2_10_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCC.2015.2394316"},{"key":"e_1_2_10_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2010.2060451"},{"key":"e_1_2_10_6_1","unstructured":"KaplanJ ForrestW KindlerN.Revolutionizing Data Center Energy Efficiency.\u00a0McKinsey & Company;2009."},{"key":"e_1_2_10_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-014-1172-3"},{"key":"e_1_2_10_8_1","unstructured":"CookG Van HornJ.How dirty is your data: A look at the energy choices that power cloud computing.\u00a0Greenpeace;2011."},{"key":"e_1_2_10_9_1","doi-asserted-by":"crossref","unstructured":"KliazovichD ArzoA GranelliF BouvryP KhanS.e\u2010STAB: Energy\u2010efficient scheduling for cloud computing applications with traffic load balancing. Paper presented at: 2013 IEEE International Conference on Green Computing and Communications;2013;Beijing China.","DOI":"10.1109\/GreenCom-iThings-CPSCom.2013.28"},{"key":"e_1_2_10_10_1","doi-asserted-by":"crossref","unstructured":"LuX KongF YinJ LiuX YuH FanG.Geographical job scheduling in data centers with heterogeneous demands and servers. Paper presented at: 2015 IEEE 8th International Conference on Cloud Computing;2015;New York NY.","DOI":"10.1109\/CLOUD.2015.62"},{"key":"e_1_2_10_11_1","doi-asserted-by":"crossref","unstructured":"WangW LiB LiangB LiJ.Multi\u2010resource fair sharing for datacenter jobs with placement constraints. Paper presented at: SC16 The International Conference for High Performance Computing Networking Storage and Analysis;2016;Salt Lake City UT.","DOI":"10.1109\/SC.2016.85"},{"key":"e_1_2_10_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10586-015-0449-5"},{"key":"e_1_2_10_13_1","unstructured":"Hadoop MapReduce Tutorial.2011.http:\/\/hadoop.apache.org\/docs\/current\/hadoop\u2010mapreduce\u2010client\/hadoop\u2010mapreduce\u2010client\u2010core\/MapReduceTutorial.html."},{"key":"e_1_2_10_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05324-9"},{"key":"e_1_2_10_15_1","doi-asserted-by":"crossref","unstructured":"FanG YuH ChenL LiuD.An aspect oriented approach to constructing secure service composition. In: Proceedings of the 2010 Asia Pacific Software Engineering Conference;2010;Sydney Australia.","DOI":"10.1109\/APSEC.2010.29"},{"key":"e_1_2_10_16_1","unstructured":"FellerE MorinC LeprinceD.State of the Art of Power Saving in Clusters and Results from the EDF Case Study.\u00a0Institut National de Recherche en Informatique et en Automatique.\u00a02010.http:\/\/hal.inria.fr\/docs\/00\/54\/38\/10\/PDF\/RR-7473.pdf"},{"key":"e_1_2_10_17_1","doi-asserted-by":"publisher","DOI":"10.1137\/110836936"},{"key":"e_1_2_10_18_1","doi-asserted-by":"crossref","unstructured":"BuyyaR RanjanR CalheirosRN.Modeling and simulation of scalable Cloud computing environments and the CloudSim toolkit: Challenges and opportunities. Paper presented at: 2009 International Conference on High Performance Computing & Simulation;2009;Leipzig Germany.","DOI":"10.1109\/HPCSIM.2009.5192685"},{"key":"e_1_2_10_19_1","unstructured":"SoftLayer Data Centers \u2010 Data Center Map.2016.http:\/\/www.datacentermap.com\/company\/softlayer_datacenters.html"},{"key":"e_1_2_10_20_1","unstructured":"Federal Energy Regulatory Commission.Electric Power Markets: National Overview.2017.http:\/\/www.ferc.gov\/market-oversight\/mkt-electric\/overview.asp"},{"key":"e_1_2_10_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1594977.1592584"},{"key":"e_1_2_10_22_1","doi-asserted-by":"publisher","DOI":"10.1177\/1687814016648649"},{"key":"e_1_2_10_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2620429"},{"key":"e_1_2_10_24_1","unstructured":"Tim JonesM.Scheduling in Hadoop: An introduction to the pluggable scheduler framework.2011.http:\/\/www.ibm.com\/developerworks\/library\/os-hadoop-scheduling\/"},{"key":"e_1_2_10_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2012.10.041"},{"key":"e_1_2_10_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jocs.2016.11.007"},{"key":"e_1_2_10_27_1","doi-asserted-by":"crossref","unstructured":"HuangJ WuK MohM.Dynamic virtual machine migration algorithms using enhanced energy consumption model for green cloud data centers. Paper presented at: 2014 International Conference on High Performance Computing & Simulation;2014;Bologna Italy.","DOI":"10.1109\/HPCSim.2014.6903785"},{"key":"e_1_2_10_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2015.07.007"},{"key":"e_1_2_10_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-03449-2"},{"key":"e_1_2_10_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10586-014-0378-8"},{"key":"e_1_2_10_31_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2323"},{"key":"e_1_2_10_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.12.030"},{"key":"e_1_2_10_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2015.06.017"},{"key":"e_1_2_10_34_1","unstructured":"IgnacioA MarinaZ PatriciaA MoyaJ.A trust and reputation system for energy optimization in cloud data centers. Paper presented at: 2015 IEEE 8th International Conference on Cloud Computing;2015;New York NY."},{"key":"e_1_2_10_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11235-015-9975-y"},{"key":"e_1_2_10_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compeleceng.2015.05.006"},{"key":"e_1_2_10_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2014.2350499"},{"key":"e_1_2_10_38_1","doi-asserted-by":"crossref","unstructured":"CelayaJ SakellariouR.An adaptive policy to minimize energy and SLA violations of parallel jobs on the cloud. Paper presented at: 2014 IEEE\/ACM 7th International Conference on Utility and Cloud Computing;2014;London UK.","DOI":"10.1109\/UCC.2014.74"},{"key":"e_1_2_10_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2015.02.001"},{"key":"e_1_2_10_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCC.2014.2310452"},{"key":"e_1_2_10_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.08.065"},{"key":"e_1_2_10_42_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2258"},{"key":"e_1_2_10_43_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2223"},{"key":"e_1_2_10_44_1","doi-asserted-by":"crossref","unstructured":"ToosiAN BuyyaR.A fuzzy logic\u2010based controller for cost and energy efficient load balancing in geo\u2010distributed data center. Paper presented at: 2015 IEEE\/ACM 8th International Conference on Utility and Cloud Computing;2015;Limassol Cyprus.","DOI":"10.1109\/UCC.2015.35"},{"key":"e_1_2_10_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2013.01.025"},{"key":"e_1_2_10_46_1","doi-asserted-by":"crossref","unstructured":"SheejaYS JayalekshmiS.Cost effective load balancing based on honey bee behaviour in cloud environment. Paper presented at: 2014 First International Conference on Computational Systems and Communications;2014;Trivandrum India.","DOI":"10.1109\/COMPSC.2014.7032650"},{"key":"e_1_2_10_47_1","doi-asserted-by":"crossref","unstructured":"AdnanMA GuptaR.Utility\u2010aware deferred load balancing in the cloud driven by dynamic pricing of electricity. Paper presented at: 2013 Design Automation and Test in Europe Conference;2013;Grenoble France.","DOI":"10.7873\/DATE.2013.066"},{"key":"e_1_2_10_48_1","doi-asserted-by":"crossref","unstructured":"JiaY BrondinoI Jim\u00e9nez\u2010PerisR Pati\u00f1o Mart\u00ednezM MaD.A multi\u2010resource load balancing algorithm for cloud cache systems. Paper presented at: 28th Annual ACM Symposium on Applied Computing;2013;Coimbra Portugal.","DOI":"10.1145\/2480362.2480453"},{"key":"e_1_2_10_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.07.006"},{"key":"e_1_2_10_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2015.2433892"},{"key":"e_1_2_10_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2012.06.005"},{"key":"e_1_2_10_52_1","first-page":"103","article-title":"Formal verification of secure information flow in cloud computing","volume":"27","author":"Zeng W","year":"2016","journal-title":"J Inf Secur and Appl"},{"issue":"2","key":"e_1_2_10_53_1","first-page":"281","article-title":"A formal aspect\u2010oriented method for modeling and analyzing adaptive resource scheduling in cloud computing","volume":"13","author":"Fan G","year":"2016","journal-title":"Simul Model Pract Theory"},{"key":"e_1_2_10_54_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2015.03.027"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.2590","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.2590","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,18]],"date-time":"2023-09-18T05:45:31Z","timestamp":1695015931000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.2590"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,30]]},"references-count":53,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2018,9]]}},"alternative-id":["10.1002\/spe.2590"],"URL":"https:\/\/doi.org\/10.1002\/spe.2590","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,5,30]]},"assertion":[{"value":"2017-06-15","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-04-11","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-05-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}