Web服务组合语义一致性验证研究  

Semantic consistency verification of Web service composition

作　　者：王志坚[1] 程永上[1] 徐经纬[2] 

机构地区：[1]河海大学计算机与信息工程学院,江苏南京210098 [2]南京邮电大学计算机学院,江苏南京210046

出　　处：《计算机集成制造系统》2009年第1期202-208,共7页Computer Integrated Manufacturing Systems

基　　金：国家自然科学基金资助项目(60573098);国家973计划资助项目(2002CB312002);江苏省自然科学基金资助项目(BK2006168)~~

摘　　要：通过分析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.

关 键 词：WEB服务组合 语义 PETRI网 一致性 服务质量 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]