基于时间概率代价进程代数的Web服务组合建模和分析

摘要：

形式化建模Web服务组合并分析其功能正确性和QoS可满足性,是提高组合服务可信性的重要手段,但目前形式化方法侧重功能正确性建模和分析,对QoS可满足性的建模和分析支持不足.为此提出一种时间概率代价进程代数TPPPA(Timed Probabilistic Priced Process Algebra),给出了TPPPA的语法和语义,并证明其具有功能、时间、概率和代价的统一建模和分析能力.用实例表明了TPPPA可有效支持Web服务组合功能正确性和QoS可满足性的形式化统一建模和分析.

关键词：Web服务组合、QoS、进程代数、建模、分析

所属期刊栏目：35

分类号：TP311(计算技术、计算机技术)

资助基金：国家"八六三"高技术研究发展计划项目基金2009AA010307;国家自然科学基金60873025、61100034;江苏省自然科学基金BK2008389

在线出版日期：2012-08-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共19页

页码：918-936