Modeling and Analyzing Web Services Composition Using Timed Probabilistic Priced Process Algebra
Xiao Shan Fang · Chinese Journal of Computers · 2012
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.