随着信息化的发展,Web服务技术成为面向服务计算的核心技术。分布式计算模型Web服务组合成为网络上服务集成的有效机制。目前,Web服务组合技术研究主要从Web服务形式化描述、Web服务组合形式化方法以及Web服务组合验证等方面展开。论文在传统Web服务组合技术研究的基础上,展开了以下三方面内容的研究。(1)在逻辑Petri网基础上扩展提出服务网SN模型,用于Web服务组合形式化建模,对Web服务组合结构(顺序、分支、并行等)进行形式化描述。分析基于SN模型的Web服务组合合理性,给出服务组合动态行为的合理性评价标准,采用可达树验证模型的合理性。将SN模型应用于电子商务销售系统Web服务组合建模,根据Web服务组合合理性验证标准,采用可达树验证电子供货系统Web服务组合结构的合理性。(2)针对服务执行具有时间约束的Web服务,基于SN模型扩展提出具有时间约束变迁的时间服务网TSN模型,变迁的时间约束对应Web服务可执行的时间约束。具有时间约束的Web服务组合合理性标准包含服务可调度性,同时给出服务可调度性、时效性的分析方法。将TSN模型应用于保险赔付系统Web服务组合建模,分析了保险赔付系统Web服务的可调度性以及系统整体时效性。(3)跨组织的、服务执行没有严格时间约束的Web服务组合采用组合服务网CSN形式化描述。由于基于CSN建模的跨组织Web服务组合结构庞大,采用可达树分析组合合理性存在一定困难。因此,论文提出基于静态网结构方法分析跨组织Web服务组合合理性。将CSN模型应用到电子商务交易的跨组织Web服务组合建模,基于静态网结构方法分析电子商务交易模型的合理性。