摘要
形式化建模Web服务组合并分析其功能正确性和QoS可满足性,是提高组合服务可信性的重要手段,但目前形式化方法侧重功能正确性建模和分析,对QoS可满足性的建模和分析支持不足.为此提出一种时间概率代价进程代数TPPPA(Timed Probabilistic Priced Process Algebra),给出了TPPPA的语法和语义,并证明其具有功能、时间、概率和代价的统一建模和分析能力.用实例表明了TPPPA可有效支持Web服务组合功能正确性和QoS可满足性的形式化统一建模和分析.
It is important to model Web service composition formally and analyze if it meet requirements from both functional and QoS view.However,existing formal methods mainly support modeling and verifying Web service composition from functional aspect.In this paper,a novel process algebra called TPPPA（Timed Probabilistic Priced Process Algebra） is proposed for modeling and analyzing Web service composition from both functional and QoS aspects.The syntax and semantics is presented.And its capability of modeling and analyzing Web service composition from aspects of functionality,time,probability and cost,is proved in theory.The effectiveness of TPPPA is illustrated by an example.
出处
《计算机学报》
EI
CSCD
北大核心
2012年第5期918-936,共19页
Chinese Journal of Computers
基金
国家“八六三”高技术研究发展计划项目基金(2009AA010307)
国家自然科学基金(60873025、61100034)
江苏省自然科学基金(BK2008389)资助~~
