中文摘要：

在基于语义的自动Web服务组合中,往往采用输入输出等静态参数来描述服务功能,但是输入输出等参数由于缺乏动作描述,很难完整地描述服务功能。针对该问题,引入含有动作特征的功能本体来增加对服务功能的描述,并设计了基于功能本体树的功能合并方法。在此基础上,通过构建服务依赖图得到用户期望的输出,然后采用逆向搜索算法实现服务功能到功能本体树的映射,并结合功能本体合并方法验证每条组合路径的功能正确性。通过实例及实验分析证明了所提算法的优越性。

英文摘要：

In automatic semantic Web Service composition, the service functions were described by static parameters such as input and output. However, due to lack of action description in input and output parameters, it was difficult to describe the service functions completely. The function ontology with action characteristics was added to describe the service function, and a function merging method was designed based on function ontology tree. On this basis, the outputs that meet user＇s expectations were obtained by constructing service dependence graph, and the reverse search algorithm was used to achieve the mapping from service functions to function ontology tree, and the function correctness of each composition path was verified combining with ontology merging method. The superiority of the proposed algorithm was proved by instances and experimental analysis.