Research on Web Service Composition Using Probabilistic Abstraction Refinement | IEEE Conference Publication | IEEE Xplore