{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T19:27:15Z","timestamp":1743017235814,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030026097"},{"type":"electronic","value":"9783030026103"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-02610-3_25","type":"book-chapter","created":{"date-parts":[[2018,10,17]],"date-time":"2018-10-17T11:41:17Z","timestamp":1539776477000},"page":"445-462","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Scheduling Business Process Activities for Time-Aware Cloud Resource Allocation"],"prefix":"10.1007","author":[{"given":"Rania Ben","family":"Halima","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Slim","family":"Kallel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walid","family":"Gaaloul","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Jmaiel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,10,18]]},"reference":[{"issue":"6","key":"25_CR1","doi-asserted-by":"publisher","first-page":"1060","DOI":"10.1109\/TC.2013.31","volume":"62","author":"C Papagianni","year":"2013","unstructured":"Papagianni, C., Leivadeas, A., Papavassiliou, S., Maglaris, V., Cervello-Pastor, C., Monje, A.: On the optimal allocation of virtual resources in cloud computing networks. IEEE Trans. Comput. 62(6), 1060\u20131071 (2013)","journal-title":"IEEE Trans. Comput."},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Van den Bossche, R., Vanmechelen, K., Broeckhove, J.: Cost-optimal scheduling in hybrid IaaS clouds for deadline constrained workloads. In: Cloud Computing (CLOUD), pp. 228\u2013235. IEEE (2010)","DOI":"10.1109\/CLOUD.2010.58"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Cheikhrouhou, S., Kallel, S., Guermouche, N., Jmaiel, M.: Enhancing formal specification and verification of temporal constraints in business processes. In: IEEE International Conference on Services Computing, pp. 701\u2013708 (2014)","DOI":"10.1109\/SCC.2014.97"},{"key":"25_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/11526841_13","volume-title":"FM 2005: Formal Methods","author":"H Bohnenkamp","year":"2005","unstructured":"Bohnenkamp, H., Belinfante, A.: Timed testing with TorX. In: Fitzgerald, J., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 173\u2013188. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11526841_13"},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Gagne, D., Trudel, A.: Time-BPMN. In: IEEE Conference on Commerce and Enterprise Computing, CEC 2009, pp. 361\u2013367. IEEE (2009)","DOI":"10.1109\/CEC.2009.71"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Halima, R.B., Kallel, S., Gaaloul, W., Jmaiel, M.: Optimal cost for time-aware cloud resource allocation in business process. In: 2017 IEEE International Conference on Services Computing, SCC 2017, pp. pp. 361\u2013367 (2017)","DOI":"10.1109\/SCC.2017.47"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Boubaker, S., Gaaloul, W., Graiet, M., Hadj-Alouane, N.B.: Event-B based approach for verifying cloud resource allocation in business process. In: International Conference on Services Computing, SCC 2015, pp. 538\u2013545 (2015)","DOI":"10.1109\/SCC.2015.79"},{"key":"25_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1007\/978-3-319-48472-3_23","volume-title":"On the Move to Meaningful Internet Systems: OTM 2016 Conferences","author":"R Ben Halima","year":"2016","unstructured":"Ben Halima, R., Kallel, S., Klai, K., Gaaloul, W., Jmaiel, M.: Formal verification of time-aware cloud resource allocation in business process. In: Debruyne, C. (ed.) OTM 2016. LNCS, vol. 10033, pp. 400\u2013417. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-319-48472-3_23"},{"issue":"1","key":"25_CR9","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/j.datak.2010.09.002","volume":"70","author":"Z Huang","year":"2011","unstructured":"Huang, Z., van der Aalst, W.M., Lu, X., Duan, H.: Reinforcement learning based resource allocation in business process management. Data Knowl. Eng. 70(1), 127\u2013145 (2011)","journal-title":"Data Knowl. Eng."},{"key":"25_CR10","unstructured":"Li, Q., Guo, Y.: Optimization of resource scheduling in cloud computing. In: International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2010)"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Hu, M., Luo, J., Veeravalli, B.: Optimal provisioning for scheduling divisible loads with reserved cloud resources. In: 18th IEEE International Conference on Networks, pp. 204\u2013209. IEEE (2012)","DOI":"10.1109\/ICON.2012.6506559"},{"key":"25_CR12","unstructured":"Amazon ec2 (2012). https:\/\/aws.amazon.com\/ec2\/. Accessed 20 May 2017"},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"Cheikhrouhou, S., Kallel, S., Guermouche, N., Jmaiel, M.: Toward a time-centric modeling of business processes in BPMN 2.0. In: The 15th International Conference on Information Integration and Web-based Applications & Services, p. 154 (2013)","DOI":"10.1145\/2539150.2539182"},{"issue":"1","key":"25_CR14","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s10479-005-3446-x","volume":"139","author":"CA Floudas","year":"2005","unstructured":"Floudas, C.A., Lin, X.: Mixed integer linear programming in process scheduling: modeling, algorithms, and applications. Ann. Oper. Res. 139(1), 131\u2013162 (2005)","journal-title":"Ann. Oper. Res."},{"issue":"2","key":"25_CR15","doi-asserted-by":"publisher","first-page":"131","DOI":"10.15623\/ijret.2013.0202008","volume":"2","author":"P Salot","year":"2013","unstructured":"Salot, P.: A survey of various scheduling algorithm in cloud computing environment. Int. J. Res. Eng. Technol. 2(2), 131\u2013135 (2013)","journal-title":"Int. J. Res. Eng. Technol."},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Wang, W., Zhang, P., Lan, T., Aggarwal, V.: Datacenter net profit optimization with individual job deadlines. In: Proceedings of Conference on Information Sciences and Systems (2012)","DOI":"10.1109\/CISS.2012.6310925"},{"key":"25_CR17","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1109\/TSC.2011.7","volume":"5","author":"S Chaisiri","year":"2012","unstructured":"Chaisiri, S., Lee, B.S., Niyato, D.: Optimization of resource provisioning cost in cloud computing. IEEE Trans. Serv. Comput. 5, 164\u2013177 (2012)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"25_CR18","doi-asserted-by":"crossref","unstructured":"Mastelic, T., Fdhila, W., Brandic, I., Rinderle-Ma, S.: Predicting resource allocation and costs for business processes in the cloud. In: SERVICES, pp. 47\u201354 (2015)","DOI":"10.1109\/SERVICES.2015.16"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Fakhfakh, F., Kacem, H.H., Kacem, A.H.: A provisioning approach of cloud resources for dynamic workflows. In: CLOUD 2015, pp. 469-476 (2015)","DOI":"10.1109\/CLOUD.2015.69"},{"issue":"2","key":"25_CR20","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1109\/TCC.2014.2314655","volume":"2","author":"MA Rodriguez","year":"2014","unstructured":"Rodriguez, M.A., Buyya, R.: Deadline based resource provisioningand scheduling algorithm for scientific workflows on clouds. IEEE Trans. Cloud Comput. 2(2), 222\u2013235 (2014)","journal-title":"IEEE Trans. Cloud Comput."},{"issue":"1","key":"25_CR21","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/s10479-007-0210-4","volume":"155","author":"SM Al-Yakoob","year":"2007","unstructured":"Al-Yakoob, S.M., Sherali, H.D.: Mixed-integer programming models for an employee scheduling problem with multiple shifts and work locations. Ann. Oper. Res. 155(1), 119\u2013142 (2007)","journal-title":"Ann. Oper. Res."},{"issue":"2","key":"25_CR22","doi-asserted-by":"publisher","first-page":"155","DOI":"10.7763\/IJMO.2015.V5.453","volume":"5","author":"M Afilal","year":"2015","unstructured":"Afilal, M., Chehade, H., Yalaoui, F.: The human resources assignment with multiple sites problem. Int. J. Model. Optim. 5(2), 155 (2015)","journal-title":"Int. J. Model. Optim."},{"key":"25_CR23","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/978-3-319-42887-1_16","volume-title":"Business Process Management Workshops","author":"G Havur","year":"2016","unstructured":"Havur, G., Cabanillas, C., Mendling, J., Polleres, A.: Automated resource allocation in business processes with answer set programming. In: Reichert, M., Reijers, H.A. (eds.) BPM 2015. LNBIP, vol. 256, pp. 191\u2013203. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-42887-1_16"},{"key":"25_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-981-10-5026-8_1","volume-title":"Research Advances in Cloud Computing","author":"I Baldini","year":"2017","unstructured":"Baldini, I., et al.: Serverless computing: current trends and open problems. In: Chaudhary, S., Somani, G., Buyya, R. (eds.) Research Advances in Cloud Computing, pp. 1\u201320. Springer, Singapore (2017). https:\/\/doi.org\/10.1007\/978-981-10-5026-8_1"},{"issue":"1","key":"25_CR25","first-page":"23","volume":"41","author":"RN Calheiros","year":"2011","unstructured":"Calheiros, R.N., Ranjan, R., Beloglazov, A., De Rose, C.A., Buyya, R.: Cloudsim: a toolkit for modeling and simulation of cloud computing environments and evaluation of resource provisioning algorithms. Softw.:Pract. Exp. 41(1), 23\u201350 (2011)","journal-title":"Softw.:Pract. Exp."}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems. OTM 2018 Conferences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-02610-3_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T08:44:31Z","timestamp":1710233071000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-02610-3_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030026097","9783030026103"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-02610-3_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"18 October 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"OTM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"OTM Confederated International Conferences \"On the Move to Meaningful Internet Systems\"","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Valletta","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Malta","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 October 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"otm2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.otmconferences.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Custom system developed for OTM","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"173","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"64","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"22","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"37% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3,7","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}