2008 IEEE Asia-Pacific Services Computing Conference (2008)
Dec. 9, 2008 to Dec. 12, 2008
Web Services can be composed to build domain-specific application and solution. The standards of several Web services composition (WSC) are proposed, for example, WS-BPEL and WS-CDL. Moreover, there is a great demand for the performance optimization of WSC recently. However, WS-BPEL lacks formal semantics, so it is very difficult to verify WSC and evaluate the performance of WSC. Therefore, considering such situation and Long-Running Transaction (LRT) in WS-BPEL, in this paper, we adopt General Stochastic High-Level Petri Net (GSHLPN) as basic formal description tool of WSC based on WS-BPEL and model the context of LRT. Our approach can provide a more real environment for evaluating and optimizing the performance of WSC based on WS-BPEL.
Web services composition, Long-running transaction, WS-BPEL
Y. He, L. Zhao, F. Li and Z. Wu, "Modeling Web Services Composition with Transaction Extension for Performance Evaluation," 2008 IEEE Asia-Pacific Services Computing Conference(APSCC), vol. 00, no. , pp. 476-481, 2008.