论文部分内容阅读
互联网异构的语义Web服务需要协同工作以满足复杂的应用需求。已有的对Web服务组装的研究，多限于顺序结构的组装方式。这种简单的一维线性组装方式不能满足较复杂的应用需求和较复杂的应用环境。本文致力于支持条件分支结构的语义Web服务组装的研究。这种组装方式可在组装结果中带有条件分支控制构造，因此组装结果是一个有向图。组合得到的复合Web服务可在组件服务具有不确定性效果的条件下，在外界状态完全可观察的环境中正确执行。
为了支持语义Web服务的带有条件分支结构的自动组装，本文对图规划进行了扩展。经典的图规划算法因其正确性、完备性和高效率而获得了巨大成功。然而经典的图规划只限于STRIPS的领域表示，并只能产生线性结构的规划解。本文对图规划的扩展，组合式图规划，能够处理具有不确定性效果的行动，并能产生树型结构的规划解。组合式图规划的主要思想是将具有不确定性效果的行动分解为多个行动，并对规划图进行足够的展开，从中抽取出所有能达到目标的行动序列，然后将那些对不确定性行动的不同效果进行处理的行动序列组合起来成为规划解树。组合式图规划的算法较简单，规划过程只产生一个规划图，不会产生不必要的指数级的时间复杂度增加。组合式图规划是可靠的(Sound)，并且可以经过简单的修改而具备完备性(Completeness)这个重要的特性。
本文作者的工作力图使Web服务的组装工具，即本文提到的OntoComposer更加简单和易用。与其他组装工具相比，OntoComposer具有以下特点：1)在领域知识层进行组装，组装人员看不到Web服务的实现技术和OWL-S语言；2)可视化进行问题域编辑和服务组装，组装过程不需要进行编程；3)自动组装和手动组装结合。