WSDL表示模型与实现方法

WSDL presentation model and implementation method

WSDL(WebServicesDescriptionLanguage)是WebServices技术的重要组成部分 .由于WSDL通常采用协议描述 ,缺乏严格性和准确性 .从逻辑上看 ,实现技术缺乏一致性 .首次提出WSDL形式化模型 ,提出一种新的集合———Services集 ,该集合采用严格的数学方法来定义WSDL文档 ,采用Services集合可以作为WSDL表示模型 ,严格、准确地形式化表示WSDL文档结构和实现WSDL机制的程序语义 .

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.