{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:52:17Z","timestamp":1750308737774,"version":"3.41.0"},"reference-count":25,"publisher":"Association for Computing Machinery (ACM)","issue":"6","license":[{"start":{"date-parts":[[2013,11,11]],"date-time":"2013-11-11T00:00:00Z","timestamp":1384128000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2013,11,11]]},"abstract":"<jats:p>\n            Web services describe a standardized way of integrating Web-based applications. In recent days, with the advancement of cloud computing, web services play pivoting roles towards meeting complex business objectives on a large scale. However, engineering dynamic web services is a complex task as they can be added, modified and deleted on the fly and even without any prior notification. Executing a large scale business process using dynamic web services is very challenging. This paper proposes an execution machine, called\n            <jats:italic>Web Service Dynamic Execution Machine<\/jats:italic>\n            (\n            <jats:italic>WSDE<\/jats:italic>\n            machine), which works in the execution layer of the three layered architecture for web service dynamics [23]. The proposed machine is capable of executing business processes having both deterministic and non-deterministic flows, where the related web services are represented using a graph-based semantic based formal model. The generic nature of the\n            <jats:italic>WSDE<\/jats:italic>\n            machine is useful in improving performance, scalability and maintainability of large scale web service based information systems. In this paper, the proposed WSDE machine is also illustrated with a suitable case study.\n          <\/jats:p>","DOI":"10.1145\/2532780.2532801","type":"journal-article","created":{"date-parts":[[2013,11,27]],"date-time":"2013-11-27T14:13:59Z","timestamp":1385561639000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Web service execution model for cloud environment"],"prefix":"10.1145","volume":"38","author":[{"given":"Faisal","family":"Ahmad","sequence":"first","affiliation":[{"name":"Tata Consultancy Services (TCS), Kolkata, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suvamoy","family":"Changder","sequence":"additional","affiliation":[{"name":"National Institute of Technology, Durgapur, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anirban","family":"Sarkar","sequence":"additional","affiliation":[{"name":"National Institute of Technology, Durgapur, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,11,11]]},"reference":[{"unstructured":"http:\/\/www.oracle.com\/technetwork\/articles\/javase\/soa-142870.html.  http:\/\/www.oracle.com\/technetwork\/articles\/javase\/soa-142870.html.","key":"e_1_2_1_1_1"},{"unstructured":"http:\/\/en.wikipedia.org\/wiki\/Web_service.  http:\/\/en.wikipedia.org\/wiki\/Web_service.","key":"e_1_2_1_2_1"},{"unstructured":"Wikipedia .Business Process Modeling http:\/\/en.wikipedia.org\/wiki\/Business_Process_Modeling_Languae  Wikipedia .Business Process Modeling http:\/\/en.wikipedia.org\/wiki\/Business_Process_Modeling_Languae","key":"e_1_2_1_3_1"},{"key":"e_1_2_1_4_1","first-page":"20","volume":"07","author":"Web Services Business Process Olegas","year":"2009","journal-title":"Accessed"},{"unstructured":"Wikipedia. Business Process Modeling Notation .2005 .http:\/\/en.wikipedia.org\/wiki\/Business_Process_Modeling_Notatin {Accessed 06 03 2009}.  Wikipedia. Business Process Modeling Notation .2005 .http:\/\/en.wikipedia.org\/wiki\/Business_Process_Modeling_Notatin {Accessed 06 03 2009}.","key":"e_1_2_1_5_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_6_1","DOI":"10.1023\/A:1008656726700"},{"doi-asserted-by":"crossref","unstructured":"W.M.P.\n       \n      van der Aalst\n    .\n      \n  \n   \n  Title - Verification of Workflow Nets. Application and Theory of Petri Nets Volume \n  1248\n   of \n  Lecture Notes in Computer Science pp. \n  407\n  --\n  426 1997\n  .   W.M.P. van der Aalst. Title - Verification of Workflow Nets. Application and Theory of Petri Nets Volume 1248 of Lecture Notes in Computer Science pp. 407--426 1997.","key":"e_1_2_1_7_1","DOI":"10.1007\/3-540-63139-9_48"},{"volume-title":"18th International Conference on Database theory","year":"1997","author":"Wodtke D.","key":"e_1_2_1_8_1"},{"key":"e_1_2_1_9_1","first-page":"179","volume-title":"International Working Conference on Information and Process Integration in Enterprises (IPIC'96)","author":"P.","year":"1996"},{"doi-asserted-by":"publisher","key":"e_1_2_1_10_1","DOI":"10.1007\/978-3-540-72588-6_38"},{"issue":"3","key":"e_1_2_1_11_1","first-page":"219","volume":"2","author":"Lynch N. A.","year":"1989","journal-title":"Title -An Introduction to Input\/output Automata. CWI Quarterly"},{"volume-title":"University of South Florida","year":"2003","author":"Khemuka Atul Ravi","key":"e_1_2_1_12_1"},{"volume-title":"Springer","year":"2005","author":"Baskerville R.","key":"e_1_2_1_13_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_14_1","DOI":"10.1109\/ICWS.2007.132"},{"doi-asserted-by":"publisher","key":"e_1_2_1_15_1","DOI":"10.1109\/ICWS.2008.68"},{"doi-asserted-by":"publisher","key":"e_1_2_1_16_1","DOI":"10.1109\/ICWS.2009.95"},{"doi-asserted-by":"publisher","key":"e_1_2_1_17_1","DOI":"10.1145\/511446.511457"},{"doi-asserted-by":"publisher","key":"e_1_2_1_18_1","DOI":"10.1007\/11841760_7"},{"doi-asserted-by":"publisher","key":"e_1_2_1_19_1","DOI":"10.1109\/ICWS.2005.65"},{"key":"e_1_2_1_20_1","first-page":"43","volume-title":"International Conference on Service Oriented Computing","author":"Berardi D.","year":"2003"},{"doi-asserted-by":"publisher","key":"e_1_2_1_21_1","DOI":"10.1007\/11596141_15"},{"doi-asserted-by":"publisher","key":"e_1_2_1_22_1","DOI":"10.1007\/11678564_10"},{"volume-title":"22nd International Conference on Software Engineering and Data Engineering","year":"2013","author":"Ahmad Faisal","key":"e_1_2_1_23_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_24_1","DOI":"10.1109\/ICWS.2011.40"},{"unstructured":"http:\/\/en.wikipedia.org\/wiki\/Turing_machine.  http:\/\/en.wikipedia.org\/wiki\/Turing_machine.","key":"e_1_2_1_25_1"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2532780.2532801","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2532780.2532801","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:22:06Z","timestamp":1750278126000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2532780.2532801"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,11]]},"references-count":25,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2013,11,11]]}},"alternative-id":["10.1145\/2532780.2532801"],"URL":"https:\/\/doi.org\/10.1145\/2532780.2532801","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2013,11,11]]},"assertion":[{"value":"2013-11-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}