{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,21]],"date-time":"2026-09-21T21:27:19Z","timestamp":1790026039234,"version":"4.0.1"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319484716","type":"print"},{"value":"9783319484723","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","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":[[2016]]},"DOI":"10.1007\/978-3-319-48472-3_23","type":"book-chapter","created":{"date-parts":[[2016,10,17]],"date-time":"2016-10-17T04:43:13Z","timestamp":1476679393000},"page":"400-417","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Formal Verification of Time-Aware Cloud Resource Allocation in Business Process"],"prefix":"10.1007","author":[{"given":"Rania","family":"Ben Halima","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Slim","family":"Kallel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kais","family":"Klai","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Walid","family":"Gaaloul","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mohamed","family":"Jmaiel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,10,18]]},"reference":[{"key":"23_CR1","unstructured":"Online: Amazon ec2. \n                      https:\/\/aws.amazon.com\/"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Cheikhrouhou, S., Kallel, S., Jmaiel, M.: Toward a verification of time-centric business process models. In: 2014 IEEE 23rd International WETICE Conference, WETICE 2014, Parma, Italy, 23\u201325 June, pp. 326\u2013331 (2014)","DOI":"10.1109\/WETICE.2014.75"},{"key":"23_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, SCC 2014, Anchorage, AK, USA, 27 June\u20132 July, pp. 701\u2013708 (2014)","DOI":"10.1109\/SCC.2014.97"},{"key":"23_CR4","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: 2015 IEEE International Conference on Services Computing, SCC 2015, New York City, NY, USA, 27 June\u20132 July, pp. 538\u2013545 (2015)","DOI":"10.1109\/SCC.2015.79"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Du, Y., Xiong, P., Fan, Y., Li, X.: Dynamic checking and solution to temporal violations in concurrent workflow processes. IEEE Trans. Syst. Man Cybern. Part A 41(6) 1166\u20131181 (2011)","DOI":"10.1109\/TSMCA.2011.2116003"},{"key":"23_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1007\/978-3-319-39696-5_34","volume-title":"Advanced Information Systems Engineering","author":"E Hachicha","year":"2016","unstructured":"Hachicha, E., Assy, N., Gaaloul, W., Mendling, J.: A configurable resource allocation for multi-tenant process development in the cloud. In: Nurcan, S., Soffer, P., Bajec, M., Eder, J. (eds.) CAiSE 2016. LNCS, vol. 9694, pp. 558\u2013574. Springer, Heidelberg (2016). doi:\n                      10.1007\/978-3-319-39696-5_34"},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-540-24730-2_19","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"JI Rasmussen","year":"2004","unstructured":"Rasmussen, J.I., Larsen, K.G., Subramani, K.: Resource-optimal scheduling using priced timed automata. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 220\u2013235. Springer, Heidelberg (2004). doi:\n                      10.1007\/978-3-540-24730-2_19"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Sharma, B., Thulasiram, R.K., Thulasiraman, P., Garg, S.K., Buyya, R.: Pricing cloud compute commodities: a novel financial economic model. In: Proceedings of the 2012 12th IEEE\/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2012), pp. 451\u2013457. IEEE Computer Society (2012)","DOI":"10.1109\/CCGrid.2012.126"},{"key":"23_CR9","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: 2015 IEEE World Congress on Services, SERVICES 2015, New York City, NY, USA, 27 June\u20132 July, pp. 47\u201354 (2015)","DOI":"10.1109\/SERVICES.2015.16"},{"issue":"1","key":"23_CR10","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. Annals OR 155(1), 119\u2013142 (2007)","journal-title":"Annals OR"},{"issue":"2","key":"23_CR11","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":"23_CR12","unstructured":"Cheikhrouhou, S., Kallel, S., Guermouche, N., Jmaiel, M.: A survey on time-aware business process modeling. In: ICEIS 2013 - Proceedings of the 15th International Conference on Enterprise Information Systems, Angers, France, 4\u20137 July, vol. 3, pp. 236\u2013242 (2013)"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Wang, H., Zhou, Q., Shi, Y.: Describing and verifying web service composition using TLA reasoning. In: 2010 IEEE International Conference on Services Computing, SCC 2010, Miami, Florida, USA, 5\u201310 July, pp. 234\u2013241. IEEE (2010)","DOI":"10.1109\/SCC.2010.28"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Hao, S., Zhang, L.: Dynamic web services composition based on linear temporal logic. In: 2010 International Conference of Information Science and Management Engineering (ISME), vol. 1, pp. 362\u2013365. IEEE (2010)","DOI":"10.1109\/ISME.2010.87"},{"key":"23_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/11561163_8","volume-title":"Formal Methods for Components and Objects","author":"G Behrmann","year":"2005","unstructured":"Behrmann, G., Larsen, K.G., Rasmussen, J.I.: Priced timed automata: algorithms and applications. In: Boer, F.S., Bonsangue, M.M., Graf, S., Roever, W.-P. (eds.) FMCO 2004. LNCS, vol. 3657, pp. 162\u2013182. Springer, Heidelberg (2005). doi:\n                      10.1007\/11561163_8"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2016 Conferences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48472-3_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T01:36:37Z","timestamp":1558316197000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48472-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319484716","9783319484723"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48472-3_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"18 October 2016","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":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 October 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"otm2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}