{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T03:51:19Z","timestamp":1791085879079,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662455623","type":"print"},{"value":"9783662455630","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45563-0_4","type":"book-chapter","created":{"date-parts":[[2014,10,18]],"date-time":"2014-10-18T01:42:19Z","timestamp":1413596539000},"page":"57-74","source":"Crossref","is-referenced-by-count":4,"title":["Deployment of Service-Based Processes in the Cloud Using Petri Net Decomposition"],"prefix":"10.1007","author":[{"given":"Sami","family":"Yangui","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kais","family":"Klai","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Samir","family":"Tata","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Hoenisch, P., Schulte, S., Dustdar, S., Venugopal, S.: Self-Adaptive Resource Allocation for Elastic Process. In: Proceedings of IEEE Sixth International Conference on Cloud Computing, Santa Clara, CA, USA (2013)","DOI":"10.1109\/CLOUD.2013.126"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Foster, I., Zhao, Y., Raicu, I., Shiyong, L.: Cloud Computing and Grid Computing 360-Degree Compared. In: Proceedings of Grid Computing Environments Workshop, Austin, USA, pp. 1\u201310 (2008)","DOI":"10.1109\/GCE.2008.4738445"},{"key":"4_CR3","unstructured":"Mell, P., Grance, T.: The NIST Definition of Cloud Computing. Recommendations of the National Institute of Standards and Technology (NIST). Special Publication 800-145 (Draft). U.S Department of Commerce, USA (2013)"},{"key":"4_CR4","unstructured":"Service Component Architecture. Advancing open stadards for the information society (OASIS) Open CSA (2014), http:\/\/oasis-opencsa.org\/sca"},{"key":"4_CR5","unstructured":"OASIS Web Services Business Process Execution Language (BPEL). Advancing open stadards for the information society, OASIS (2014), https:\/\/www.oasis-open.org\/committees\/wsbpel\/"},{"key":"4_CR6","unstructured":"Business Process Model and Notation V2.0, Object Management Group (OMG), Technical Report (2011), http:\/\/taval.de\/publications\/BPMN20"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Rimal, B.P., Eunmi, C., Lumb, I.: A taxonomy and survey of cloud computing systems. In: Proceedings of the International Joint Conference on INC, IMS and IDC, Seoul, Korea, pp. 44\u201351 (2009)","DOI":"10.1109\/NCM.2009.218"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: Proceedings of the International Conference on World Wide Web, NY, USA, pp. 621\u2013630 (2004)","DOI":"10.1145\/988672.988756"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Yangui, S., Ben Nasrallah, M., Tata, S.: PaaS-independent approach to provision appropriate Cloud resources for SCA-based applications deployment. In: Proceedings of the International Conference on Semantics, Knowledge & Grids, Beijing, China (2013)","DOI":"10.1109\/SKG.2013.34"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Yangui, S., Tata, S.: Paas Elements for Hosting Service-based Applications. In: Proceedings of the International Conference on Cloud Computing and Services Science, Porto, Portugal, pp. 476\u2013479 (2012)","DOI":"10.5220\/0003932204760479"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Yangui, S., Mohamed, M., Tata, S., Moalla, S.: Scalable Service Containers. In: Proceedings of the IEEE International Conference on Cloud Computing Technology and Science, Athenes, Greece, pp. 348\u2013356 (2011)","DOI":"10.1109\/CloudCom.2011.54"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Sellami, M., Yangui, S., Mohamed, M., Tata, S.: PaaS-independent Provisioning and Management of Applications in the Cloud. In: Proceedings of IEEE International Conference on Cloud Computing, Santa Clara Marriott, USA, pp. 693\u2013700 (2013)","DOI":"10.1109\/CLOUD.2013.105"},{"key":"4_CR13","unstructured":"The Amazon Simple Workflow Service developer guide (2014), http:\/\/docs.aws.amazon.com\/amazonswf\/latest\/developerguide\/swf-welcome.html"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Anstett, T., Leymann, F., Mietzner, R., Strauch, S.: Towards BPEL in the Cloud: Exploiting Different Delivery Models for the Execution of Business Processes. In: Proceedings of World Conference on Services-I, Los Angeles, USA, pp. 670\u2013677 (2009)","DOI":"10.1109\/SERVICES-I.2009.32"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Dornemann, T., Juhnke, E., Freisleben, B.: On-Demand Resource Provisioning for BPEL Workflows Using Amazon\u2019s Elastic Compute Cloud. In: Proceedings of International Symposium on Cluster Computing and the Grid, Shanghai, China, pp. 140\u2013147 (2009)","DOI":"10.1109\/CCGRID.2009.30"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Wagner, S., Kopp, O., Leymann, F.: Towards choreography-based process distribution in the cloud. In: Proceedings of Cloud Computing and Intelligence Systems, Beijing, China, pp. 490\u2013494 (2011)","DOI":"10.1109\/CCIS.2011.6045116"},{"key":"4_CR17","unstructured":"Cloud Foundry official blog. Deploying a service container on CF using the standalone framework (2014), http:\/\/blog.cloudfoundry.com\/2012\/06\/18\/deploying-tomcat-7-using-the-standalone-framework\/"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Wei, H., Shao, J., Liu, B., Liu, H., Wang, Q., Mei, H.: A Self-management Approach for Service Developers of PaaS. In: Proceedings of the IEEE International Symposium on Service Oriented System Engineering, Irvine, Canada, pp. 85\u201392 (2011)","DOI":"10.1109\/SOSE.2011.6139096"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Yangui, S., Tata, S.: CloudServ: PaaS Resources Provisioning for Service-Based Applications. In: Proceedings of IEEE International Conference on Advanced Information Networking and Applications, Barcelona, Spain, pp. 522\u2013529 (2013)","DOI":"10.1109\/AINA.2013.98"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Mohamed, M., Yangui, S., Moalla, S., Tata, S.: Service micro-container for service-based applications in Cloud environments. In: Proceedings of the IEEE International Conference on Collaboration Technologies and Infrastructures, Paris, France, pp. 61\u201366 (2011)","DOI":"10.1109\/WETICE.2011.51"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Omezine, A., Yangui, S., Bellamine, N., Tata, S.: Mobile Service micro-container for Cloud environments. In: Proceedings of the IEEE International Conference on Collaboration Technologies and Infrastructures, Toulouse, France, pp. 154\u2013160 (2012)","DOI":"10.1109\/WETICE.2012.78"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Mohamed, M., Belaid, D., Tata, S.: Monitoring and Reconfiguration for OCCI Resources. In: IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2013 to be held in Bristol, UK (2013)","DOI":"10.1109\/CloudCom.2013.78"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Amziani, M., Klai, K., Melliti, T., Tata, S.: Time-based Evaluation of Service-based Business Process Elasticity in the Cloud. In: IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2013 to be held in Bristol, UK (2013)","DOI":"10.1109\/CloudCom.2013.82"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Mohamed, M., Belaid, D., Tata, S.: How to Provide Monitoring Facilities to Services When They Are Deployed in the Cloud? In: Proceedings of the International Conference on Cloud Computing and Services Science, Porto, Portugal, 258-263 (2012)","DOI":"10.5220\/0003940602580263"},{"key":"4_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/11538394_15","volume-title":"Business Process Management","author":"S. Hinz","year":"2005","unstructured":"Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri Nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 220\u2013235. Springer, Heidelberg (2005)"},{"key":"4_CR26","unstructured":"Stahl, C.: A Petri Net Semantics for BPEL. Informatik-Berichte 188, Humboldt-Universitat zu Berlin (2005)"},{"key":"4_CR27","unstructured":"A WSDL Generic Soap Client (2014), https:\/\/github.com\/impactcentre\/interoperability-framework\/tree\/master\/interfaces\/web\/generic-soap-client"},{"issue":"1","key":"4_CR28","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1504\/IJBPIM.2009.026986","volume":"4","author":"N. Lohmann","year":"2009","unstructured":"Lohmann, N., Verbeek, E., Ouyang, C., Stahl, C.: Comparing and evaluating Petri net semantics for BPEL. International Journal of Business Process Integration and Management\u00a04(1), 60\u201373 (2009)","journal-title":"International Journal of Business Process Integration and Management"},{"key":"4_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/3-540-44988-4_27","volume-title":"Application and Theory of Petri Nets 2000","author":"K. Schmidt","year":"2000","unstructured":"Schmidt, K.: LoLA A Low Level Analyser. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, pp. 465\u2013474. Springer, Heidelberg (2000)"},{"key":"4_CR30","unstructured":"LoLA tool Website (2014), http:\/\/www2.informatik.hu-berlin.de\/top\/lola\/lola.html"},{"key":"4_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/3-540-44919-1_31","volume-title":"Applications and Theory of Petri Nets 2003","author":"J. Billington","year":"2003","unstructured":"Billington, J., et al.: The Petri Net Markup Language: Concepts, Technology, and Tools. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 483\u2013505. Springer, Heidelberg (2003)"},{"key":"4_CR32","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"R. Dijkman","year":"2008","unstructured":"Dijkman, R., Dumas, M., Ouyang, C.: Semantics and Analysis of Business Process Models in BPMN. Information and Software Technology\u00a050, 1281\u20131294 (2008)","journal-title":"Information and Software Technology"},{"key":"4_CR33","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"M. Wil","year":"1998","unstructured":"Wil, M., van der Aalst, P.: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems, and Computers\u00a08, 21\u201366 (1998)","journal-title":"Journal of Circuits, Systems, and Computers"},{"issue":"1","key":"4_CR34","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/s10723-013-9285-0","volume":"12","author":"S. Yangui","year":"2014","unstructured":"Yangui, S., Marshall, I.J., Laisne, J.P., Tata, S.: CompatibleOne: The Open Source Cloud Broker. Journal of Grid Computing\u00a012(1), 93\u2013109 (2014)","journal-title":"Journal of Grid Computing"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2014 Conferences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45563-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T06:08:00Z","timestamp":1746425280000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45563-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662455623","9783662455630"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45563-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}