科创中国

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

原文链接：万方

• 作者：

  王雪松,钱俊彦,赵岭忠,高荣亮

• 摘要：

  并发事务逻辑(Concurrent Transaction Logic,CTR)是一种谓词逻辑的扩展,支持语义Web服务自动组合的推理.采用并发事务逻辑作为表示和推理工具,给出了OWL-S功能和行为两个方面的Web服务组合方法.基于并发事务逻辑的执行语义及其Horn子集的过程式语义,提出了一个多项式时间的服务组合算法,从而降低了服务组合推理的复杂性,为解决当前许多主流语义Web服务组合方法不支持并发行为建模的问题提供了新思路.

• 关键词：

  语义Web服务 服务组合 并发事务逻辑 霍恩子句

• 作者单位：

  桂林电子科技大学电子工程与自动化学院%桂林电子科技大学计算机科学与工程学院

• 基金项目：

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

• 来源期刊：

  计算机科学

• 年，卷(期)：

  2012010