基于并发事务逻辑的语义Web服务组合  

Semantic Web Services Composition Based on Concurrent Transaction Logic

作　　者：王雪松[1] 钱俊彦[2] 赵岭忠[2] 高荣亮[2] 

机构地区：[1]桂林电子科技大学电子工程与自动化学院,桂林541004 [2]桂林电子科技大学计算机科学与工程学院,桂林541004

出　　处：《计算机科学》2012年第10期139-142,156,共5页Computer Science

基　　金：国家自然科学基金(61063002);广西科学基金(2011GXNSFA018166;2011GXN-SFA018164)资助

摘　　要：并发事务逻辑(Concurrent Transaction Logic,CTR)是一种谓词逻辑的扩展,支持语义Web服务自动组合的推理。采用并发事务逻辑作为表示和推理工具,给出了OWL-S功能和行为两个方面的Web服务组合方法。基于并发事务逻辑的执行语义及其Horn子集的过程式语义,提出了一个多项式时间的服务组合算法,从而降低了服务组合推理的复杂性,为解决当前许多主流语义Web服务组合方法不支持并发行为建模的问题提供了新思路。Concurrent Transaction Logic（CTR） is an extension of predicate logic which supports reasoning the automatic composition of semantic Web Services.This paper used CTR as the describing and reasoning tools,and proposed a composition method from the two aspects of OWL-S Web Services：function and behavior.The executing semantics of CTR and the procedural semantics of its Horn clause reduce the reasoning complexity.A polynomial time algorithm was constructed.This paper provided a new method for handling the problem that current mainstream semantic Web service composition methods are not able to model concurrent behaviors.

关 键 词：语义WEB服务 服务组合 并发事务逻辑 霍恩子句 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]