In order to solve the problem of composition and verifying of semantic Web services

this paper proposes a composite method based on model-driven architecture (MDA) and a matching method based on semantic matching degree. In the static aspects

the OWL-S is modeled by the composite method using UML class diagrams and use-case diagram. The dynamic composition of OWL-S is modeled by the use of activity diagram

In the procedure of modeling

a matching method based on semantic matching degree has been used to choose a subset of Web services for determining the most appropriate composite Web service and the compositing UML model can be translated into the Promela language to be verified by the model checking tools

SPIN. The verified UML model

as a template

is stored in ontology knowledge base. The model has been developed to improve the efficiency of the semantic Web services

and ensure the process of dynamic composition accuracy. By the use of templates and semantic matching degree

the most suitable and available Web services can be found and selected real-time.