【摘要】：面向服務(wù)的計(jì)算范型(Sevice Oriented Computing,簡(jiǎn)稱SOC)是一種基于Internet的全新計(jì)算模式,具有松散耦合、平臺(tái)無(wú)關(guān)、互操作性強(qiáng)等特點(diǎn)。面向服務(wù)架構(gòu)(Sevice Oriented Architecture,簡(jiǎn)稱SOA)是這種計(jì)算模式下通用的架構(gòu)風(fēng)格,而Web服務(wù)是服務(wù)計(jì)算的重要研究?jī)?nèi)容,同時(shí)Web服務(wù)也是當(dāng)前實(shí)現(xiàn)SOA最為主流的技術(shù)。Web服務(wù)是一種Internet上的分布式計(jì)算新范型,并且具有基于標(biāo)準(zhǔn)的、松散耦合的、跨平臺(tái)的特性,其優(yōu)點(diǎn)是任何企業(yè)和個(gè)人在任何地點(diǎn)都可以通過(guò)Internet快速、方便地進(jìn)行服務(wù)調(diào)用,并且可以顯著地提高軟件的可重用性。精確地描述Web服務(wù)的語(yǔ)義對(duì)Web服務(wù)的發(fā)現(xiàn)、執(zhí)行、動(dòng)態(tài)組合和交互至關(guān)重要。而形式化規(guī)范技術(shù)迄今已經(jīng)發(fā)展了40余年,能夠以可驗(yàn)證的方式精確地定義軟件系統(tǒng)的語(yǔ)義。為了精確描述Web服務(wù)語(yǔ)義,本文在前期研究設(shè)計(jì)的Radl語(yǔ)言基礎(chǔ)上,擴(kuò)展Radl為Radl-WS,提出一種新型的基于Radl-WS代數(shù)規(guī)范的Web服務(wù)建模語(yǔ)言。該建模語(yǔ)言統(tǒng)一了基于代數(shù)公理方法和Hoare公理方法來(lái)描述軟件規(guī)格說(shuō)明,其中代數(shù)公理方法易于建立整個(gè)Web服務(wù)的語(yǔ)義框架,而Hoare公理方法便于指導(dǎo)操作(算法)的形式化推導(dǎo)和驗(yàn)證。以模型驅(qū)動(dòng)為理論指導(dǎo),進(jìn)一步提出了將WSDL語(yǔ)言描述的Web服務(wù)通過(guò)等價(jià)變換生成為Radl-WS建模語(yǔ)言的方法,并設(shè)計(jì)了相應(yīng)的WSDL→Radl-WS自動(dòng)轉(zhuǎn)換系統(tǒng)。最后,采用兩個(gè)工業(yè)真實(shí)案例:空中交通管制系統(tǒng)、建管系統(tǒng)后臺(tái),驗(yàn)證了該生成方法的有效性。針對(duì)上述目標(biāo),本文主要做了如下幾方面工作:1、擴(kuò)展Radl語(yǔ)言為Radl-WS建模語(yǔ)言,統(tǒng)一了基于代數(shù)公理方法和Hoare公理方法,使之更適合精確地描述Web服務(wù)。2、以模型驅(qū)動(dòng)為理論指導(dǎo),根據(jù)WSDL語(yǔ)言特點(diǎn)提煉出等價(jià)轉(zhuǎn)換規(guī)則,進(jìn)而提出將WSDL語(yǔ)言描述的Web服務(wù)通過(guò)等價(jià)變換生成為Radl-WS建模語(yǔ)言的方法。3、為支持模型轉(zhuǎn)換,根據(jù)等價(jià)轉(zhuǎn)換規(guī)則深入分析模型轉(zhuǎn)換的實(shí)現(xiàn)原理,設(shè)計(jì)并實(shí)現(xiàn)了WSDL→Radl-WS自動(dòng)轉(zhuǎn)換系統(tǒng)。4、將該系統(tǒng)部署在阿里云服務(wù)器上:http://106.14.226.54:8080,并采用工業(yè)真實(shí)案例驗(yàn)證了其有效性。
【圖文】：

