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.
展开▼
