基于模型驱动的WSDL→Radl-WS生成方法及自动转换系统

发布时间：2020-04-23 19:39

【摘要】：面向服务的计算范型(Sevice Oriented Computing,简称SOC)是一种基于Internet的全新计算模式,具有松散耦合、平台无关、互操作性强等特点。面向服务架构(Sevice Oriented Architecture,简称SOA)是这种计算模式下通用的架构风格,而Web服务是服务计算的重要研究内容,同时Web服务也是当前实现SOA最为主流的技术。Web服务是一种Internet上的分布式计算新范型,并且具有基于标准的、松散耦合的、跨平台的特性,其优点是任何企业和个人在任何地点都可以通过Internet快速、方便地进行服务调用,并且可以显著地提高软件的可重用性。精确地描述Web服务的语义对Web服务的发现、执行、动态组合和交互至关重要。而形式化规范技术迄今已经发展了40余年,能够以可验证的方式精确地定义软件系统的语义。为了精确描述Web服务语义,本文在前期研究设计的Radl语言基础上,扩展Radl为Radl-WS,提出一种新型的基于Radl-WS代数规范的Web服务建模语言。该建模语言统一了基于代数公理方法和Hoare公理方法来描述软件规格说明,其中代数公理方法易于建立整个Web服务的语义框架,而Hoare公理方法便于指导操作(算法)的形式化推导和验证。以模型驱动为理论指导,进一步提出了将WSDL语言描述的Web服务通过等价变换生成为Radl-WS建模语言的方法,并设计了相应的WSDL→Radl-WS自动转换系统。最后,采用两个工业真实案例:空中交通管制系统、建管系统后台,验证了该生成方法的有效性。针对上述目标,本文主要做了如下几方面工作:1、扩展Radl语言为Radl-WS建模语言,统一了基于代数公理方法和Hoare公理方法,使之更适合精确地描述Web服务。2、以模型驱动为理论指导,根据WSDL语言特点提炼出等价转换规则,进而提出将WSDL语言描述的Web服务通过等价变换生成为Radl-WS建模语言的方法。3、为支持模型转换,根据等价转换规则深入分析模型转换的实现原理,设计并实现了WSDL→Radl-WS自动转换系统。4、将该系统部署在阿里云服务器上:http://106.14.226.54:8080,并采用工业真实案例验证了其有效性。
【图文】：

模型驱动的 WSDL→Radl-WS 生成方法及自动转换系析和语法分析后提供转换操作，转换过程中也类：一类是转换系统的自身错误，例如通用性是 WSDL 文档中有错，但是在前两步的分析错情况，第一类的解决方案是进行异常统一捕提示，，开发者根据日志信息进行系统完善。第因为是没有发现的语义问题但是提供了转换操方案是使用者进行留言或口头通知等方式告知L 文档进行排错处理。，下面给出 WSDL→Radl-WS 转换系统的系统

云文件列表对话框
【学位授予单位】：江西师范大学
【学位级别】：硕士
【学位授予年份】：2018
【分类号】：TP311.52

【相似文献】

相关期刊论文 前10条

1 马殿富,葛声,刘旭东;WSDL表示模型与实现方法[J];北京航空航天大学学报;2003年10期

2 秦玮,林学练,逯鹏;一种WSDL自动生成系统的研究与实现[J];微机发展;2005年11期

3 李盛钢;丁晓明;;一种基于扩展WSDL的测试数据自动生成方法[J];西南师范大学学报(自然科学版);2011年01期

4 孙统风,姜利群;WSDL事务扩展[J];计算机工程与设计;2005年01期

5 袁磊;;SOA为谁而生[J];信息系统工程;2007年06期

6 凌静;江凌云;;物联网服务的语义化描述:一种WSDL到OWL-S的转换方法[J];计算机科学;2019年04期

7 何玲娟;刘连臣;吴澄;;一种改进的基于WSDL描述的操作相似性度量方法[J];计算机学报;2008年08期