模型驅(qū)動(dòng)的 WSDL→Radl-WS 生成方法及自動(dòng)轉(zhuǎn)換系析和語(yǔ)法分析后提供轉(zhuǎn)換操作，轉(zhuǎn)換過(guò)程中也類：一類是轉(zhuǎn)換系統(tǒng)的自身錯(cuò)誤，例如通用性是 WSDL 文檔中有錯(cuò)，但是在前兩步的分析錯(cuò)情況，第一類的解決方案是進(jìn)行異常統(tǒng)一捕提示，，開發(fā)者根據(jù)日志信息進(jìn)行系統(tǒng)完善。第因?yàn)槭菦](méi)有發(fā)現(xiàn)的語(yǔ)義問(wèn)題但是提供了轉(zhuǎn)換操方案是使用者進(jìn)行留言或口頭通知等方式告知L 文檔進(jìn)行排錯(cuò)處理。，下面給出 WSDL→Radl-WS 轉(zhuǎn)換系統(tǒng)的系統(tǒng)

云文件列表對(duì)話框
【學(xué)位授予單位】：江西師范大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2018
【分類號(hào)】：TP311.52

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 馬殿富,葛聲,劉旭東;WSDL表示模型與實(shí)現(xiàn)方法[J];北京航空航天大學(xué)學(xué)報(bào);2003年10期

2 秦瑋,林學(xué)練,逯鵬;一種WSDL自動(dòng)生成系統(tǒng)的研究與實(shí)現(xiàn)[J];微機(jī)發(fā)展;2005年11期

3 李盛鋼;丁曉明;;一種基于擴(kuò)展WSDL的測(cè)試數(shù)據(jù)自動(dòng)生成方法[J];西南師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2011年01期

4 孫統(tǒng)風(fēng),姜利群;WSDL事務(wù)擴(kuò)展[J];計(jì)算機(jī)工程與設(shè)計(jì);2005年01期

5 袁磊;;SOA為誰(shuí)而生[J];信息系統(tǒng)工程;2007年06期

6 凌靜;江凌云;;物聯(lián)網(wǎng)服務(wù)的語(yǔ)義化描述:一種WSDL到OWL-S的轉(zhuǎn)換方法[J];計(jì)算機(jī)科學(xué);2019年04期

7 何玲娟;劉連臣;吳澄;;一種改進(jìn)的基于WSDL描述的操作相似性度量方法[J];計(jì)算機(jī)學(xué)報(bào);2008年08期

8 張琦;王昌晶;羅海梅;左正康;石海鶴;郭帆;;WSDL→Radl-WS生成方法及自動(dòng)轉(zhuǎn)換系統(tǒng)[J];江西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2018年03期

9 佘青;;一種語(yǔ)義Web服務(wù)描述語(yǔ)言WSDL-S[J];網(wǎng)絡(luò)安全技術(shù)與應(yīng)用;2009年04期

10 徐月梅;牛溫佳;趙志軍;唐暉;慈松;;WSDL-IO可擴(kuò)展的無(wú)線傳感網(wǎng)服務(wù)匹配機(jī)制[J];北京郵電大學(xué)學(xué)報(bào);2013年04期

相關(guān)會(huì)議論文 前10條

1 張潔;齊錦;;網(wǎng)格環(huán)境下基于WSDL的相似服務(wù)查找方法研究[A];中國(guó)通信學(xué)會(huì)信息通信網(wǎng)絡(luò)技術(shù)委員會(huì)2009年年會(huì)論文集（上冊(cè)）[C];2009年

2 郭陳陽(yáng);王宏;李強(qiáng);殷泰暉;;基于WSDL的WSDM研究[A];計(jì)算機(jī)技術(shù)與應(yīng)用進(jìn)展·2007——全國(guó)第18屆計(jì)算機(jī)技術(shù)與應(yīng)用（CACIS）學(xué)術(shù)會(huì)議論文集[C];2007年

3 鐘鳴;周斌;賈焰;;基于角色的訪問(wèn)控制在Web服務(wù)中的研究與實(shí)現(xiàn)[A];第二十一屆中國(guó)數(shù)據(jù)庫(kù)學(xué)術(shù)會(huì)議論文集（技術(shù)報(bào)告篇）[C];2004年

4 牛瑞賢;趙艷;熊進(jìn);;Web服務(wù)在電子政務(wù)中的應(yīng)用研究[A];全國(guó)第20屆計(jì)算機(jī)技術(shù)與應(yīng)用學(xué)術(shù)會(huì)議(CACIS·2009)暨全國(guó)第1屆安全關(guān)鍵技術(shù)與應(yīng)用學(xué)術(shù)會(huì)議論文集（下冊(cè)）[C];2009年

5 王長(zhǎng)寧;穆斌;王浩;;加強(qiáng)Web服務(wù)描述的語(yǔ)義性[A];全國(guó)第16屆計(jì)算機(jī)科學(xué)與技術(shù)應(yīng)用（CACIS）學(xué)術(shù)會(huì)議論文集[C];2004年

