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

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