文献类型：期刊文章

作　　者：肖芳雄[1] 黄志球[1] 曹子宁[1] 屠立忠[2] 祝义[1]

机构地区：[1]南京航空航天大学信息科学与技术学院,江苏南京210016 [2]南京工程学院计算机工程学院,江苏南京211167

出　　处：《软件学报》

基　　金：国家自然科学基金(60873025);国家高技术研究发展计划(863)(2009AA010307);航空科学基金(20085552023);江苏省自然科学基金(BK2008389);江苏省高校自然科学基金(03KJD520105)

年　　份：2011

卷　　号：22

期　　号：11

起止页码：2698-2715

语　　种：中文

收录情况：AJ、BDHX、BDHX2008、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：20114814570363)、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊

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

关 键 词：WEB 服务组合  统一建模和分析  QOS 进程代数

分 类 号：TP311]