6 蔣乃乾;李心科;;一種基于擴(kuò)展WSDL的Web服務(wù)測(cè)試數(shù)據(jù)自動(dòng)生成方法[A];2011中國(guó)儀器儀表與測(cè)控技術(shù)大會(huì)論文集[C];2011年

7 房江太;黃映輝;李冠宇;;基于WSDL-S的Web服務(wù)語(yǔ)義標(biāo)注方法[A];2008'中國(guó)信息技術(shù)與應(yīng)用學(xué)術(shù)論壇論文集（一）[C];2008年

8 許雷;鄭俊輝;;Web Service與CORBA的比較及分析[A];第九屆全國(guó)青年通信學(xué)術(shù)會(huì)議論文集[C];2004年

9 孫科武;許斌;羅森;;屬性驅(qū)動(dòng)的Web服務(wù)分類方法[A];CCF NCSC 2011——第二屆中國(guó)計(jì)算機(jī)學(xué)會(huì)服務(wù)計(jì)算學(xué)術(shù)會(huì)議論文集[C];2011年

10 王曉光;劉濤;昃琳;;WEB SERVICES的服務(wù)體系結(jié)構(gòu)和發(fā)展[A];信息時(shí)代——科技情報(bào)研究學(xué)術(shù)論文集（第三輯）[C];2008年

相關(guān)重要報(bào)紙文章 前10條

1 沈建苗　編譯;用WSIF實(shí)現(xiàn)EAI[N];計(jì)算機(jī)世界;2007年

2 ;走自己的SOA之路[N];網(wǎng)絡(luò)世界;2005年

3 ;搭車的10大要訣[N];計(jì)算機(jī)世界;2002年

4 李浩;Web服務(wù)的陽(yáng)光之旅[N];網(wǎng)絡(luò)世界;2004年

5 譯自《InfoWorld》;SOA部署回歸實(shí)用[N];計(jì)算機(jī)世界;2005年

6 謝海燕;WSD依靠多種技術(shù)和規(guī)范[N];計(jì)算機(jī)世界;2007年

7 龐引明;實(shí)現(xiàn)SOA的相關(guān)技術(shù)[N];計(jì)算機(jī)世界;2005年

8 ;今年流行Web服務(wù)[N];中國(guó)計(jì)算機(jī)報(bào);2001年

9 清水 編譯;面向Web的通信系統(tǒng)WCF[N];計(jì)算機(jī)世界;2006年

10 中國(guó)科學(xué)院軟件研究所 劉紹華;透視SOA實(shí)施問(wèn)題[N];計(jì)算機(jī)世界;2005年

相關(guān)博士學(xué)位論文 前1條

1 俞磊;基于物聯(lián)網(wǎng)技術(shù)的智慧醫(yī)院架構(gòu)及服務(wù)訪問(wèn)研究[D];合肥工業(yè)大學(xué);2014年

相關(guān)碩士學(xué)位論文 前10條

1 張琦;基于模型驅(qū)動(dòng)的WSDL→Radl-WS生成方法及自動(dòng)轉(zhuǎn)換系統(tǒng)[D];江西師范大學(xué);2018年

2 李盛鋼;一種基于擴(kuò)展WSDL的測(cè)試數(shù)據(jù)自動(dòng)生成方法[D];西南大學(xué);2010年

3 翟小東;WSDL實(shí)現(xiàn)一致性聲明文稿的設(shè)計(jì)與實(shí)現(xiàn)[D];北京郵電大學(xué);2009年

4 劉航;基于服務(wù)網(wǎng)絡(luò)的Web Service開發(fā)工具的設(shè)計(jì)與實(shí)現(xiàn)[D];天津大學(xué);2009年

5 王龍;基于WSDL擴(kuò)展的Web服務(wù)組合研究與實(shí)現(xiàn)[D];復(fù)旦大學(xué);2013年

6 袁雪莉;基于擴(kuò)展WSDL的測(cè)試用例自動(dòng)生成[D];西南大學(xué);2009年

7 劉偉;基于WSDL的Web服務(wù)可替換性驗(yàn)證研究[D];復(fù)旦大學(xué);2012年

8 羅躍逸;基于WS-Monitor模型的Web服務(wù)QoS采集[D];中南大學(xué);2013年

9 Ayman EI-Refey（艾門）;[D];大連海事大學(xué);2009年

10 房江太;語(yǔ)義Web服務(wù)的WSDL-S實(shí)現(xiàn)[D];大連海事大學(xué);2008年

本文編號(hào)：2638076