针对拓展的Web服务体系结构,利用概率时间自动机(probabilistic timed automata,PTA)对Web服务组合进行形式化建模,将Web服务组合的过程理解为一个实时系统的运行过程,进而对Web服务组合的整体服务质量(quality of service,QoS)进行定量分析,从而克服了已有Web服务质量研究方式主要集中在对单个Web服务分析评估上的局限性,在整个分析过程中充分考虑Web服务组合执行过程所具有的随机性和不确定性,具有较高的可信度.通过实验说明了建模分析方法的可行性,并证明了采取相应的服务选择策略有助于提高Web服务组合的成功率.
