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

摘要：

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

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

所属期刊栏目：39

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金61063002;广西科学基金2011GXNSFA018166,2011GXNSFA018164

在线出版日期：2013-01-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：139-142,156