Web服务是新形式的因特网软件,它统一使用因特网协议布置和调用,来自不同服务商的服务被整合以提供一个组合服务。随着Web服务技术日新月异的发展,服务提供者之间竞争的加剧,通常存在多个同种类型的服务均能满足用户的某一项需求,服务组合时,可以选择更加符合需求的服务,以满足用户需求描述。但是,在服务组合过程中,为了满足局部约束条件的限制,web服务组合出来的流程却无法满足全局约束,从而使得所选的单个服务满足需求,但是从整个流程看不合要求。流程约束的含义,不仅包括流程所选择的服务满足局部约束,同时应该满足用户需求的全局约束,如整个流程总的时间、花费、空间等约束,用户的目标就是要两方面流程约束都符合,以达到服务流程的最优。因此我们需要建立web服务质量模型,使得所选择的服务能满足全局约束。这篇论文的研究背景是智能虚拟旅行社平台,实际问题中,在旅游领域存在很多与旅游相关的服务。使用这些服务用户可以得到一个完整的旅游服务,而单个的服务对用户来说却意义不大。用户需要的是一个完整的让他们满意的旅游流程。在组合流程过程中,考虑到所形成流程的全局性约束,形式化web服务,组合成web服务质量模型,并根据不同全局约束的特性,使用线性规划算法,计算出符合全局约束的服务。本文主要完成的工作和贡献包括:1.作为智能流程的一部分,以旅游平台为例,分析了Web服务选择中的服务质量问题,并提出了web服务质量模型。2.基于web服务质量模型,为组合服务的选择问题建模,将旅游平台中基于web服务质量的服务选择问题抽象出来进行分析,定义了相关的服务质量的度量函数。3.在新建模型上,采用线性规划算法,对服务选择问题中的全局约束问题提出了优化算法,举出例子,并分别给出计算公式。对于web服务的非功能性属性给出相应的算法。