Support Web Services Composition with Optimal Cost Using PPA

Currently process algebras have been effectively used for describing and reasoning web services and their composition, but they are lack of cost modeling and analyzing capability and can't support web services composition with optimal cost. This paper proposes a process algebra called PPA (Priced Process Algebra) basing on CCS (Calculus of Communicating Systems) [1]. We discuss the syntax and semantics of PPA extended with priced information and provide an algorithm to support web services composition with optimal cost.

[1]  Gwen Salaün,et al.  Describing and reasoning on Web services using process algebra , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[2]  Franck van Breugel,et al.  Modelling and verifying web service orchestration by means of the concurrency workbench , 2004, SOEN.

[3]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.