中文摘要：

通过分析Web服务组合正确性验证方法,给出了与Web服务组合相对应的语义Petri网。使用语义Petri网不但可以描述Web服务组合过程,而且能够进行Web服务组合的正确性验证。提出了Web服务组合语义一致性所包含的内容,给出了其相应验证算法。最后,进行了总结,并提出了下一步的工作。

英文摘要：

By analyzing correctness verification method of Web service composition, semantic Petri net corresponding to Web service composition was presented. By using semantic Petri nets, not only Web service composition processes could be described, but also the correctness of Web service composition could be verified. Content of the semantic consistency of Web service composition was proposed. And the verification algorithms were given. Finally, the summary was concluded, and the future work was also pointed out.