Abstract: Web services description language(WSDL) plays an important role in web services technology. But since WSDL is usually described by protocols, it is lack of strictness and preciseness. From logic point of view, there's no consistent implementation technology of WSDL. A formalized model of WSDL, which is called services set was brought forward. The services set can be used to define formalized WSDL document with mathematics method, and it can also be used as WSDL presentation model. By using services set, document structure of WSDL and program semantics of WSDL implementation mechanism can be presented strictly and accurately. Based on this services set, an algorithm for the implementation of WSDL presentation model was put forward.