{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,7]],"date-time":"2026-10-07T00:24:20Z","timestamp":1791332660690,"version":"4.3.1"},"reference-count":35,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Serv. Comput."],"published-print":{"date-parts":[[2017,1,1]]},"DOI":"10.1109\/tsc.2016.2594062","type":"journal-article","created":{"date-parts":[[2016,7,26]],"date-time":"2016-07-26T18:20:20Z","timestamp":1469557220000},"page":"23-36","source":"Crossref","is-referenced-by-count":25,"title":["Towards Correct Cloud Resource Allocation in Business Processes"],"prefix":"10.1109","volume":"10","author":[{"given":"Mohamed","family":"Graiet","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Amel","family":"Mammar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Souha","family":"Boubaker","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Walid","family":"Gaaloul","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/SERVICES.2015.16"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ICBBE.2009.5162336"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2011.05.001"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.4018\/ijghpc.2013100105"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/AINA.2016.126"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2015.79"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","article-title":"Rodin: An open toolset for modelling and reasoning in Event-B","volume":"12","author":"abrial","year":"2010","journal-title":"Int J Softw Tools Technol Transfer"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2013.42"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2014.89"},{"key":"ref14","article-title":"Workflow management coalition: The workflow reference model","volume":"68","author":"hollingsworth","year":"1993","journal-title":"Workflow Management Coalition"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0063-9"},{"key":"ref16","first-page":"52","article-title":"Design and synthesis of synchronization skeletons using branching-time temporal logic","author":"clarke","year":"0","journal-title":"Proc Logic Programs Workshop"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2012.65"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45594-9_11"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/s00165-010-0161-4","article-title":"Soundness of workflow nets: Classification, decidability, and analysis","volume":"23","author":"van der aalst","year":"2010","journal-title":"Formal Aspects Comput"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD.2013.126"},{"key":"ref4","first-page":"56","article-title":"Extended resource perspective support for BPMN and BPEL","author":"stroppi","year":"0","journal-title":"Proc 15th Iberoamerican Conf Softw Eng"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2015.23"},{"key":"ref3","first-page":"216","article-title":"Workflow resource patterns: Identification, representation and tool support","author":"russell","year":"0","journal-title":"Proc Int Conf Advanced Inf Syst Eng"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-002-0105-4"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/SOCA.2013.44"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(03)00100-9"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"ref2","author":"weske","year":"2007","journal-title":"Business Process Management Concepts Languages Architectures"},{"key":"ref9","year":"2010","journal-title":"Modeling in Event-B System and Software Engineering"},{"key":"ref1","article-title":"Above the clouds: A berkeley view of cloud computing","author":"armbrust","year":"2009"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2013.75"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2010.1"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/WETICE.2013.42"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2593793.2593798"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2004.1314722"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/NWESP.2006.13"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2015.09.221"}],"container-title":["IEEE Transactions on Services Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4629386\/7842717\/07522625.pdf?arnumber=7522625","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:38:18Z","timestamp":1642005498000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7522625\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,1]]},"references-count":35,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tsc.2016.2594062","relation":{},"ISSN":["1939-1374"],"issn-type":[{"value":"1939-1374","type":"print"}],"subject":[],"published":{"date-parts":[[2017,1,1]]}}}