Abstract: Single Web service can not meet the demand for practical applications. In order to combine existing services into a new service, this paper proposes a reverse service composition derivation algorithm based on parameter correlation matrix. Web service ontology using predicate is defined, and the process of service composition with predicate calculus is proved. Theory research results get the conclusion that the method is effective and viable.

Key words: semantic Web service, service composition, predicate logic, parameter correlation matrix

摘要： 单个Web服务难以满足实际应用需求，为了利用现有服务组合成新的服务，从服务参数依赖关系出发，提出一种基于参数关联矩阵的逆向服务组合推导算法。定义OWL-S的Web服务本体谓词描述形式，利用谓词演算证明服务组合推导过程。理论研究结论得出该方法的有效性和可行性。

关键词: 语义Web服务, 服务组合, 谓词逻辑, 参数关联矩阵

CLC Number: 

• TP311