A survey of transactional issues for Web Service composition and recovery

International Journal of Web and Grid Services

Volumn 7, Issue 4, 2011, Pages 331-356

  Gao, Le ^a   Urban, Susan D ^a   Ramachandran, Janani ^a  

^a Texas Tech University   (United States)

Author keywords

Data consistency; Data dependency; Failure recovery; Service composition; Service recovery; Transactional workflow

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; LOCKS (FASTENERS); QUALITY OF SERVICE; RECOVERY; SURVEYS; WEBSITES;

DATA CONSISTENCY; DATA DEPENDENCIES; FAILURE RECOVERY; SERVICE COMPOSITIONS; SERVICE RECOVERIES; TRANSACTIONAL WORKFLOWS;

WEB SERVICES;

EID: 84857161332     PISSN: 17411106     EISSN: 17411114     Source Type: Journal    
DOI: 10.1504/IJWGS.2011.044709     Document Type: Article

References (81)

1. Baresi, L. and Guinea, S. (2005) 'Towards dynamic monitoring of ws-bpel processes', Service-Oriented Computing-ICSOC 2005, pp.269-282. (Pubitemid 43856191)
2. Baresi, L., Ghezzi, C. and Guinea, S. (2004) 'Towards self-healing service compositions', Proceedings of First Conference on the Principles of Software Engineering, Vol. 42, pp.27-46.
3. Baresi, L., Guinea, S. and Pasquale, L. (2007) 'Self-healing bpel processes with dynamo and the jboss rule engine', International Workshop on Engineering of Software Services for Pervasive Environments, the 6th ESEC/FSE Joint Meeting, pp.11-20. (Pubitemid 351438409)
4. Bennett, B., Hahm, B., Leff, A., Mikalsen, T., Rasmus, K., Rayfield, J. and Rouvellou, I. (2000) 'A distributed object oriented framework to offer transactional support for long running business processes', Middleware, pp.331-348.
5. Blake, L. (2005) Design and Implementation of Delta-enabled Grid Services, Master's Thesis, Department of Computer Science and Engineering, Arizona State University, Tempe, AZ, USA.
6. Cabrera, F., Copeland, G., Freund, T., Klein, J., Langworthy, D., Orchard, D., Shewchuk, J. and Storey, T. (2002a) Web Services Coordination (WS-Coordination), BEA, IBM, and Microsoft Web Service Specifications.
7. Cabrera, F., Copeland, G., Cox, B., Freund, T., Klein, J., Storey, T. and Thatte, S. (2002b) Web Services Transaction (WS-Transaction), BEA, IBM, and Microsoft Web Service Specifications.
8. Cabrera, L., Copeland, G., Feingold, M., Freund, R., Freund, T., Joyce, S., Klein, J., Langworthy, D., Little, M., Leymann, F., Newcomer, E., Orchard, D., Robinson, I., Storey, T. and Thatte, S. (2005) Web Services Business Activity Framework (WS-Businessactivity), BEA, IBM, and Microsoft Web Service Specifications.
9. Chafle, G., Chandra, S., Kankar, P. and Mann, V. (2005) 'Handling faults in decentralized orchestration of composite Web Services', Service-Oriented Computing-ICSOC 2005, pp.410-423. (Pubitemid 43856201)
10. Chan, K., Bishop, J., Steyn, J., Baresi, L. and Guinea, S. (2009) 'A fault taxonomy for Web Service composition', Service-Oriented Computing-ICSOC 2007 Workshops, pp.363-375.
11. Charfi, A. and Mezini, M. (2006) 'Aspect-oriented workflow languages', On the Move to Meaningful Internet Systems, CoopIS, DOA, GADA, and ODBASE, pp.183-200. (Pubitemid 44891956)
12. Charfi, A. and Mezini, M. (2007) 'Ao4bpel: An aspect-oriented extension to bpel', World Wide Web, Vol. 10, No. 3, pp.309-344. (Pubitemid 47235913)
13. Christos, K., Costas, V. and Panayiotis, G. (2007) 'Enhancing bpel scenarios with dynamic relevance-based exception handling', Web Services, 2007. ICWS 2007. IEEE International Conference on, pp.751-758, IEEE.
14. Cichocki, A. (1998) Workflow and Process Automation: Concepts and Technology, Kluwer Academic Pub., Norwell, MA, USA.
15. Di Martino, B. (2009) 'Semantic Web Services discovery based on structural ontology matching', International Journal of Web and Grid Services, Vol. 5, No. 1, pp.46-65.
16. Dialani, V., Miles, S., Moreau, L., De Roure, D. and Luck, M. (2002) 'Transparent fault tolerance for Web Services based architectures', Euro-Par 2002 Parallel Processing, pp.107-201.
17. Eder, J. and Liebhart, W. (1995) 'The workflow activity model WAMO', Proceedings of 3rd International Conference on Cooperative Information Systems, Vienna, pp.87-98.
18. Elmagarmid, A. (1992) Database Transaction Models for Advanced Applications, Morgan Kaufmann, San Mateo, CA, USA.
19. Elmagarmid, A., Leu, Y., Litwin, W. and Rusinkiewicz, M. (1990) 'A multidatabase transaction model for interbase', Proceedings of the 16th International Conference on Very Large Data Bases, pp.507-518.
20. Elmasri, R. and Navathe, S. (2011) Fundamentals of Database Systems, 6th ed., Addison Wesley, Boston, MA, USA.
21. Fischer, J., Majumdar, R. and Sorrentino, F. (2008) 'The consistency of web conversations', Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, pp.415-418.
22. Foster, H., Uchitel, S., Magee, J. and Kramer, J. (2006) 'Ltsa-ws: a tool for model-based verification of Web Service compositions and choreography', Proceedings of the 28th international conference on Software engineering, pp.771-774. (Pubitemid 46600984)
23. Fu, X., Bultan, T. and Su, J. (2004) 'Wsat: a tool for formal analysis of Web Services', Computer Aided Verification, pp.394-395.
24. Garcia-Molina, H. and Salem, K. (1987) 'Sagas', ACM SIGMOD Record, Vol. 16, No. 3, pp.249-259.
25. Greenfield, P., Fekete, A., Jang, J. and Kuo, D. (2003) 'Compensation is not enough fault-handling and compensation mechanism', Enterprise Distributed Object Computing Conference, Proceedings, Seventh IEEE International, pp.232-239.
26. Hamadi, R. and Benatallah, B. (2003) 'A petri net-based model for Web Service composition', Proceedings of the 14th Australasian Database Conference, Vol. 17, pp.191-200.
27. Jang, J., Fekete, A. and Greenfield, P. (2007) 'Delivering promises for Web Services applications', IEEE International Conference on Web Services, Salt Lake City, Utah, USA, pp.599-606.
28. Jordan, D., Evdemon, J., Alves, A., Arkin, A., Askary, S., Barreto, C., Bloch, B., Curbera, F., Ford, M., Goland, Y., Guizar, A., Kartha, N., Liu, C., Khalaf, R., Konig, D., Marin, M., Mehta, V., Thatte, S., Rijn, D., Yendluri, P. and Yiu, A. (2007) Web Services Business Process Execution Language Version 2.0, OASIS Standard.
29. Karnath, M. and Ramamritham, K. (1998) 'Failure handling and coordinated execution of concurrent workflows', Proceedings of 14th International Conference on Data Engineering, pp.334-341.
30. Khalaf, R., Roller, D., and Leymann, F. (2009) 'Revisiting the behavior of fault and compensation handlers in WS-BPEL', On the Move to Meaningful Internet Systems: OTM 2009, pp.286-303.
31. Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J. and Griswold, W. (2001) 'An overview of AspectJ', Object-Oriented Programming, ECOOP 2001, pp.327-354.
32. Kovács, M., Varró, D. and Gönczy, L. (2007) 'Formal modeling of bpel workflows including fault and compensation handling', Proceedings of the Workshop on Engineering Fault Tolerant Systems, pp.1-es.
33. Kuo, D., Fekete, A., Greenfield, P. and Jang, J. (2002) 'Towards a framework for capturing transactional requirements of real workflows', Second International Workshop on Cooperative Internet Computing, pp.113-122.
34. Lakhal, N., Kobayashi, T. and Yokota, H. (2006) 'Dependability and flexibility centered approach for composite web services modeling', On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, pp.163-182. (Pubitemid 44891955)
35. Limthanmaphon, B. and Zhang, Y. (2004) 'Web Service composition transaction management', Proceedings of the 15th Australasian Database Conference, Australian Computer Society, Inc., Vol. 27, pp.171-179.
36. Liu, Z. (2009) Decentralized Data Dependency Analysis for Concurrent Process Execution, Master's Thesis, Texas Tech University, USA.
37. Luo, Z. (2000) 'Checkpointing for workflow recovery', Proceedings of the 38th Annual on Southeast Regional Conference, pp.79-80.
38. Marzouk, S., Maalej, A., Rodriguez, I. and Jmaiel, M. (2009) 'Periodic checkpointing for strong mobility of orchestrated Web Services', 2009 Congress on Services-I, IEEE, pp.203-210.
39. Mikalsen, T., Tai, S. and Rouvellou, I. (2002) 'Transactional attitudes: reliable composition of autonomous Web Services', Workshop on Dependable Middleware-based Systems, the International Conference on Dependable Systems and Networks (DSN 2002), June 2002, Washington DC.
40. Modafferi, S. and Conforti, E. (2006) 'Methods for enabling recovery actions in ws-bpel', On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, pp.219-236. (Pubitemid 44891958)
41. Modafferi, S., Mussi, E. and Pernici, B. (2006) 'Sh-bpel: a self-healing plug-in for ws-bpel engines', Proceedings of the 1st Workshop on Middleware for Service Oriented Computing (MW4SOC 2006), pp.48-53. (Pubitemid 47112303)
42. Moss, J. (1985) Nested Transactions: An Approach to Reliable Distributed Computing, MIT Press, Cambridge, MA, USA.
43. Moss, J. (1987) 'Log-based recovery for nested transactions', Proceeding of 13th International Conference on Very Large Data Bases, pp.427-432.
44. Ouyang, C., Verbeek, E., van der Aalst, W., Breutel, S., Dumas, M. and ter Hofstede, A. (2005) 'Wofbpel: A tool for automated analysis of bpel processes', Service-Oriented Computing-ICSOC, pp.484-489. (Pubitemid 43856207)
45. Papazoglou, M. and Georgakopoulos, D. (2003) 'Service-oriented computing', Communications of the ACM, Vol. 46, No. 10, pp.25-28.
46. Peltz, C. (2003) 'Web Services orchestration and choreography', Computer, pp.46-52.
47. Ramachandran, J. (2011) Integrating Exception Handling and Data Dependency Analysis through Application Exception Rules, Master's Thesis, Texas Tech University, USA.
48. Riegen, M., Husemann, M., Fink, S. and Ritter, N. (2010) 'Rule-based coordination of distributed Web Service transactions', IEEE Transactions on Services Computing (January-March 2010), Vol. 3, No. 1, 60-71.
49. Rolf, A., Klas, W. and Veijalainen, J. (1997) Transaction Management Support for Cooperative Applications, Kluwer Academic Pub., Norwell, MA, USA.
50. Sangiorgi, D. and Walker, D. (2003) The pi-calculus: A Theory of Mobile Processes, Cambridge University Press, Cambridge, England.
51. Shrestha, R. (2010) Using Assurance Points and Integration Rules for Recovery in Service Composition, Master's Thesis, Texas Tech University, USA.
52. Singh, M. and Huhns, M. (2005) Service-oriented Computing: Semantics, Processes, Agents, John Wiley & Sons Inc., Hoboken, New Jersey, USA.
53. Sycara, K., Paolucci, M., Ankolekar, A. and Srinivasan, N. (2003) 'Automated discovery, interaction and composition of semantic Web Services', Journal of Web Semantics, Vol. 1, No. 1, pp.27-46. (Pubitemid 44914725)
54. Tan, W., Fong, L. and Bobroff, N. (2010) 'Bpel4job: a fault-handling design for job flow management', Service-Oriented Computing-ICSOC 2007, pp.27-42.
55. Taniar, D. and Goel, S. (2007) 'Concurrency control issues in grid databases', Future Generation Computer Systems, Vol. 23, No. 1, pp.154-162. (Pubitemid 44353840)
56. Taniar, D., Leung, C., Rahayu, W. and Goel, S. (2008) High Performance Parallel Database Processing and Grid Databases, Vol. 67, John Wiley & Sons Inc., Hoboken, New Jersey, USA.
57. Trainotti, M., Pistore, M., Calabrese, G., Zacco, G., Lucchese, G., Barbon, F., Bertoli, P. and Traverso, P. (2005) 'Astro: Supporting composition and execution of Web Services', Service-Oriented Computing-ICSOC 2005, pp.495-501. (Pubitemid 43856209)
58. Ukey, N., Niyogi, R., Milani, A. and Singh, K. (2010) 'A bidirectional heuristic search technique for Web Service composition', Computational Science and Its Applications-ICCSA, LNCS 6019, pp.309-320.
59. Urban, S., Liu, Z. and Gao, L. (2009a) 'Decentralized data dependency analysis for concurrent process execution', Enterprise Distributed Object Computing Conference Workshops, 2009. EDOCW, Vol. 13, pp.74-83.
60. Urban, S., Xiao, Y., Blake, L. and Dietrich, S. (2009b) 'Monitoring data dependencies in concurrent process execution through delta-enabled grid services', International Journal of Web and Grid Services, Vol. 5, No. 1, pp.85-106.
61. Urban, S., Gao, L., Shrestha, R. and Courter, A. (2010) 'Achieving recovery in service composition with assurance points and integration rules', On the Move to Meaningful Internet Systems: OTM, pp.428-437.
62. Urban, S., Liu, Z. and Gao, L. (2011a) 'Decentralized communication for data dependency analysis among process execution agents and integration rules', The International Journal of Web Services Research, Vol. 8, No. 4, pp.1-28.
63. Urban, S., Gao, L., Shrestha, R. and Courter, A. (2011b) 'The dynamics of process modeling: new directions for the use of events and rules in service-oriented computing', The Evolution of Conceptual Modeling, LNCS 6520, Springer, Berlin, Heidelberg, pp.205-224.
64. Urban, S., Courter, A., Gao, L. and Shuman, M. (2011c) 'Supporting data consistency in concurrent process execution with assurance points and invariants', Rule-Based Modeling and Computing on the Semantic Web, RuleML 2011, America, LNCS 7018.
65. Urban, S., Gao, L., Shrestha, R., Xiao, Y., Friedman, Z. and Rodriguez, J. (2011d) The Assurance Point Model for Consistency and Recovery in Service Composition, Innovations, Standards and Practices of Web Services: Emerging Research Topics, IGI Global publication, pp.250-287.
66. Vaculín, R., Wiesner, K. and Sycara, K. (2008) 'Exception handling and recovery of semantic Web Services', Fourth International Conference on Networking and Services, ICNS 2008, pp.217-222.
67. Van Breugel, F. and Koshkina, M. (2006) Models and Verification of bpel, Unpublished Draft.
68. Wächter, H. and Reuter, A. (1992) 'The contract model', Database Transaction Models for Advanced Applications, Vol. 7, No. 4, pp.219-263.
69. Weikum, G. (1991) 'Principles and realization strategies of multilevel transaction management', ACM Transactions on Database Systems (TODS), Vol. 16, No. 1, pp.132-180.
70. Wiesner, K., Vaculín, R., Kollingbaum, M. and Sycara, K. (2008) 'Recovery mechanisms for semantic Web Services', Distributed Applications and Interoperable Systems, Springer, Berlin, Heidelberg, pp.100-105.
71. Wodtke, D., Weißenfels, J., Weikum, G. and Dittrich, A. (1996) 'The mentor project: steps towards enterprise-wide workflow management', Proceedings of the Twelfth International Conference on Data Engineering, pp.556-565.
72. Worah, D. and Sheth, A. (1997) 'Transactions in transactional workflows', Transactions in Transactional Workflows, pp.3-34.
73. Xiao, Y. (2006) Using Deltas to Analyze Data Dependencies and Semantic Correctness in the Recovery of Concurrent Process Execution, PhD Dissertation, Arizona State University, USA.
74. Xiao, Y. and Urban, S. (2008a) 'Process dependencies and process interference rules for analyzing the impact of failure in a service composition environment', Journal of Information Science and Technology, Vol. 5, No. 2, pp.21-45.
75. Xiao, Y. and Urban, S. (2008b) 'Using data dependencies to support the recovery of concurrent processes in a service composition environment', Proceedings of the Cooperative Information Systems Conference (COOPIS), Monterrey, Mexico, pp.139-156.
76. Xiao, Y. and Urban, S. (2009) 'The deltagrid service composition and recovery model', International Journal of Web Services Research, Vol. 6, No. 3, pp.35-66.
77. Xiao, Y. and Urban, S. (2012) 'Using rules and data dependencies for the recovery of concurrent process in a service-oriented environment', To appear IEEE Transactions on Service Computing.
78. Xiao, Y., Urban, S. and Dietrich, S. (2006) 'A process history capture system for analysis of data dependencies in concurrent process execution', Data Engineering Issues in E-Commerce and Services, pp.152-166. (Pubitemid 44113072)
79. Yahyaoui, H., Maamar, Z. and Boukadi, K. (2010) 'A framework to coordinate Web Services in composition scenarios', International Journal of Web and Grid Services, Vol. 6, No. 2, pp.95-123.
80. Zhang, X., Zagorodnov, D., Hiltunen, M., Marzullo, K. and Schlichting, R. (2004) 'Fault-tolerant grid services using primary-backup: feasibility and performance', IEEE International Conference on Cluster Computing, pp.105-114. (Pubitemid 40822361)
81. Zhao, W., Moser, L. and Melliar-Smith, P. (2005) 'A reservation-based coordination protocol for Web Services', IEEE International Conference on Web Services, Orlando, Florida, USA, pp.49-56.