The assurance point model for consistency and recovery in service composition

Innovations, Standards and Practices of Web Services: Emerging Research Topics

Volumn , Issue , 2011, Pages 250-287

  Urban, Susan D ^a   Gao, Le ^a   Shrestha, Rajiv ^c,d   Xiao, Yang ^b   Friedman, Zev ^c   Rodriguez, Jonathan ^c  

^a Texas Tech University   (United States)

^b ARIZONA STATE UNIVERSITY   (United States)

^c TEXAS TECH UNIVERSITY   (United States)

^d BAKER HUGHES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84867430545     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.4018/978-1-61350-104-7.ch012     Document Type: Chapter

References (66)

1. Alonso, G., Hagen, C., Schek, H.-J., & Tresh, M. (1997). Towards a platform for distributed application development. In Dogac, A., Kalinichenko, L., Ozsu, M., & Sheth, A. (Eds.), Workflow management systems and interoperability. Springer Verlag.
2. Baresi, L., Guinea, S., & Pasquale, L. (2007). Self-healing BPEL processes with dynamo and the JBoss rule engine. ACM Int. Workshop on Eng. of Software Services for Pervasive Environments, (pp. 11-20). New York, NY: ACM.
3. Bennett, B., Hahm, B., Leff, A., Mikalsen, T., Rasmus, K., Rayfield, J., & Rouvellou, I. (2000). A distributed object-oriented framework to offer transactional support for long running business processes. Proc. of Int. Conf. on Distributed Systems Platforms Middleware.
4. th Int. Conf. on the World Wide Web.
5. Blake, L. (2005). Design and implementation of delta-enabled grid services. MS Thesis, Department of Computer Science and Engineering, Arizona State University.
6. Brambilla, M., Ceri, S., Comai, S., & Tziviskou, C. (2005). Exception handling in workflow-driven web applications. Proc. of the14th Int. Conf. on World Wide Web, (pp. 170-179). New York: ACM.
7. Charfi, A., & Mezini, M. (2006). Aspect-oriented workflow languages. Lecture Notes in Computer Science, 4275, 183. doi:10.1007/11914853_12
8. Charfi, A., & Mezini, M. (2007). AO4BPEL: An aspect-oriented extension to BPEL. WWW Journal: Recent Advances on Web Services, March, 309-344.
9. Cichocki, A., Helal, S., Rusinkiewicz, M., & Woelk, D. (1998). Workflow and process automation concepts and technology. Kluwer Academic Publishers.
10. Coleman, J. (2005). Examining BPEL's compensation construct. Workshop on Rigorous Eng. of Fault-Tolerant Systems.
11. Courter, A. (2010). Supporting data consistency in concurrent process execution with assurance points and invariants. M.S. Thesis, Texas Tech University, Department of Computer Science.
12. de By, R., Klas, W., & Veijalainen, J. (1998). Transaction management support for cooperative applications. Kluwer Academic Publishers.
13. Desel, J. (2005). Process modeling using petri nets. Process-Aware Information Systems: Bridging People and Software through Process Technology, (pp. 147-177).
14. Dialani, V., Miles, S., Moreau, L., De Roure, D., & Luck, M. (2002). Transparent fault tolerance for web services based architectures. Lecture Notes in Computer Science, 889-898. doi:10.1007/3540-45706-2_126
15. Eder, J., & Liebhart, W. (1995). The workflow activity model WAMO. Proc. of the the 3rd Int. Conference on Cooperative Information Systems (CoopIs).
16. Elmagarmid, A. (1992). Database transaction models for advanced applications. Morgan Kaufmann.
17. Fekete, A., Greenfield, P., Kuo, D., & Jang, J. (2002). Transactions in loosely coupled distributed systems. Proceedings of Australia Database Conference (ADC2003).
18. Gao, L., & Urban, S. (2010). A formal representation of the assurance point service composition and recovery model using Petri nets. Technical Report. Texas Tech University, Department of Computer Science, 2010.
19. Jensen, K. (1987). Coloured Petri nets. Petri nets: Central models and their properties, (pp. 248-299).
20. Jin, T., & Goschnick, S. (2003). Utilizing web services in an agent based transaction model (ABT), Proc. of the 1st Int. Workshop on Web Services and Agent-based Engineering.
21. Jin, Y. (2004). An architecture and execution environment for component integration rules. Ph.D. Diss., Arizona State University.
22. Jin, Y., Urban, S., & Dietrich, S. (2007). A concurrent rule scheduling algorithm for active rules. Data & Knowledge Engineering, 60(1), 530-546. doi:10.1016/j.datak.2006.02.007
23. Jin, Y., Urban, S., Dietrich, S., & Sundermier, A. (2006). An integration rule processing algorithm and execution environment for distributed component integration. Informatica, 30, 193-212.
24. Kamath, M., & Ramamritham, K. (1996). Correctness issues in workflow management. Distributed Systems Engineering, 3(4), 213-221. doi:10.1088/0967-1846/3/4/002
25. Kamath, M., & Ramamritham, K. (1998). Failure handling and coordinated execution of concurrent workflows. Proc. of the IEEE Int. Conference on Data Engineering.
26. Khalaf, R., Roller, D., & Leymann, F. (2009). Revisiting the behavior of fault and compensation handlers in WS-BPEL. On the Move to Meaningful Internet Systems. OTM, 2009, 286-303.
27. Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., & Griswold, W. G. (2001). An overview of AspectJ. Lecture Notes in Computer Science, 327-353. doi:10.1007/3-540-45337-7_18
28. Kifer, M., Bernstein, A., & Lewis, P. (2006). Database systems: An application-oriented approach (2nd ed.). Pearson.
29. Kuo, D., Fekete, A., Greenfield, P., & Jang, J. (2002). Towards a framework for capturing transactional requirements of real workflows. Proceedings of the 2nd Int. Workshop on Cooperative Internet Computing, Hong Kong.
30. Leymann, F. (1995). Supporting business transactions via partial backward recovery in workflow management. Proc. of the GI-Fachtagung für Datenbanksysteme in Business, Technologie und Web (BTW'95).
31. Limthanmaphon, B., & Zhang, Y. (2004). Web service composition transaction management. Proc of the 15th Australasian Database Conf.
32. Lin, F., & Chang, H. (2005). B2B e-commerce and enterprise integration: The development and evaluation of exception handling mechanisms for order fulfillment process based on BPEL4WS. Proc. of the 7th IEEE Int. Conference on Electronic Commerce.
33. Liu, A., Li, Q., Huang, L., & Xiao, M. (2007). A declarative approach to enhancing the reliability of BPEL processes. Proc. Of the Int. Conf. on Web Services, pp. 272-279.
34. Luo, Z. W. (2000). Checkpointing for workflow recovery. Proc. of the 38th Annual Southeast Regional Conf., (pp. 79-80). New York, NY: ACM.
35. Ma, H., Urban, S. D., Xiao, Y., & Dietrich, S. W. (2005). GridPML: A process modeling language and history capture system for grid service composition. Proceedings of the International Conference on e-Business Engineering, Beijing, China.
36. Mikalsen, T., Tai, S., & Rouvellou, I. (2002). Transactional attitudes: Reliable composition of autonomous web services. Proc. of the Workshop on Dependable Middleware-based Systems (WDMS), Int Conference on Dependable Systems and Networks (DSN).
37. Modafferi, S., & Conforti, E. (2006). Methods for enabling recovery actions in WS-BPEL. Lecture Notes in Computer Science, 4275, 219. doi:10.1007/11914853_14
38. Modafferi, S., Mussi, E., & Pernici, B. (2006). SH-BPEL: A self-healing plug-in for WS-BPEL engines. Proc. of the 1st Workshop on Middleware for Service-Oriented Computing, (pp. 48-53). New York, NY: ACM.
39. Murata, T. (2002). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4), 541-580. doi:10.1109/5.24143
40. Paton, N. W., & Díaz, O. (1999). Active database systems. ACM Computing Surveys, 31.
41. Peterson, J. L. (1981). Petri net theory and the modeling of systems. Upper Saddle River, NJ: Prentice Hall PTR.
42. Ramchandani, C. (1973). Analysis of asynchronous concurrent systems by timed Petri nets. Massachusetts Institute of Technology.
43. Shrestha, R. (2010). Using assurance points, events, and rules for recovery in service composition. M.S. Thesis, Texas Tech University.
44. Singh, M., & Huhns, M. (2005). Service-oriented computing: Semantics, processes, and agents, J. Wiley & Sons, 2005.
45. Stahl, C. (2005). A Petri net semantics for BPEL. Technical Report 188, Humboldt-Universitat zu Berlin.
46. Tan, W., Fong, L., & Bobroff, N. (2007). Bpel4job: A fault-handling design for job flow management. Lecture Notes in Computer Science, 4749, 27. doi:10.1007/978-3-540-74974-5_3
47. Tartanoglu, F., Issarny, V., Romanovsky, A., & Levy, N. (2003). Dependability in the web services architecture. Proc. of Architecting Dependable Systems, LNCS 2677.
48. Urban, S. D., Courter, A., Gao, L., & Shuman, M. (2011) Supporting data consistency in concurrent process execution with assurance points and invariants," to appear in Rule-Based Modeling and Computing on the Semantic Web, F. Olken, M. Palmirani, D. Sottara (Eds.): RuleML 2011 - America, Lecture Notes in Computer Science 7018. Springer.
49. Urban, S. D., Dietrich, S. W., Na, Y., Jin, Y., Sundermier, A., & Saxena, A. (2001). The IRules project: Using active rules for the integration of distributed software components. Proc. of the 9th IFIP Working Conf. on Database Semantics: Semantic Issues in E-Commerce Systems, (pp. 265-286).
50. Urban, S. D., Gao, L., Shrestha, R., & Courter, A. (2010a). Achieving recovery in service composition with assurance points and integration rules. Proceedings of the Cooperative Information Systems Conference (Crete, Greece) as part of On the Move (OTM) 2010, Part 1 [Heidelberg, Germany: Springer.]. Lecture Notes in Computer Science, 6426, 428-437. doi:10.1007/978-3-64216934-2_31
51. Urban, S. D., Gao, L., Shrestha, R., & Courter, A. (2010b). The dynamics of process modeling: New directions for the use of events and rules in serviceoriented computing. In Kaschek, R., & Delcambre, L. (Eds.), The evolution of conceptual modeling, Lecture Notes in Computer Science 6520 (pp. 205-224). Heidelberg, Germany: Springer.
52. Urban, S. D., Liu, Z., & Gao, L. (2009). Decentralized data dependency analysis for concurrent process execution. Proceedings of the 13th Enterprise Distributed Object Computing Conference Workshops (EDOCW 2009) (pp. 74-83).
53. Urban, S. D., Liu, Z., & Gao, L. (2011) Decentralized communication for data dependency analysis among process execution agents to appear in, International Journal of Web Services Research.
54. Urban, S. D., Xiao, Y., Blake, L., & Dietrich, S. (2009). Monitoring data dependencies in concurrent process execution through delta-enabled grid services. International Journal of Web and Grid Services, 5(1), 35-66. doi:10.1504/IJWGS.2009.023870
55. Van der Aalst, W. (1995). A class of Petri nets for modeling and analyzing business processes. (Computing Science Reports 95/26). Eindhoven: Eindhoven University of Technology.
56. Van der Aalst, W. M. P. (1998). The application of Petri nets to workflow management. Journal of Circuits Systems and Computers, 8, 21-66. doi:10.1142/S0218126698000043
57. Wachter, H., & Reuter, A. (1992). The conTract model. In Elmagarmid, A. (Ed.), Database transaction models for advanced applications.
58. Worah, D., & Sheth, A. (1997). Transactions in transactional workflows. In S. Jajodia & L. Kershberg Advanced transaction models and architectures. Springer.
59. WS-Coordination. (2005). Web services coordination. Retrieved from http://www-106.ibm.com/developerworks/library/ws-coor/
60. WS-Transaction. (2005). Web services transaction. Retrieved from http://www.ibm.com/developerworks/library/ws-transpec/
61. Xiao, Y. (2006). Using deltas to support semantic correctness of concurrent process execution. PhD Dissertation, Department of Computer Science and Engineering, Arizona State University.
62. Xiao, Y., & Urban, S. D. (2008). Process dependencies and process interference rules for analyzing the impact of failure in a service composition environment. Journal of Information Science and Technology, 5(2), 21-45.
63. Xiao, Y., & Urban, S. D. (2009). The DeltaGrid service composition and recovery model. International Journal of Web Services Research, 6(3), 35-66. doi:10.4018/jwsr.2009070103
64. Xiao, Y., Urban, S. D., & Dietrich, S. W. (2006). A process history capture system for analysis of data dependencies in concurrent process execution. Proc. Second Int. Workshop on Data Engineering in E-Commerce and Services San Francisco, California, (pp. 152-166).
65. Xiao, Y., Urban, S. D., & Liao, N. (2006). The DeltaGrid abstract execution model: Service composition and process interference handling. Proc. of the Int. Conf. on Conceptual Modeling (ER 2006), (pp. 40-53).
66. Zeigler, B. P., & Sarjoughian, H. S. (2004). DEVSJAVA. Retrieved from http://acims.eas.asu.edu/SOFTWARE/software.shtml#DEVSJAVA