The program dependence graph and its use in optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Region-based memory management
Information and Computation
Eraser: a dynamic data race detector for multithreaded programs
ACM Transactions on Computer Systems (TOCS)
Space efficient data race detection for parallel programs with series-parallel task graphs
PDP '95 Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing
Service -Oriented Computing: Concepts, Characteristics and Directions
WISE '03 Proceedings of the Fourth International Conference on Web Information Systems Engineering
Modelling and verifying web service orchestration by means of the concurrency workbench
ACM SIGSOFT Software Engineering Notes
Decentralizing execution of composite web services
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Performance Modeling of WS-BPEL-Based Web Service Compositions
SCW '06 Proceedings of the IEEE Services Computing Workshops
A Graph-Search Based Approach to BPEL4WS Test Generation
ICSEA '06 Proceedings of the International Conference on Software Engineering Advances
TRaDe, a topological approach to on-the-fly race detection in java programs
JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
WofBPEL: a tool for automated analysis of BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Batch Invocation of Web Services in BPEL Process
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Data integration flows for business intelligence
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
| Hi-index | 0.00 |
The Business Process Execution Language (BPEL) is now a de facto standard for specifying and executing business process for web service composition and orchestration. As more and more web services are composed using BPEL, tuning these compositions and gain better performance becomes increasingly important. This paper presents our approach for optimizing the BPEL process and introduces OptBPEL, a tool for performance optimization of BPEL process. The approach starts from the optimization of synchronization structure concerning link in BPEL. After that, some concurrency analysis techniques are applied to obtain further performance improvement. Finally, we give some experiments and prove the efficiency of these optimization algorithms used in OptBPEL.