在互联网中数据共享与功能互用的一个重要手段是通过Web服务来实现的,Web服务能较好地解决异构服务在松散藕合环境下的集成、协作和互操作的问题。Web服务组合解决了单个Web服务的功能始终有限,不能满足复杂系统的需求缺陷。目前组合Web服务的主流方法是基于WS-BPEL规范编写的业务流程组合Web服务。由于组合中的服务组件分布存在自治、异构以及动态变化等特点,从而使服务存在诸多不确定的因素,这样的服务组合可信性有待考证。因此,Web服务组合的可信性进行研究是很有必要的,它是推动Web服务技术发展的需要。本文提供了一种分析方法来预测Web服务组合的非功能特性,主要工作如下:①组合规范的抽象:为了获得对基于BPEL描述的服务组合的中间模型,需从服务组合中提取出与服务质量相关的要素。从而可在适当的层次上对服务组合进行抽象,以确保模型规模的适度。②设计中间模型:以Petri网为中间模型对基于BPEL描述的服务组合进行建模,中间模型定量描述的要素有:原子活动、结构活动、特殊处理活动、消息交互以及控制链接等。此外,还要关注活动内部影响流程演化和活动触发条件的诸多条件。③非功能指标的定量求解:根据第②步可得到状态图,标注状态图进行的时间和概率,最后嵌入同质连续时间马尔科夫链。从同质连续时间马尔科夫链中获得对应的变迁强度矩阵Q,在矩阵Q上进行相关的时间与概率计算最终可获得服务组合的一些非功能特性(执行效率、组合可靠性、执行代价)的定量评估结果。④理论结果检验:为了验证理论结果精确性和随机Petri网转化的正确性,运用ACTIVE BPEL执行引擎来对WS-BPEL实例进行实际运行,并从运行日志记录文件中提取跟服务质量的相关数据。运用置性区间分析方法得到分析指标95%置信区间。置信区间能够覆盖理论分析结果值,说明分析方法的正确性。