随着软件开发技术的不断发展,面向服务架构技术已逐渐成为继面向过程,面向对象,面向构件等技术以后的主流技术架构。SOA突出的特点是粗粒度和松耦合,使得不同的业务间可以通过跨网络,跨平台,甚至跨编程语言以服务的形式进行交互。许多企业为了降低风险,提升业务敏捷度,应用Web服务技术整合企业价值链,封装业务流程,创造一种开放的分布式系统,以此来降低集中管理的耦合度,节省项目投资总成本,提高企业的竞争力和生命力。实际应用中,往往将多个具有特定业务功能的Web服务按照一定的业务流程逻辑组合起来,完成复杂业务的需求。基于形式化描述的组合方法是建模和验证Web服务组合的一种有效方法,它是基于行为描述的模型,能够较好的支持Web服务组合的复用。CPN(有色Petri网)作为一种形式化的描述工具,被广泛用来对系统进行模拟、分析和验证,它能够统一地描述Web服务(包括原子服务和组合服务);此外,利用CPN分析验证技术,能够保证服务组合的正确性。本文首先引入了一种基于有色Petri网的Web服务组合建模方法——CPN_WS模型。在此模型中,将有色Petri网中的变迁细化为服务变迁和控制变迁,服务变迁对应系统的数据流,控制变迁对应系统的控制流,并在此基础上形式化Web服务的引发规则。根据某企业的业务流程,应用上述组合方法,构建订货流程、新产品开发流程和生产流程的应用实例模型,并化简实例模型、验证其正确性。最后,本文结合项目需求和上述的理论工作,在原有的三层结构中加入服务层和服务组合层,使用WCF技术升级了某企业的系统。