%0 Journal Article %T Web服务组合语义一致性验证研究 %A 王志坚 %A 程永上 %A 徐经纬 %J 计算机集成制造系统 %P 0-0 %D 2009 %X 通过分析Web服务组合正确性验证方法,给出了与Web服务组合相对应的语义Petri网。使用语义Petri网不但可以描述Web服务组合过程,而且能够进行Web服务组合的正确性验证。提出了Web服务组合语义一致性所包含的内容,给出了其相应验证算法。最后,进行了总结,并提出了下一步的工作。 %K Web服务组合 %K 语义 %K Petri网 %K 一致性 %K 服务质量 %U http://www.cims-journal.cn/CN/abstract/abstract2195.shtml