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

作     者：张琦 王昌晶 罗海梅 左正康 石海鹤 郭帆 ZHANG Qi;WANG Changjing;LUO Haimei;ZUO Zhengkang;SHI Haihe;GUO Fan

作者机构：江西师范大学计算机信息工程学院江西南昌330022 江西师范大学物理与通信电子学院江西南昌330022 

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

出 版 物：《江西师范大学学报（自然科学版）》 (Journal of Jiangxi Normal University(Natural Science Edition))

年 卷 期：2018年第42卷第3期

页      码：298-303页

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

主 题 词：代数规范 Web服务 模型转换 自动转换 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.16357/j.cnki.issn1000-5862.2018.03.13

馆 藏 号：203289197...