WSDL→Radl-WS生成方法及自动转换系统 |
| |
作者姓名: | 张琦 王昌晶 罗海梅 左正康 石海鹤 郭帆 |
| |
作者单位: | 江西师范大学计算机信息工程学院;江西师范大学物理与通信电子学院 |
| |
摘 要: | 精确地描述Web服务语义对Web服务的发现、执行、动态组合和交互至关重要.在Radl语言基础上,扩展Radl为Radl-WS,提出一种新型的基于Radl-WS代数规范的Web服务建模语言.该建模语言统一了基于代数公理方法和Hoare公理方法来描述软件规格说明.为支持模型转换,提出了将WSDL语言描述的Web服务通过等价变换生成为Radl-WS建模语言的方法,并设计了相应的WSDL→Radl-WS自动转换系统.最后采用真实案例,验证了该方法的有效性.
|
本文献已被 CNKI 等数据库收录! |
|