Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Journal of Jiangxi Normal University(Natural Science Edition)》 2018-03
Add to Favorite Get Latest Update

The Generation Method and Automatical Transformation System of WSDL→Radl-WS

ZHANG Qi;WANG Changjing;LUO Haimei;ZUO Zhengkang;SHI Haihe;GUO Fan;College of Computer Information Engineering,Jiangxi Normal University;College of Physics and Communication Electronics,Jiangxi Normal University;  
Describing the semantics of Web services accurately plays a crucial role in service discovery,execution,dynamic composition and interaction. Based on the Radl language,the paper extend it into the Radl-WS,and propose a novel Web service modeling language upon the Radl-WS algebraic specification. The modeling language unifies algebraic axiom approach and Hoare's axiom approach to describe software specification. Moreover,in order to support modeling transformation,we transform Web service described by WSDL language into Radl-WS modeling language by a series of equivalence transformation rules. And then we develop an automatically transformation system to support that. Finally,running some real cases to demonstrate the practice effect of the method.
【Fund】: 国家自然科学基金(61762049 51567011 61462039 61662035 61562040);; 江西省科技课题(20171BAB202013 20151BBG70062);; 江西省教育厅科技课题(GJJ14255 GJJ150349)资助项目
【CateGory Index】: TP393.09
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved