软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2011年
11期
2698-2715
,共18页
肖芳雄%黄志球%曹子宁%屠立忠%祝义
肖芳雄%黃誌毬%曹子寧%屠立忠%祝義
초방웅%황지구%조자저%도립충%축의
Web%服务组合%统一建模和分析%QoS%进程代数
Web%服務組閤%統一建模和分析%QoS%進程代數
Web%복무조합%통일건모화분석%QoS%진정대수
进程代数是一种适合描述Web服务组合的形式建模语言,然而同样对QoS建模和分析的支持不足.在现有进程代数的基础上,提出了一种代价概率进程代数PPPA(priced probabilistic process algebra),给出其语法和语义,证明其具有功能、概率和代价的统一建模和分析能力.给出了基于PPPA统一建模和分析Web服务组合功能和QoS的方法.实例建模和分析了Web服务组合的功能、可靠性、性能和代价,其结果表明,PPPA可以有效地支持Web服务组合功能和QoS的形式化统一建模和分析.
進程代數是一種適閤描述Web服務組閤的形式建模語言,然而同樣對QoS建模和分析的支持不足.在現有進程代數的基礎上,提齣瞭一種代價概率進程代數PPPA(priced probabilistic process algebra),給齣其語法和語義,證明其具有功能、概率和代價的統一建模和分析能力.給齣瞭基于PPPA統一建模和分析Web服務組閤功能和QoS的方法.實例建模和分析瞭Web服務組閤的功能、可靠性、性能和代價,其結果錶明,PPPA可以有效地支持Web服務組閤功能和QoS的形式化統一建模和分析.
진정대수시일충괄합묘술Web복무조합적형식건모어언,연이동양대QoS건모화분석적지지불족.재현유진정대수적기출상,제출료일충대개개솔진정대수PPPA(priced probabilistic process algebra),급출기어법화어의,증명기구유공능、개솔화대개적통일건모화분석능력.급출료기우PPPA통일건모화분석Web복무조합공능화QoS적방법.실례건모화분석료Web복무조합적공능、가고성、성능화대개,기결과표명,PPPA가이유효지지지Web복무조합공능화QoS적형식화통일건모화분석.
