{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T21:42:21Z","timestamp":1762033341543},"reference-count":32,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2016,6,1]],"date-time":"2016-06-01T00:00:00Z","timestamp":1464739200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100001809","name":"NSF of China","doi-asserted-by":"crossref","award":["61173048","61300041"],"award-info":[{"award-number":["61173048","61300041"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100013286","name":"Research Fund for the Doctoral Program of Higher Education of China","doi-asserted-by":"crossref","award":["20130074110015"],"award-info":[{"award-number":["20130074110015"]}],"id":[{"id":"10.13039\/501100013286","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Netw. Serv. Manage."],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1109\/tnsm.2016.2553157","type":"journal-article","created":{"date-parts":[[2016,4,12]],"date-time":"2016-04-12T18:39:47Z","timestamp":1460486387000},"page":"281-294","source":"Crossref","is-referenced-by-count":26,"title":["A Formal Aspect-Oriented Method for Modeling and Analyzing Adaptive Resource Scheduling in Cloud Computing"],"prefix":"10.1109","volume":"13","author":[{"given":"Guisheng","family":"Fan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huiqun","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liqiong","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.40"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s13369-014-1454-3"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2011.7"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.2498\/cit.1001391"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2012.08.015"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1002\/spe.995"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2013.12.024"},{"key":"ref15","first-page":"51","author":"zhang","year":"0","journal-title":"Proc IEEE 22nd Int Symp Quality Serv"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2015.02.012"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2015.07.021"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1016\/j.jpdc.2011.12.002","article-title":"Profit-driven scheduling for cloud services with data access awareness","volume":"72","author":"lee","year":"2012","journal-title":"J Parallel Distrib Comput"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2014.07.018"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1109\/TCC.2014.2314655","article-title":"Deadline based resource provisioning and scheduling algorithm for scientific workflows on cloud","volume":"2","author":"dastjerdi","year":"2014","journal-title":"IEEE Trans Cloud Comput"},{"key":"ref4","first-page":"837","author":"liu","year":"0","journal-title":"Proc 14th IEEE\/ACM Int Symp Cluster Cloud Grid Comput"},{"key":"ref27","article-title":"A modular failure-aware resource allocation architecture for cloud computing","author":"chester","year":"0","journal-title":"et al"},{"key":"ref3","first-page":"808","author":"zhao","year":"0","journal-title":"Proc 26th IEEE Int Parallel Distrib Process Symp"},{"key":"ref6","first-page":"345","author":"jung","year":"0","journal-title":"Proc 40th IEEE Int Conf Parallel Process Workshops"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2013.122313.130448"},{"key":"ref5","first-page":"1510","author":"zhang","year":"0","journal-title":"Proc 32st IEEE Annu Joint Conf Comput Commun Soc"},{"key":"ref8","first-page":"540","article-title":"Petri nets: Properties, analysis and application","volume":"77","author":"tadao","year":"0","journal-title":"Proc IEEE"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.aasri.2013.10.069"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TCC.2015.2394316"},{"key":"ref9","first-page":"83","author":"guan","year":"0","journal-title":"Proc 2nd IFIP\/IEEE Int Symp Theor Aspects Softw Eng"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2013.10.004"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2014.2314861"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2015.06.025"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2015.03.003"},{"key":"ref24","first-page":"10","author":"javadi","year":"0","journal-title":"Proc 4th IEEE Int Conf Cloud Comput Technol Sci"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2012.06.012"},{"key":"ref26","first-page":"193","author":"vishwanath","year":"0","journal-title":"Proc 1st ACM Symp Cloud Comput"},{"key":"ref25","first-page":"397","author":"tian","year":"0","journal-title":"Proc IEEE Int Symp Parallel Distrib Process Appl"}],"container-title":["IEEE Transactions on Network and Service Management"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4275028\/7486950\/07451257.pdf?arnumber=7451257","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:13:32Z","timestamp":1642004012000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7451257\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6]]},"references-count":32,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tnsm.2016.2553157","relation":{},"ISSN":["1932-4537"],"issn-type":[{"value":"1932-4537","type":"print"}],"subject":[],"published":{"date-parts":[[2016,6]]}}}