The Community for Technology Leaders
2008 IEEE Asia-Pacific Services Computing Conference (2008)
Dec. 9, 2008 to Dec. 12, 2008
ISBN: 978-0-7695-3473-2
pp: 476-481
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.
94 ms
(Ver 3.3 (11022016))