计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2012年
5期
918-936
,共19页
肖芳雄%李燕%黄志球%曹子宁%陈哲%范大娟
肖芳雄%李燕%黃誌毬%曹子寧%陳哲%範大娟
초방웅%리연%황지구%조자저%진철%범대연
Web服务组合%QoS%进程代数%建模%分析
Web服務組閤%QoS%進程代數%建模%分析
Web복무조합%QoS%진정대수%건모%분석
形式化建模Web服务组合并分析其功能正确性和QoS可满足性,是提高组合服务可信性的重要手段,但目前形式化方法侧重功能正确性建模和分析,对QoS可满足性的建模和分析支持不足.为此提出一种时间概率代价进程代数TPPPA(Timed Probabilistic Priced Process Algebra),给出了TPPPA的语法和语义,并证明其具有功能、时间、概率和代价的统一建模和分析能力.用实例表明了TPPPA可有效支持Web服务组合功能正确性和QoS可满足性的形式化统一建模和分析.
形式化建模Web服務組閤併分析其功能正確性和QoS可滿足性,是提高組閤服務可信性的重要手段,但目前形式化方法側重功能正確性建模和分析,對QoS可滿足性的建模和分析支持不足.為此提齣一種時間概率代價進程代數TPPPA(Timed Probabilistic Priced Process Algebra),給齣瞭TPPPA的語法和語義,併證明其具有功能、時間、概率和代價的統一建模和分析能力.用實例錶明瞭TPPPA可有效支持Web服務組閤功能正確性和QoS可滿足性的形式化統一建模和分析.
형식화건모Web복무조합병분석기공능정학성화QoS가만족성,시제고조합복무가신성적중요수단,단목전형식화방법측중공능정학성건모화분석,대QoS가만족성적건모화분석지지불족.위차제출일충시간개솔대개진정대수TPPPA(Timed Probabilistic Priced Process Algebra),급출료TPPPA적어법화어의,병증명기구유공능、시간、개솔화대개적통일건모화분석능력.용실례표명료TPPPA가유효지지Web복무조합공능정학성화QoS가만족성적형식화통일건모화분석.
