[1]张 琦,王昌晶*,罗海梅,等.WSDL→Radl-WS生成方法及自动转换系统[J].江西师范大学学报(自然科学版),2018,(03):298-303.[doi:10.16357/j.cnki.issn1000-5862.2018.03.13]
　ZHANG Qi,WANG Changjing*,LUO Haimei,et al.The Generation Method and Automatical Transformation System of WSDL→Radl-WS[J].Journal of Jiangxi Normal University:Natural Science Edition,2018,(03):298-303.[doi:10.16357/j.cnki.issn1000-5862.2018.03.13]
点击复制

WSDL→Radl-WS生成方法及自动转换系统()
分享到：

《江西师范大学学报》（自然科学版）[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2018年03期
页码:
298-303
栏目:
信息科学与技术
出版日期:
2018-06-20

文章信息/Info

Title:
The Generation Method and Automatical Transformation System of WSDL→Radl-WS
文章编号:
1000-5862(2018)03-0298-06
作者:
张 琦1; 王昌晶1*; 罗海梅2; 左正康1; 石海鹤1; 郭 帆1
1.江西师范大学计算机信息工程学院,江西 南昌 330022; 2.江西师范大学物理与通信电子学院,江西 南昌 330022
Author(s):
ZHANG Qi1; WANG Changjing1*; LUO Haimei2; ZUO Zhengkang1; SHI Haihe1; GUO Fan1
1.College of Computer Information Engineering,Jiangxi Normal University,Nanchang Jiangxi 330022,China; 2.College of Physics and Communication Electronics,Jiangxi Normal University,Nanchang Jiangxi 330022,China
关键词:
代数规范;  Web服务;  模型转换;  自动转换
Keywords:
algebraic specification;  Web service;  model transformation;  automatical transformation
分类号:
TP 311
DOI:
10.16357/j.cnki.issn1000-5862.2018.03.13
文献标志码:
A
摘要:
精确地描述Web服务语义对Web服务的发现、执行、动态组合和交互至关重要.在Radl语言基础上,扩展Radl为Radl-WS,提出一种新型的基于Radl-WS代数规范的Web服务建模语言.该建模语言统一了基于代数公理方法和Hoare公理方法来描述软件规格说明.为支持模型转换,提出了将WSDL语言描述的Web服务通过等价变换生成为Radl-WS建模语言的方法,并设计了相应的WSDL→Radl-WS自动转换系统.最后采用真实案例,验证了该方法的有效性.
Abstract:
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.

参考文献/References:

[1] 彭焕峰,黄纬,范大娟,等.Web服务演化综述 [J].科学技术与工程,2015,15(30):63-70.
[2] Mcilraith S,Narayanan S.OWL-S:semantic markup for Web services [C]∥Proceedings of the International Semantic Web Working Symposium(SWWS),2001.
[3] Hadley M J.Web application description language(WADL)[EB/OL].
[2017-10-17].http://wadl.java.net/wadl20051116.pdf.
[4] Misra J,Cook W R.Computation Orchestration [J].Software & Systems Modeling,2007,6(1):83-110.
[5] 王昌晶,薛锦云.Radl形式规格说明相对正确性研究 [J].软件学报,2013,24(4):715-729.
[6] 左正康,薛锦云.Apla中泛型约束机制研究 [J].软件学报,2015,26(6):1340-1355.
[7] 王昌晶,罗海梅,左正康.基于问题模式的形式化软件规格说明生成方法 [J].计算机研究与发展,2013,50(2):352-360.
[8] MartinKalin.Java Web服务:构建与运行 [M].南京:东南大学出版社,2010.
[9] Diaconescu R, �瘙 塃 u �瘙 塅 u I.Foundations for structuring behavioural specifications [J].Journal of Logical and Algebraic Methods in Programming,2014,83(3/4):319-338.
[10] Li Chengkai.XML parsing,SAX/DOM [M].New York:Springer US,2009.
[11] Friesen J.Parsing and creating XML documents with DOM [M].New York:Springer US,2016.
[12] Berglund A,Boag S,Chamberlin D,et al.XML path language(XPath)2.0 [J].Optical Materials,2007,30(1):129-131.
[13] 徐华珍,薛锦云,朱小征.Apla→Java程序生成系统中泛型机制实现方法研究 [J].江西师范大学学报:自然科学版,2017,41(1):52-55.
[14] Sommerville.软件工程 [M].9版.程成,译.北京:机械工业出版社,2011.
[15] 田方,石海鹤,左正康,等.一种抽象泛型机制的新型Java实现 [J].江西师范大学学报:自然科学版,2016,40(1):77-82.
[16] 谢武平.Radl→Apla程序生成系统及其可靠性研究 [D].南昌:江西师范大学,2009.
[17] Zhu Hong,Yu Bo.Algebraic specification of Web services [C]∥International Conference on Quality Software,IEEE,2010:457-464.
[18] Liu Dongmei,Zhu Hong,Bayley I.SOFIA:an algebraic specification language for developing services [C]∥IEEE,International Symposium on Service Oriented System Engineering,IEEE Computer Society,2014:70.

相似文献/References:

[1]孙爱玲.基于流演算的语义Web服务组合研究[J].江西师范大学学报(自然科学版),2016,40(06):648.
　SUN Ailing.The Research on Semantic Web Services Composition Based on Fluent Calculus[J].Journal of Jiangxi Normal University:Natural Science Edition,2016,40(03):648.
[2]熊小舟,薛锦云*.基于Web Service和多媒体数据库技术的PAR方法在线自学系统的设计与实现[J].江西师范大学学报(自然科学版),2018,(03):291.[doi:10.16357/j.cnki.issn1000-5862.2018.03.12]
　XIONG Xiaozhou,XUE Jinyun*.The Design and Implementation of PAR Method Online Self-Study System Based on Web Service and Multimedia Database Technology[J].Journal of Jiangxi Normal University:Natural Science Edition,2018,(03):291.[doi:10.16357/j.cnki.issn1000-5862.2018.03.12]

备注/Memo

备注/Memo:
收稿日期:2018-01-06
基金项目:国家自然科学基金(61762049,51567011,61462039,61662035,61562040),江西省科技课题(20171BAB202013,20151BBG70062)和江西省教育厅科技课题(GJJ14255,GJJ150349)资助项目.
通信作者:王昌晶(1977-),男,江西南昌人,教授,博士,主要从事软件形式化方法、形式规格说明方法、Web服务方面的研究.E-mail:wcj771006@163.com
更新日期/Last Update: 2018-06-20