组合服务中并发计算的定性与定量分析

In order to verify whether composite web services meet clients' requirements, the qualitative and quantitative analysis of composite web services should be made, however the analysis of the concurrent computing in composite services is difficult to achieve. In this paper, Stochastic Finite Automata (SFA) are proposed to describe the concurrent computing in composite services; and then how to carry out the qualitative and quantitative analysis, based on SFA model, of the concurrent computing in composite services is illustrated. The simulation results show that the conclusions gotten by using the above methods are consistent with the practice. Moreover, as these methods provide a unified base for verifying composite services and evaluating composite service performance, the verification and the evaluation can be done efficiently and effectively.