论文部分内容阅读
Web服务经常需要被组装成一个复合Web服务，以完成单个服务不能完成的任务。复合Web服务必须确保按照正确的方式调用组件服务完成既定目标。这就需要多种控制结构，包括顺序、条件和循环等。本文试图使语义Web服务的自动组装结果具有相对复杂的结构，而不仅仅局限于简单的序列化组合结果。这样可以使组装结果适用于包含不确定性因素的环境。在执行复合Web服务时，可以根据当前环境所处的状态调用相应的组件服务。
语义Web服务自动组装是以智能规划算法为基础实现的。但是经典规划问题的规划解过于简单，不适合处理复杂的情况。所以，本文以一种较新的规划方法-模型检测规划为基础设计并实现了一个简单的模型检测规划器，并以此为基础设计实现了一个服务组装平台。模型检测规划器能够处理不确定性情况。模型检测规划的精髓在于使用BDD这个模型来表示状态和行动，对状态进行推演和比较所需时间较短。所以在状态推演复杂和比较操作较多的情况下，模型检测规划器可以取得较好的性能。
实验部分对这个规划器的性能和能力进行了测试，并对新的服务组装平台进行了相关测试。结果证明规划器能力得到提高，在没有经过优化的情况下性能稍有不足，但是整体来说模型检测规划器适合用于服务自动组装领域。利用模型检测规划器，服务组装平台可以处理更加复杂的问题，可以产生结构更加复杂的复合Web服务。