8 张琦;王昌晶;罗海梅;左正康;石海鹤;郭帆;;WSDL→Radl-WS生成方法及自动转换系统[J];江西师范大学学报(自然科学版);2018年03期

9 佘青;;一种语义Web服务描述语言WSDL-S[J];网络安全技术与应用;2009年04期

10 徐月梅;牛温佳;赵志军;唐晖;慈松;;WSDL-IO可扩展的无线传感网服务匹配机制[J];北京邮电大学学报;2013年04期

相关会议论文 前10条

1 张洁;齐锦;;网格环境下基于WSDL的相似服务查找方法研究[A];中国通信学会信息通信网络技术委员会2009年年会论文集（上册）[C];2009年

2 郭陈阳;王宏;李强;殷泰晖;;基于WSDL的WSDM研究[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用（CACIS）学术会议论文集[C];2007年

3 钟鸣;周斌;贾焰;;基于角色的访问控制在Web服务中的研究与实现[A];第二十一届中国数据库学术会议论文集（技术报告篇）[C];2004年

4 牛瑞贤;赵艳;熊进;;Web服务在电子政务中的应用研究[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集（下册）[C];2009年

5 王长宁;穆斌;王浩;;加强Web服务描述的语义性[A];全国第16届计算机科学与技术应用（CACIS）学术会议论文集[C];2004年

6 蒋乃乾;李心科;;一种基于扩展WSDL的Web服务测试数据自动生成方法[A];2011中国仪器仪表与测控技术大会论文集[C];2011年

7 房江太;黄映辉;李冠宇;;基于WSDL-S的Web服务语义标注方法[A];2008'中国信息技术与应用学术论坛论文集（一）[C];2008年

8 许雷;郑俊辉;;Web Service与CORBA的比较及分析[A];第九届全国青年通信学术会议论文集[C];2004年

9 孙科武;许斌;罗森;;属性驱动的Web服务分类方法[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年

10 王晓光;刘涛;昃琳;;WEB SERVICES的服务体系结构和发展[A];信息时代——科技情报研究学术论文集（第三辑）[C];2008年

相关重要报纸文章 前10条

1 沈建苗　编译;用WSIF实现EAI[N];计算机世界;2007年

2 ;走自己的SOA之路[N];网络世界;2005年

3 ;搭车的10大要诀[N];计算机世界;2002年

4 李浩;Web服务的阳光之旅[N];网络世界;2004年

5 译自《InfoWorld》;SOA部署回归实用[N];计算机世界;2005年

6 谢海燕;WSD依靠多种技术和规范[N];计算机世界;2007年

7 庞引明;实现SOA的相关技术[N];计算机世界;2005年

8 ;今年流行Web服务[N];中国计算机报;2001年

9 清水 编译;面向Web的通信系统WCF[N];计算机世界;2006年

10 中国科学院软件研究所 刘绍华;透视SOA实施问题[N];计算机世界;2005年

相关博士学位论文 前1条

1 俞磊;基于物联网技术的智慧医院架构及服务访问研究[D];合肥工业大学;2014年

相关硕士学位论文 前10条

1 张琦;基于模型驱动的WSDL→Radl-WS生成方法及自动转换系统[D];江西师范大学;2018年

2 李盛钢;一种基于扩展WSDL的测试数据自动生成方法[D];西南大学;2010年

3 翟小东;WSDL实现一致性声明文稿的设计与实现[D];北京邮电大学;2009年

4 刘航;基于服务网络的Web Service开发工具的设计与实现[D];天津大学;2009年

5 王龙;基于WSDL扩展的Web服务组合研究与实现[D];复旦大学;2013年

6 袁雪莉;基于扩展WSDL的测试用例自动生成[D];西南大学;2009年

7 刘伟;基于WSDL的Web服务可替换性验证研究[D];复旦大学;2012年

8 罗跃逸;基于WS-Monitor模型的Web服务QoS采集[D];中南大学;2013年

9 Ayman EI-Refey（艾门）;[D];大连海事大学;2009年

10 房江太;语义Web服务的WSDL-S实现[D];大连海事大学;2008年

本文编号：2638076