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