{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:20:06Z","timestamp":1750306806560,"version":"3.41.0"},"reference-count":16,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2014,2,11]],"date-time":"2014-02-11T00:00:00Z","timestamp":1392076800000},"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":[[2014,2,11]]},"abstract":"<jats:p>Reliability is one of the main challenges while composing web services. Due to the inherent heterogeneity of web services, it is important to predict the behaviour of the overall composite service. Existing works that deal with reliable web service composition consider only three basic transactional properties such as pivot, retriable, and compensatable. When a service fails, its results can be ignored if it is pivot; it can be retried until it succeeds if it is retriable; or the previously completed services must be rolled back if they are compensatable, in order to achieve reliable execution. In general, business applications involve long running services. Service execution must be interrupted to adapt to dynamically changing user preferences since execution of the service to completion with the older requirements is no longer meaningful. Hence, service composition requires additional transactional support beyond the three transactional properties. To address this need, we introduce cancelable services and investigate the transactional properties of composite services that involve cancelable component services. The valid compositions, which result in a reliable execution are identified and formally verified.<\/jats:p>","DOI":"10.1145\/2557833.2557851","type":"journal-article","created":{"date-parts":[[2014,2,18]],"date-time":"2014-02-18T14:08:32Z","timestamp":1392732512000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Deriving reliable compositions using cancelable web services"],"prefix":"10.1145","volume":"39","author":[{"given":"Kanchana","family":"Rajaram","sequence":"first","affiliation":[{"name":"SSN College of Engineering, Anna University, Chennai, TamilNadu, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chitra","family":"Babu","sequence":"additional","affiliation":[{"name":"SSN College of Engineering, Anna University, Chennai, TamilNadu, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,2,11]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Processes, Agents","author":"Singh M.P.","year":"2005","unstructured":"M.P. Singh and M.N. Huhns . Service Oriented Computing: Semantics , Processes, Agents . John Wiley and Sons Ltd ., 2005 . M.P. Singh and M.N. Huhns. Service Oriented Computing: Semantics, Processes, Agents. John Wiley and Sons Ltd., 2005."},{"key":"e_1_2_1_2_1","volume-title":"Pearson Education","author":"Erl T.","year":"2005","unstructured":"T. Erl . Service Oriented Architecture: Concepts, Technology, and Design . Pearson Education , 2005 . T. Erl. Service Oriented Architecture: Concepts, Technology, and Design. Pearson Education, 2005."},{"key":"e_1_2_1_3_1","unstructured":"D. Jordan and J. Evdemon. Web Services Business Process Execution Language Version 2.0 OASIS Standard. http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/serviceref\/ 2009.  D. Jordan and J. Evdemon. Web Services Business Process Execution Language Version 2.0 OASIS Standard. http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/serviceref\/ 2009."},{"key":"e_1_2_1_4_1","volume-title":"Transaction Processing: Concepts and Techniques","author":"Gray J.","year":"1993","unstructured":"J. Gray and A. Reuter . Transaction Processing: Concepts and Techniques . Morgan Kaufmann Publishers , San Mateo , 1993 . J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers, San Mateo, 1993."},{"key":"e_1_2_1_5_1","first-page":"349","volume-title":"Database Transaction Models for Advanced Applications","author":"Elmagarmid A.K.","year":"1992","unstructured":"A.K. Elmagarmid (Ed.). Database Transaction Models for Advanced Applications , pages 349 -- 397 , 1992 . A.K. Elmagarmid (Ed.). Database Transaction Models for Advanced Applications, pages 349--397, 1992."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/38713.38742"},{"issue":"2","key":"e_1_2_1_7_1","first-page":"37","volume":"16","author":"Sheth A.P.","year":"1993","unstructured":"A.P. Sheth and M. Rusinkiewicz . On Transactional Workows. IEEE Data Engineering Bulletin , 16 ( 2 ): 37 -- 40 , 1993 . A.P. Sheth and M. Rusinkiewicz. On Transactional Workows. IEEE Data Engineering Bulletin, 16(2):37--40, 1993.","journal-title":"On Transactional Workows. IEEE Data Engineering Bulletin"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1060745.1060769"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2006.32"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.4018\/jwsr.2008010102"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2009.28"},{"issue":"2","key":"e_1_2_1_12_1","first-page":"1","volume":"2","author":"Neila B. L.","year":"2001","unstructured":"B. L. Neila , K. Takashi , and Y. Haruo . WS-SAGAS: Transaction Model for Reliable Web-Services Composition Specification and Execution. DBSJ Letters , 2 ( 2 ): 1 -- 4 , 2001 . B. L. Neila, K. Takashi, and Y. Haruo. WS-SAGAS: Transaction Model for Reliable Web-Services Composition Specification and Execution. DBSJ Letters, 2(2):1--4, 2001.","journal-title":"DBSJ Letters"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2010.5"},{"key":"e_1_2_1_14_1","first-page":"631","volume-title":"Deriving Transactional Properties of Composite Web Services. IEEE International Conference on Web Services (ICWS)","author":"Li L.","year":"2007","unstructured":"L. Li , C. Liu , and J. Wang . Deriving Transactional Properties of Composite Web Services. IEEE International Conference on Web Services (ICWS) , pages 631 -- 638 , 2007 . L. Li, C. Liu, and J. Wang. Deriving Transactional Properties of Composite Web Services. IEEE International Conference on Web Services (ICWS), pages 631--638, 2007."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.1992.235055"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/191843.191850"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2557833.2557851","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2557833.2557851","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:34:58Z","timestamp":1750232098000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2557833.2557851"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2,11]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,2,11]]}},"alternative-id":["10.1145\/2557833.2557851"],"URL":"https:\/\/doi.org\/10.1145\/2557833.2557851","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2014,2,11]]},"assertion":[{"value":"2014-02-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}