互联网正在发生着重大的变化。随着电子商务和B2B应用的发展和需求的加深，为了在激烈的竞争中生存下来，许多企业和组织迅速将其核心业务作为一组Web服务发布到互联网上，因此企业应用系统要求可以在互联网环境下进行企业间的应用互操作和应用集成，并且能够依据新的需求，快速、灵活地集成各种已有的和新添置的业务应用系统，使得它们可以有机地协同提供服务。Web服务组合已成为当前研究的热点。 本文的研究以Web服务组合为中心，引入工作流技术，使用Petri网表示工作流模型，将工作流和Web服务技术组合起来，设计并实现一个面向Web服务组合语言的通用的Web服务组合引擎-Web Service Weaver。 本文的研究重点是对Web服务组合模型和Web服务组合引擎实现机制的研究。在对Web服务组合技术、概念与模型等相关基础知识介绍之后，提出Web Service Weaver引擎架构；基于工作流技术，采用Petri网来对Web服务组合进行建模分析，定义一种新的流程定义语言，并用其描述Web服务组合的业务流程行为。最后，详细介绍Web Service Weaver引擎的三个关键算法：流程推进算法、Token维护算法和工作流模式实现算法。