A reflective framework to improve the adaptability of BPEL-based web service composition

Proceedings - 2008 IEEE International Conference on Services Computing, SCC 2008

Volumn 1, Issue , 2008, Pages 343-350

  Zhai, Yanlong ^a   Su, Hongyi ^a   Zhan, Shouyi ^a  

^a BEIJING INSTITUTE OF TECHNOLOGY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION SERVICES; LIFE CYCLE; MECHANISMS; SOLUTIONS; WEB SERVICES;

WEB SERVICES COMPOSITIONS;

CHEMICAL ANALYSIS;

EID: 51749100230     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCC.2008.89     Document Type: Conference Paper

References (29)

1. ActiveBPEL Engine. http://www.activebpel.org/.
2. Web Services Business Process Execution Language (WSBPEL). OASIS, 2007.
3. A. Aho, R. Sethi, and J. Ullman. Compilers: principles, techniques, and tools. Addison-Wesley Longman Publishing Co., Inc. Boston, MA, USA, 1986.
4. L. Baresi, E. D. Nitto, C. Ghezzi, and S. Guinea1. A framework for the deployment of adaptable web service compositions. International Journal of Service Oriented Computing and Applications, 2007.
5. J. Cao, S. Zhang, M. Li, and J. Wang. Verification of dynamic process model change to support the adaptive workflow. In Proc. of 2004 IEEE International Conference on-Services Computing (SCC), 2004.
6. G. Chafle, K. Dasgupta, A. Kumar, S. Mittal, and B. Srivastava. Adaptation in web service composition and execution. In Proc. of IEEE International Conference on Web Services (ICWS), 2006.
7. A. Charfi and M. Mezini. Aspect-Oriented Web Service Composition with AO4BPEL. In Proc. of European Conference on Web Services (ECOWS). Springer, 2004.
8. M. Colombo, E. Di Nitto, and M. Mauri. SCENE: A Service Composition Execution Environment Supporting Dynamic Changes Disciplined Through Rules. In Proc. of 4th International Conference on Service-Oriented Computing (ICSOC). Springer, 2006.
9. D. Edmond and A. H. M. T. Hofstede. Achieving workflow adaptability by means of reflection. In Proc. of AWS-98, 1998.
10. D. Edmond and A. ter Hofstede. A reflective infrastructure for workflow adaptability. Data & Knowledge Engineering, 34(3):271-304, 2000.
11. C. Ellis, K. Keddara, and G. Rozenberg. Dynamic change within workflow systems. In Proc. of conference on Organizational computing systems, pages 10-21. ACM Press New York, NY, USA, 1995.
12. X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL web services. In Proc. of the 13th conference on World Wide Web(WWW 2004). ACM Press New York, NY, USA, 2004.
13. D. Grunwald and H. Srinivasan. Data Flow Equations for Explicitly Parallel Programs. In Proc. of the Fourth ACM-SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), 1993.
14. D. Karastoyanova, A. Houspanossian,M. Cilia, F. Leymann, and A. Buchmann. Extending BPEL for run time adaptability. In Proc. of Ninth IEEE International on EDOC Enterprise Computing Conference,, 2005.
15. A. Lins, F. Antonio, J. dos Santos Junior, and N. Rosa. Improving Transparent Adaptability in Web Service Composition. In Proc. of IEEE International Conference on Service-Oriented Computing and Applications (SOCA'07), 2007.
16. R. Lucchi and M. Mazzara. A pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming, 70(1):96-118, 2007.
17. P. Maes. Concepts and experiments in computational reflection. In Proc. of Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA). ACM Press New York, NY, USA, 1987.
18. N. Narendra, K. Ponnalagu, J. Krishnamurthy, and R. Ramkumar. Run-Time Adaptation of Non-functional Properties of Composite Web Services Using Aspect-Oriented Programming. In Proc. of International Conference on Service-Oriented Computing (ICSOC). Springer, 2007.
19. C. Ouyang, E. Verbeek,W. van der Aalst, S. Breutel,M. Dumas, and A. ter Hofstede. Formal semantics and analysis of control flow in WS-BPEL. Science of Computer Programming, 67(2-3):162-198, 2007.
20. M. Papazoglou, P. Traverso, S. Dustdar, and F. Leymann. Service-Oriented Computing: State of the Art and Research Challenges. Computer, 40(11):38-45, 2007.
21. F. Puhlmann. Why do we actually need the Pi-Calculus for Business Process Management. In Proc. of 9th International Conference on Business Information Systems (BIS 2006), volume 85, pages 77-89.
22. M. Reichert and P. Dadam. Adept flex Supporting Dynamic Changes of Workflows Without Losing Control. Journal of Intelligent Information Systems, 10(2):93-129, 1998.
23. H. Srinivasan and D. Grunwald. An Efficient Construction of Parallel Static Single Assignment Form for Structured Parallel Programs. Technical report, University of Colorado, Boulder, Dept. of Computer Science, 1991.
24. M. ter Beek, A. Bucchiarone, and S. Gnesi. A Survey on Service Composition Approaches: From Industrial Standards to Formal Methods. Technical report, Technical Report 2006-TR-15, http://fmt.isti.cnr.it/WEBPAPER/TRWS-FM06. pdf, 2006.
25. W. van der Aalst. Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change. Information Systems Frontiers, 3(3):297-317, 2001.
26. W. van der Aalst, T. Basten, H. Verbeek, P. Verkoulen, and M. Voorhoeve. Adaptive workflow. On the interplay between flexibility and support. In Proc. of the first International Conference on Enterprise Information Systems, volume 2, 1999.
27. W. van der Aalst and S. Jablonski. Dealing with Workflow Change: Identification of Issues and Solutions. International Journal of Computer Systems, Science, and Engineering, 15(5), 2000.
28. Y. Zhai, H. Su, and S. Zhan. A Data Flow Optimization Based Approach for BPEL Processes Partition. In Proc. of IEEE International Conference on e-Business Engineering (ICEBE), 2007.
29. Y. Zheng and P. Krause. Automata Semantics and Analysis of BPEL. In Proc. of Digital EcoSystems and Technologies Conference (DEST'07), 2007.