所谓Web服务集成是将几个Web服务结合起来以满足用户的请求,这种结合弥补了一个Web服务无法满足用户请求的情况。同时,计算机网络技术的迅猛发展和全球经济一体化进程的加快,使得企业的内外形势都发生了巨大的变化,越来越多的企业和公司都通过Internet来处理业务和外购服务。因此在Web上如何有效、实时地选择和集成企业内部和不同企业的服务,对于Web服务的应用发展而言是很重要的。在经典的Web服务集成规划过程中,存在这样一个悖论:Web服务事先被看成是确定性动作,另一方面又对这些动作的不确定性进行监测。利用马尔可夫决策过程理论可以解决Web服务集成的不确定性问题。Web服务的不确定性体现在两个方面:业务逻辑的不确定性和服务质量的不确定性。到目前为止,很多研究人员都分别针对这两种不确定性提出了各自的模型或方法。然而在这些方法中很少有人使用逻辑编程语言,如Golog、DT-Golog,来处理Web服务集成问题中的Web服务不确定性,而且也很少有人同时针对两种不确定性提出一个完整的解决方案。DT-Golog是将马尔可夫决策过程引入Golog逻辑编程语言的扩展,它无缝结合了Agent编程和决策理论规划,并且继承了Golog语言的优点:同时具有编程的优点――可控制性与规划的优点――灵活性和一般性。因此本文利用DT-Golog语言对Web服务集成问题进行建模,通过DT-Golog的逻辑编程来表达Web服务之间应满足的逻辑约束关系――对Web服务集成可达状态空间的约束,DT-Golog的解释器在满足这样的约束条件下,通过规划得到Web服务集成的最优策略。最后本文在ECLiPSe开发平台下,利用DT-Golog语言对几个供应链案例进行建模,仿真结果验证了该方法对于处理Web服务的不确定性是有意义的。