Skip to Main Content
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.