A state synchronization mechanism for orchestrated processes

Proceedings of the 2012 IEEE 16th International Enterprise Distributed Object Computing Conference, EDOC 2012

Volumn , Issue , 2012, Pages 51-60

  Wang, Lei ^a   Wombacher, Andreas ^a   Pires, Luís Ferreira ^a   Van Sinderen, Marten J ^a   Chi, Chihung ^b  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b TSINGHUA UNIVERSITY   (China)

Author keywords

Orchestrated Processes; Service Interaction Patterns; State Synchronzation

Indexed keywords

COLORED PETRI NETS; FORMAL PROOFS; INTERACTION PATTERN; NETWORK FAILURE; ORCHESTRATED PROCESSES; PROCESS TRANSFORMATION; SERVICE INTERACTION; STATE SYNCHRONIZATION; STATE SYNCHRONZATION; TRANSFORMATION MECHANISMS;

INDUSTRY;

EID: 84870704913     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDOC.2012.16     Document Type: Conference Paper

References (23)

1. Kazunori Iwasa, "Web Services Reliable Messaging TC WS-Reliability 1.1", OASIS Standard, http://docs.oasisopen. org/wsrm/ws-reliability/v1.1/ wsrm-ws-reliability-1.1-specos.pdf, 2004.
2. L. Wang, et.al., An Illustrative Recovery Approach for Stateful Interaction Failure of Orchestrated Processes. Internal Report, Centre for Telematics and Information Technology, University of Twente, 2012.
3. K. Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, New York: Springer, 1996.
4. Apache ODE Team. Apache ODE BPEL Engine.
5. OASIS, "Web Services Business Process Execution Language Version 2.0", April 2007. http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf
6. C. Ouyang, W. van der Aalst, S. Breutel, M. Dumas, A. ter Hofstede, and H. Verbeek. Formal Semantics and Analysis of Control Flow in WS-BPEL. Bpm center report bpm-05-13, BPMcenter.org, 2005.
7. C. Stahl, A Petri net semantics for BPEL, Technical Report 188, Humboldt-Universität zu Berlin, June 2005
8. S. Hinz, K. Schmidt, and C. Stahl, "Transforming BPEL to Petri nets" in Proceedings Internet Conference Business Process Manage, 2005, pp. 220-235.
9. A. Barros, M. Dumas, and A. ter Hofstede, "Service Interaction Patterns: Towards a Reference Framework for Service-based Business Process Interconnection," Technical Report FIT-TR-2005-02, Faculty of Information Technology, Queensland University of Technology, 2005.
10. J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation (3rd Edition). Boston, MA, USA: Addison-Wesley Longman Publishing Co., Inc., 2006.
11. N. Russell, W. M. P. van der Aalst, and Arthur, "Exception Handling Patterns in Process-Aware Information Systems," BPMcenter.org, Techical Report, 2006.
12. B. S. Lerner, S. Christov, L. J. Osterweil, R. Bendraou, U. Kannengiesser, and A. Wise, "Exception Handling Patterns for Process Modeling," IEEE Transaction on Software Engineering, vol. 36, no. 2, pp. 162-183, Mar./Apr. 2010.
13. st Workshop on Middleware for Service Oriented Computing, ser. MW4SOC '06. ACM, pp. 48-53.
14. S. Modafferi and E. Conforti, "Methods for Enabling Recovery Actions in WS-BPEL," in Proceedings of Internet Conference on Cooperative Information Systems (CoopIS), ser. LNCS, vol.4275. Springer, November 2006.
15. A. Charfi, T. Dinkelaker, and M. Mezini, "A plug-in architecture for self-adaptive web service compositions," in ICWS09: Proceedings of the 2009 IEEE International Conference on Web Services. IEEE Computer Society, pp. 35-42.
16. M. Fredj, N. Georgantas, V. Issarny, and A. Zarras, "Dynamic Service Substitution in Service-Oriented Architectures," in Proceedings of the 2008 IEEE Congress on Services - Part I, july 2008, pp. 101-104.
17. L. Cavallaro, E. Di Nitto, and M. Pradella, "An Automatic Approach to Enable Replacement of Conversational Services," in Service-Oriented Computing, ser. Lecture Notes in Computer Science. Springer Berlin/Heidelberg, 2009, vol. 5900, pp. 159-174.
18. O. Moser, F. Rosenberg, and S. Dustdar, "Non-intrusive monitoring and service adaptation for WS-BPEL," in Proceedings of the 17th international conference on World Wide Web, 2008.
19. F. Moo-Mena, et.al., "A Diagnosis Module Based on Statistic and QoS Techniques for Self-healing Architectures Supporting WS Based Applications," in Proceedings of International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, pp.163-169, 10-11 Oct. 2009
20. F. Moo-Mena, J. Garcilazo-Ortiz, L. Basto-Díaz, F.Curi-Quintal and F. Alonzo-Canul. "Defining a Self-Healing QoS-based Infrastructure for Web Services Applications", in Proceedings of IEEE 11th International dConference on Computational Science and Engineering. Sao Paulo, Brazil. July 16-18, 2008.
21. OASIS, "Web Services Atomic Transaction Version 1.2," WWW page, 2009. http://docs.oasis-open.org/ws-tx/wsat/2006/06
22. OASIS, "Web Services Business Activity Version 1.2," WWW page, 2009. http://docs.oasis-open.org/ws-tx/wsba/2006/06
23. A. Banks, J. Challenger, P. Clarke, D. Davis, R. P. King, K. Witting, A. Donoho, T. Holloway, J. Ibbotson, and S. Todd, "HTTPR specification," Tech. Rep., April 2002. [Online]. Available: http://www.ibm.com/developerworks/ library/ws-httprspec/