Modeling Service Composition Using Priced Probabilistic Process Algebra | IEEE Conference Publication | IEEE Xplore