基于概率时间自动机 Web 服务质量的形式化建模分析

• 作者: 刘淑芬 王晓燕 陆闯
• 来源期刊: 吉林大学学报（理学版）
• 学科: 工学
• 关键词: Web 服务组合 概率时间自动机 定量建模分析 Web 服务质量
• 年，卷（期）: 2015,（3）
• 所属期刊栏目: 计算机科学
• 页码范围: 531-537
• 页数: 7页
• 分类号: TP311
• 字数: 5510字
• 语种: 中文
• DOI: 10.13413/j.cnki.jdxblxb.2015.03.34

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘淑芬	吉林大学计算机科学与技术学院	96	764	14.0	21.0
2	王晓燕	吉林大学计算机科学与技术学院	47	511	13.0	22.0
3	陆闯	吉林大学计算机科学与技术学院	2	3	1.0	1.0