基于约束求解和描述逻辑的Web服务组合方法

摘要

本发明为一种基于约束求解和描述逻辑的Web服务组合方法：首先基于领域知识库的目标任务分解，设计各细粒度任务的优化目标，并提取任务接口的约束条件，然后通过约束求解得到细粒度任务的组合，再运用描述逻辑检测组合的有效性、合理性，避免流程冲突，得到合适的组合Web服务。本发明能有效性地组合Web服务，准确率显著提升；并且能够检测服务组合的逻辑正确性，使服务组合更加合理有效。