A Web Service Composition Approach Based on Planning Graph and Propositional Logic

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.