Web服务组合功能与QoS的形式化统一建模和分析

• 作者: 屠立忠 曹子宁 祝义 肖芳雄 黄志球
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: Web 服务组合 统一建模和分析 QoS 进程代数
• 年，卷（期）: 2011,（11）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 2698-2715
• 分类号: TP311
• 字数: 14836字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2011.03902

摘要

进程代数是一种适合描述Web服务组合的形式建模语言,然而同样对QoS建模和分析的支持不足.在现有进程代数的基础上,提出了一种代价概率进程代数PPPA(priced probabilistic process algebra),给出其语法和语义,证明其具有功能、概率和代价的统一建模和分析能力.给出了基于PPPA统一建模和分析Web服务组合功能和QoS的方法.实例建模和分析了Web服务组合的功能、可靠性、性能和代价,其结果表明,PPPA可以有效地支持Web服务组合功能和QoS的形式化统一建模和分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄志球	南京航空航天大学信息科学与技术学院	183	1755	20.0	33.0
2	祝义	南京航空航天大学信息科学与技术学院	15	179	8.0	13.0
3	肖芳雄	南京航空航天大学信息科学与技术学院	10	149	6.0	10.0
4	曹子宁	南京航空航天大学信息科学与技术学院	25	200	8.0	13.0
5	屠立忠	南京工程学院计算机工程学院	18	152	6.0	12.0