%0 Journal Article
%T 基于并发事务逻辑的语义web服务组合
%A 王雪松
%A 钱俊彦
%A 赵岭忠
%A 高荣亮？
%J 计算机科学
%D 2012
%X 并发事务逻辑(concurrenttransactionlogic,ctr)是一种谓词逻辑的扩展，支持语义wcb服务自动组合的推理。采用并发事务逻辑作为表示和推理工具，给出了们wls功能和行为两个方面的web服务组合方法。基于并发事务逻辑的执行语义及其horn子集的过程式语义，提出了一个多项式时间的服务组合算法，从而降低了服务组合推理的复杂性，为解决当前许多主流语义web服务组合方法不支持并发行为建模的问题提供了新思路。
%K 语义web服务
%K 服务组合
%K 并发事务逻辑
%K 霍恩子句
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=121030&flag=1