The software architecture based on web service has become the critical technique to construct system in the distributed environments. The web service composition is the most important method to find the correct service in the complicated application circumstance. The key question is to find service based on the QoS and how to guarantee the quality. This thesis focuses the web service composition in order to get dynamic business cooperation and integration. The key component of web service is discussed and the method of web service composition is analyzed including the formalization verificatio...
