Composition estimation problems in Web service

To solve the Web Service composition estimation problem (SCEP), first of all, we proposed a three-level model for SCEP, and gave the mapping way between situation theory and BPEL4WS. In this way, we can take advantage of situation calculus to describe service composition workflow. Golog was also introduced to carry out the reasoning of service composition based on situation theory. Finally, experiments were achieved based on our previous service composition prototype E-WsFrame. Experiments results show the validity of our algorithms.