基于描述逻辑的语义Web服务组合的框架研究

Web服务的出现和发展为构建一体化的多方服务互操作环境提供了基础。单一的W服务往往不能满足用户的需求,这就需要对现有的Web服务重新整合,以产生新的满足用户需求的增值服务。由于Web服务组合结构存在分布、异构、异质等特点,使得服务组合过程复杂多变。提出了基于描述逻辑的语义Web服务组合方法,使Web服务的输入和并发执行可以进行形式化推理。