随着信息技术和网络技术的飞跃发展，Web服务的应用成为当今全球媒体、工业界和学术界关注的热点。目前，服务的各种技术标准不断发展，新的Web服务平台和开发环境不断推出，应用程序在分布式网络平台上实现互操作的能力不断提高，Web服务技术已经成为极具发展潜力的集成技术和面向服务体系架构的成功方式。　　 尽管越来越多的企业将其商业流程以Web服务的形式发布，但单一的Web服务功能毕竟有限，很难满足实际的用户需求。只有在对现有的单个Web服务进行合成，形成新的Web服务以提供更多功能的时候，Web服务的真正潜力才能发挥出来。Web服务本身的特点，如严格自治性、松散耦合性、基于标准协议等也为Web服务的合成提供了技术支持，而合成的Web服务又要求具有灵活性、可重用性等特点，这对Web服务合成的研究工作也带来了许多新的挑战。随着Web服务的发展，Web服务的合成已经成为当前的研究热点。　　 本文综述了现有的基于工作流的各种Web服务合成技术，包括它们遵循的基础协议、服务合成规范和采用的工作流建模方法，分析了各自的优势以及存在的不足，并在此基础上提出了一种基于约束工作流的Web服务合成模型CoWSCM。该模型首先对Web服务工作流的虚拟组织环境进行了研究，分析了其中对跨组织协作和资源共享的需求，给出了Web服务组织模型；然后针对Web服务合成中存在的资源管理问题、时序依赖问题和访问控制问题，分别阐述了各个问题域的特点和基于约束工作流的解决方案，给出了资源管理约束、时序依赖约束和业务规则约束三种约束的规格表达；最后结合虚拟组织环境下的三种约束，给出了本文的Web服务合成模型。并基于一个Web服务合成的应用实例，给出了模型的设计与实现，其中着重描述了模型的应用架构和约束机制的实现。通过使用约束机制，对应用系统中的每个Web服务活动和这些活动应该遵循的依赖规范进行了形式化描述，在此基础上建立了Web服务自动合成方法，为用户提供了即时定制功能。