面向语义Web服务组合的模糊Petri网推理算法  

Backward Reasoning Algorithm of Fuzzy Petri Nets for Semantic Web Services Composition

作　　者：葛敬军[1] 黄华[1] 胡建明[1] 

机构地区：[1]南昌航空大学计算机学院,南昌330063

出　　处：《计算机科学》2009年第9期205-207,214,共4页Computer Science

基　　金：国家自然科学基金项目(60673055);江西省自然科学基金项目(0611094)资助

摘　　要：就语义Web服务自动组合技术而言,在服务组合时需要建立形式化的描述模型,以及有效利用这些已有的数据依赖关系实现服务合成的请求。而现有的组合方法与实施框架可能出现全局状态的指数性增长。针对这一问题,提出一种适合于Web环境的模糊Petri网逆向推理算法。该算法结合模糊Petri网的逆向推理和代数运算的优点,能有效减小算法空间复杂度,把一个大的、复杂的系统转化为一个只与问题相关的、小的系统来处理。最后,通过一个例子说明了算法的可用性。As for the technology of semantic Web services automatic composition,the key which solves this problem is to construct a model of the formal description of Web services and realize the Web service composition request by using this dependency relationship of available data. However, current approaches for service composition may return back lots of global state with exponential growth. To address this issue, backward reasoning algorithm of fuzzy petri nets for semantic Web services automatic composition with correctness guarantees was proposed. The algorithm fully takes advantage of mathematics foundation of petri nets, a complex system can be transformed into a simpler system closely related to the current problems. Thus, the space complexity of the algorithm can be reduced. Finally, an example was used to illustrate the applicability of this approach.

关 键 词：WEB服务组合 模糊PETRI网 逆向推理 关联矩阵 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]