Toimprovethecomputationalefficiencyofwebserviceautomaticcomposition,thisarticleproposes anovelapproachbasedonaplanninggraphandpropositionallogic.Thisapproachhasaforward searchingstageandabackwardcombinationstage:theformerstagesearchesservicesinaservice storageandperformsthecompositioninahierarchicalarchitecturebasedonaplanninggraph,while thelatterstagecombinesthemviapropositionallogicoperations.Thismethodcanobtainallcomposite servicesthatcontainnoredundantservices,andthecomputationalcomplexitycanbesignificantly reduced.Experimentsaredonetoillustratetheeffectivenessoftheapproach. KEyWORdS Logic Conjunctive Normal Form, Logic Disjunctive Normal Form, Minimum Cover Set, Planning Graph, Web Service Composition

中文翻译：

---

基于计划图和命题逻辑的Web服务组合方法

为了提高Web服务自动组合的计算效率，本文提出了一种基于规划图和命题逻辑的新颖方法。该方法具有向前搜索阶段和向后组合阶段的功能：前阶段在服务存储中搜索服务并执行组合在基于规划图的层次结构中，同时后期通过命题逻辑运算将它们组合起来。此方法可以获取全部包含无冗余服务的复合服务可以显着降低计算复杂性。完成实验以说明其有效性方法。KEyWORdS逻辑合取范式，逻辑合取范式，最小覆盖集，计划图，Web服务组合