摘要

Web services hold a great promise of implementing the B2B e-commerce by dynamically integrating business processes over the Internet. It is necessary to automatically and accurately select appropriate web services satisfying client requirements before and after integrating business processes. However, current web services standards do not well support it. We propose a formal method to select appropriate services satisfying client requirements as much as possible. Firstly, we make use of the semantic matching of service specifications based on service behavior to select the services that can be safely integrated with the existing services. Secondly, we evaluate the reliability of these services to select an appropriate integration satisfying the client requirement. Consequently, we can obtain high quality integrated business processes.