WSDL→Radl-WS生成方法及自动转换系统  

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

作　　者：张琦 王昌晶[1] 罗海梅[2] 左正康[1] 石海鹤[1] 郭帆[1] ZHANG Qi;WANG Changjing;LUO Haimei;ZUO Zhengkang;SHI Haihe;GUO Fan(College of Computer Information Engineering,Jiangxi Normal University ,Nanchang Jiangxi 330022,China;College of Physics and Communication Electronics,Jiangxi Normal University,Nanchang Jiangxi 330022,China)

机构地区：[1]江西师范大学计算机信息工程学院,江西南昌330022 [2]江西师范大学物理与通信电子学院,江西南昌330022

出　　处：《江西师范大学学报（自然科学版）》2018年第3期298-303,共6页Journal of Jiangxi Normal University(Natural Science Edition)

基　　金：国家自然科学基金(61762049;51567011;61462039;61662035;61562040);江西省科技课题(20171BAB202013;20151BBG70062);江西省教育厅科技课题(GJJ14255;GJJ150349)资助项目

摘　　要：精确地描述Web服务语义对Web服务的发现、执行、动态组合和交互至关重要.在Radl语言基础上,扩展Radl为Radl-WS,提出一种新型的基于Radl-WS代数规范的Web服务建模语言.该建模语言统一了基于代数公理方法和Hoare公理方法来描述软件规格说明.为支持模型转换,提出了将WSDL语言描述的Web服务通过等价变换生成为Radl-WS建模语言的方法,并设计了相应的WSDL→Radl-WS自动转换系统.最后采用真实案例,验证了该方法的有效性.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.

关 键 词：代数规范 WEB服务 模型转换 自动转换 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]