近年来,面向服务的计算（SOC）成为了软件领域研究的热点之一,它的核心理念是在交换的软件成分之间,构建起松耦合的协同软件体系。SOC以Web服务作为基本组成成分,并采用一系列的标准化的协议进行交互。关于SOC的研究涉及很多方面,其中一个重要的课题就是Web服务组合问题^[1],Web服务组合的描述是:一个复杂的需求无法由一个单一的Web服务完成,而可以由几个Web服务组合起来完成。而Web服务组合又主要涉及两个方面的问题:（1）Web服务合成;（2）Web服务组合的编制执行^[2]。本文的工作主要集中在前者之上,研究怎样将一组给定的Web服务组合成复合的粒度更大的服务。具体研究成果如下:1.借助Petri网理论提出了一个web服务组合模型WSC-CTPN。在该基于Petri网的模型中通过引入时间集合来表示Web服务触发的时间条件,通过引入颜色集合来区别不同种类的Web服务,并可通过该模型对web服务的组合进行描述,分析验证及仿真运行,以使对Web服务组合的描述更为准确。2.给出了web服务组合模型WSC-CTPN的基本变迁结构及基本的运算方法,并对其安全性,可达性和是否可能产生死锁进行判断。3.给出了WSC-CTPN的动态运行规则,并严格定义模型的执行语义,通过执行模型的动态运行规则,实现模型的仿真运行。