Modeling Service Composition Using Priced Probabilistic Process Algebra
Process algebras are a set of formal languages that are suitable to describe concurrent and composite systems including services composition. Nowadays, though process algebras have been effectively exploited for modeling and verifying functional aspects of services composition, modeling non-functional aspects of services composition with process algebras has been ignored. Cost is one of the most important non-functional aspects of services composition, but existing process algebras have not cost modeling capability. We propose Priced Probabilistic Process Algebra (PPPA) by extending existing probabilistic process algebra with cost. We model services composition with PPPA and demonstrate that services composition can be controlled by Markov decision process with target function of optimal cost.
services composition process algebra costoptimization optimization probability
Lizhong Tu Fangxiong Xiao Zhiqiu Huang
School of Computer Engineering, Nanjing Institute of Technology Nanjing, China College of Information Science & Technology Nanjing University of Aeronautics and AstronauticsNanjin College of Information Science & Technology Nanjing University of Aeronautics and Astronautics Nanji
国际会议
南京
英文
35-38
2010-06-04（万方平台首次上网日期，不代表论文的发表时间）