The Generation Method And Automatical Transformation System Of Wsdl?Radl-WS Based On Model Driven

Sevice Oriented Computing(SOC)is a new type of computing mode based on Internet,which has the characteristics of loose coupling,platform independent and strong interoperability.Sevice Oriented Architecture(SOC)is a general architecture style in this computing mode,and Web service is an important research content of service computing.Web service is also the most popular technology to realize SOA.Web service is a new distributed computing paradigm on Internet,and has a standard,loosely coupled,cross platform feature.The advantage is that any enterprise and individual can make service calls quickly and easily through Internet in any place,and can significantly improve the reusability of the software.Accurately describing the semantics of Web services is very important for Web services discovery,execution,dynamic composition and interaction.Formal specification technology has been developed for over 40 years,and it can accurately define the semantics of software system in a verifiable way.In order to accurately describe the Web service semantics,a new Web service modeling language based on Radl-WS algebra specification is proposed in this paper on the basis of the previous research and design of the Radl language and the extension of Radl as Radl-WS.The modeling language integrates the algebraic axiom method and the Hoare axiom method to describe the software specification,in which the algebraic axiom method is easy to establish the semantic framework of the whole Web service,and the Hoare axiom method is convenient to guide the formal deduction and verification of the operation(algorithm).Based on the theory of model driven,this paper further puts forward the method of making the Web service described by the WSDL language into the Radl-WS modeling language through the equivalent transformation,and designs the corresponding WSDL to Radl-WS automatic conversion system.Finally,two industrial real cases: air traffic control system and building management system backstage are used to verify the effectiveness of the method.In view of the above goals,the following works are done in this paper:(1)The extended Radl language is Radl-WS modeling language,which is based on algebraic axiomatic method and Hoare axiom method,making it more suitable for accurately describing Web services.(2)Based on the theory of model driven,this paper proposes a way to generate Radl-WS modeling language from Web services described by WSDL language through equivalent transformation.(3)In order to support model transformation,we analysis the implemention method of model transformation deeply,design and implement the WSDL to Radl-WS automatic transformationsystem.(4)The system is deployed on Cloud Server: http://106.14.226.54:8080,and verified by real cases.