近几年旅游业的兴旺发展,为旅游信息服务的发展带来很大的机遇,但同时也为旅游信息服务不断提出新的要求。利用Web服务的松散耦合性可以使旅游信息服务更加适用于目前的分布式环境,利用Agent的交互性组合多个Web服务可以增强旅游信息服务之间的协作。 本文的研究重点是在旅游信息领域中引入Agent和Web服务(Web Services)技术,探讨了如何利用Web服务组合流语言组合已有的分散的Web服务,如何简化Web服务组合流的验证工作。 Web服务组合是一个Web服务之间信息共享、协同合作所产生的新兴分布式开发构架。Web服务组合可以形成新的Web服务,解决更复杂的问题。运用工作流程来组合Web服务是目前常见的解决方法。但是以流程为基础的Web服务组合很有可能因为流程设计的错误导致执行时发生严重错误。所以需要进行Web服务组合验证。针对目前Web服务组合流验证的复杂性,本文根据现实的要求和Web服务自身所具有的约束,给出在Web服务组合的约束条件,提出了根据约束条件进行Web服务组合流的合法性验证的思想来简化验证工作。实现该方法是通过三个步骤,即为组合流建模,结合约束条件、执行验证算法来完成的。 最后本文利用基于Agent的Web 服务流引擎(IBM WebSphere中的BPEL4WS工具)结合相关服务初步实现了一个旅游预订服务系统。该系统实现了简化Web服务组合流验证的功能,有良好的应用前景。