随着Web服务技术的发展和广泛的应用,Web服务的集成技术的研究逐渐成为了Web服务研究的关键问题。通过Web服务集成技术可以将单个的Web服务组合成功能强大、结构复杂的Web服务。 工作流理论研究的是一种对工作进行优化的方法:即通过加强各个工作之间的通信和交流,形成协同、从而达到优化,其作为组合Web服务的一个重要的机制,对于快速创建新的、功能更强大的Web服务来说至关重要。Petri网作为系统模型,由于其严密的数学基础和图形建模能力,被广泛应用在分布式软件系统等离散事件动态系统(DEDS)的建模与分析中。 本文着重研究Web服务集成工作流的相关技术,即如何从单个的Web服务,组合出基于工作流的Web服务集成,形成Web服务流程,并利用Petri网对流程路由进行建模。文章最后给出了基于Petri网的Web服务流程应用实例,主要针对美菱公司网上销售系统中的网上订单模块的Web服务流程模型进行功能分析与设计,实现了以制造商为中心、分销商和银行系统共同参与的网上订货、转帐系统。