标题：A Web Service Composition Approach Based on Planning Graph and Propositional Logic
作者：Deng, ShiYang; Du, YuYue; Qi, Liang
作者机构：[Deng, ShiYang; Du, YuYue] Shandong Univ Sci & Technol, Qingdao, Shandong, Peoples R China.; [Qi, Liang] New Jersey Inst Technol, Dept Elect & Comp 更多
通讯作者地址：[Du, YY]Shandong Univ Sci & Technol, Qingdao, Shandong, Peoples R China.
来源：JOURNAL OF ORGANIZATIONAL AND END USER COMPUTING
关键词：Logic Conjunctive Normal Form; Logic Disjunctive Normal Form; Minimum; Cover Set; Planning Graph; Web Service Composition
摘要：To improve the computational efficiency of web service automatic composition, this article proposes a novel approach based on a planning graph and propositional logic. This approach has a forward searching stage and a backward combination stage: the former stage searches services in a service storage and performs the composition in a hierarchical architecture based on a planning graph, while the latter stage combines them via propositional logic operations. This method can obtain all composite services that contain no redundant services, and the computational complexity can be significantly reduced. Experiments are done to illustrate the effectiveness of the approach.