{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T06:32:50Z","timestamp":1742970770404,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"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_31","type":"book-chapter","created":{"date-parts":[[2018,10,17]],"date-time":"2018-10-17T11:41:17Z","timestamp":1539776477000},"page":"552-567","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Formal Modelling and Verification of Cloud Resource Allocation in Business Processes"],"prefix":"10.1007","author":[{"given":"Ikram","family":"Garfatta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kais","family":"Klai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Graiet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walid","family":"Gaaloul","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,10,18]]},"reference":[{"issue":"1","key":"31_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"WMP van der Aalst","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distrib. Parallel Databases 14(1), 5\u201351 (2003)","journal-title":"Distrib. Parallel Databases"},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"Amziani, M., Melliti, T., Tata, S.: Formal modeling and evaluation of service-based business process elasticity in the cloud. In: 2013 IEEE 22nd International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), pp. 284\u2013291. IEEE (2013)","DOI":"10.1109\/WETICE.2013.42"},{"key":"31_CR3","doi-asserted-by":"publisher","unstructured":"Assy, N., Yongsiriwit, K., Gaaloul, W., Yahia, I.G.B.: A framework for semantic telco process management - an industrial case study. In: 14th International Conference on Intelligent Systems Design and Applications, ISDA 2014, 28\u201330 November 2014, Okinawa, Japan, pp. 44\u201349 (2014). https:\/\/doi.org\/10.1109\/ISDA.2014.7066276","DOI":"10.1109\/ISDA.2014.7066276"},{"key":"31_CR4","doi-asserted-by":"crossref","unstructured":"Bersani, M.M., Bianculli, D., Dustdar, S., Gambi, A., Ghezzi, C., Krstic, S.: Towards the formalization of properties of cloud-based elastic systems. In: Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, pp. 38\u201347. ACM (2014)","DOI":"10.1145\/2593793.2593798"},{"key":"31_CR5","doi-asserted-by":"publisher","unstructured":"Boubaker, S., Mammar, A., Graiet, M., Gaaloul, W.: An event-B based approach for ensuring correct configurable business processes. In: IEEE International Conference on Web Services, ICWS 2016, 27 June \u2013 2 July 2 2016, San Francisco, CA, USA, pp. 460\u2013467 (2016). https:\/\/doi.org\/10.1109\/ICWS.2016.66","DOI":"10.1109\/ICWS.2016.66"},{"key":"31_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-319-19069-3_4","volume-title":"Advanced Information Systems Engineering","author":"C Cabanillas","year":"2015","unstructured":"Cabanillas, C., Knuplesch, D., Resinas, M., Reichert, M., Mendling, J., Ruiz-Cort\u00e9s, A.: RALph: a graphical notation for resource assignments in business processes. In: Zdravkovic, J., Kirikova, M., Johannesson, P. (eds.) CAiSE 2015. LNCS, vol. 9097, pp. 53\u201368. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19069-3_4"},{"key":"31_CR7","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-662-43745-2_6","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"C Cabanillas","year":"2014","unstructured":"Cabanillas, C., Norta, A., Resinas, M., Mendling, J., Ruiz-Cort\u00e9s, A.: Towards process-aware cross-organizational human resource management. In: Bider, I., et al. (eds.) BPMDS\/EMMSAD -2014. LNBIP, vol. 175, pp. 79\u201393. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-43745-2_6"},{"key":"31_CR8","doi-asserted-by":"crossref","unstructured":"Chiotti, O., Stroppi, L.J.R., Villarreal, P.: Extending the WS-humantask architecture to support the resource perspective of BPEL processes (2014)","DOI":"10.19153\/cleiej.16.1.3"},{"key":"31_CR9","unstructured":"Evangelista, S.: The Helena Petri net tool (2013). http:\/\/www.lipn.univ-paris13.fr\/~evangelista\/helena\/"},{"key":"31_CR10","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, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39696-5_34"},{"key":"31_CR11","doi-asserted-by":"crossref","unstructured":"Hachicha, E., Gaaloul, W.: Towards resource-aware business process development in the cloud. In: 29th IEEE International Conference on Advanced Information Networking and Applications, AINA 2015, 24\u201327 March 2015, Gwangju, South Korea, pp. 761\u2013768 (2015)","DOI":"10.1109\/AINA.2015.265"},{"key":"31_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/b95112","volume-title":"Coloured Petri Nets: Modelling and Validation of Concurrent Systems","author":"K Jensen","year":"2009","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems, 1st edn. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/b95112","edition":"1"},{"key":"31_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1007\/978-3-319-69462-7_29","volume-title":"On the Move to Meaningful Internet Systems. OTM 2017 Conferences","author":"AB Jrad","year":"2017","unstructured":"Jrad, A.B., Bhiri, S., Tata, S.: STRATModel: elasticity model description language for evaluating elasticity strategies for business processes. In: Panetto, H. (ed.) OTM 2017. LNCS, vol. 10573, pp. 448\u2013466. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-69462-7_29"},{"key":"31_CR14","doi-asserted-by":"crossref","unstructured":"Klai, K., Tata, S.: Formal modeling of elastic service-based business processes. In: 2013 IEEE International Conference on Services Computing (SCC), pp. 424\u2013431. IEEE (2013)","DOI":"10.1109\/SCC.2013.75"},{"key":"31_CR15","volume-title":"Definition of Standard ML","author":"R Milner","year":"1990","unstructured":"Milner, R., Tofte, M., Harper, R.: Definition of Standard ML. MIT Press, Cambridge (1990)"},{"issue":"4","key":"31_CR16","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"31_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/11431855_16","volume-title":"Advanced Information Systems Engineering","author":"N Russell","year":"2005","unstructured":"Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H.M., Edmond, D.: Workflow resource patterns: identification, representation and tool support. In: Pastor, O., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 216\u2013232. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11431855_16"},{"key":"31_CR18","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-642-25160-3_5","volume-title":"Business Process Model and Notation","author":"LJR Stroppi","year":"2011","unstructured":"Stroppi, L.J.R., Chiotti, O., Villarreal, P.D.: Extending BPMN 2.0: method and tool support. In: Dijkman, R., Hofstetter, J., Koehler, J. (eds.) BPMN 2011. LNBIP, vol. 95, pp. 59\u201373. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25160-3_5"},{"key":"31_CR19","unstructured":"Stroppi, L.J.R., Chiotti, O., Villarreal, P.D.: Extended resource perspective support for BPMN and BPEL. In: CIbSE, pp. 56\u201369 (2012)"},{"key":"31_CR20","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/3-540-45594-9_11","volume":"1806","author":"WM Van Der Aalst","year":"2000","unstructured":"Van Der Aalst, W.M.: Workflow verification: finding control-flow errors using Petri-net-based techniques. Bus. Process. Manag. 1806, 161\u2013183 (2000)","journal-title":"Bus. Process. Manag."},{"issue":"3","key":"31_CR21","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s00165-010-0161-4","volume":"23","author":"WM Van Der Aalst","year":"2011","unstructured":"Van Der Aalst, W.M., et al.: Soundness of workflow nets: classification, decidability, and analysis. Form. Asp. Comput. 23(3), 333\u2013363 (2011)","journal-title":"Form. Asp. Comput."},{"key":"31_CR22","unstructured":"Van Hee, K., Verkoulen, P.: Integration of a data model and high-level Petri nets. In: Proceedings of the 12th International Conference on Applications and Theory of Petri Nets, Gjern, pp. 410\u2013431 (1991)"},{"key":"31_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/978-3-319-25013-7_35","volume-title":"Open and Big Data Management and Innovation","author":"R Woitsch","year":"2015","unstructured":"Woitsch, R., Utz, W.: Business process as a service (BPaaS). In: Janssen, M., et al. (eds.) I3E 2015. LNCS, vol. 9373, pp. 435\u2013440. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25013-7_35"},{"key":"31_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-319-68136-8_3","volume-title":"Service-Oriented Computing \u2013 ICSOC 2016 Workshops","author":"L Yataghene","year":"2017","unstructured":"Yataghene, L., Ioualalen, M., Amziani, M., Tata, S.: Using formal model for evaluation of business processes elasticity in the cloud. In: Drira, K., et al. (eds.) ICSOC 2016. LNCS, vol. 10380, pp. 33\u201344. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68136-8_3"}],"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_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T08:45:49Z","timestamp":1710233149000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-02610-3_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030026097","9783030026103"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-02610-3_31","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)"}}]}}