本文關(guān)鍵詞： Web服務(wù)組合 BPEL LOTOS 翻譯模式 映射規(guī)則　出處：《北方工業(yè)大學(xué)》2013年碩士論文　論文類型：學(xué)位論文

【摘要】：Web服務(wù)組合可有效的組裝網(wǎng)絡(luò)中多種跨平臺(tái)的服務(wù),實(shí)現(xiàn)各服務(wù)之間的信息共享,并最終形成具有強(qiáng)大功能的服務(wù)流程以適應(yīng)當(dāng)前復(fù)雜的企業(yè)環(huán)境。而BPEL是實(shí)現(xiàn)Web服務(wù)組合的常用途徑和重要方式,它定義了組合服務(wù)的整個(gè)控制邏輯。但是,由于網(wǎng)絡(luò)環(huán)境的異構(gòu)性、服務(wù)開發(fā)模式的松耦合和服務(wù)協(xié)同的動(dòng)態(tài)性,使得組合的Web服務(wù)在開發(fā)和運(yùn)行環(huán)節(jié)都存在很多不確定性因素。而Web服務(wù)測(cè)試只能針對(duì)具體的輸入對(duì)系統(tǒng)進(jìn)行測(cè)試,其測(cè)試范圍并不全面。所以,為了能在Web服務(wù)投入運(yùn)行之前發(fā)現(xiàn)組合中的重大問(wèn)題,Web服務(wù)組合可驗(yàn)證系統(tǒng)所具有的性質(zhì)。Web服務(wù)組合驗(yàn)證和服務(wù)測(cè)試相結(jié)合,是屏蔽服務(wù)組合缺陷的雙保險(xiǎn)。 采用形式化方法描述WEB服務(wù)組合,并基于形式化技術(shù)對(duì)服務(wù)組合邏輯正確性進(jìn)行驗(yàn)證是一種檢驗(yàn)效果顯著的途徑。本文采用形式化描述語(yǔ)言LOTOS對(duì)BPEL進(jìn)行建模,使用CADP工具集中的模型檢測(cè)器Evaluator對(duì)建立的模型進(jìn)行驗(yàn)證,從而保證服務(wù)組合流程的正確性。而將BPEL描述的Web服務(wù)組合自動(dòng)轉(zhuǎn)換為L(zhǎng)OTOS描述,就成為了保證驗(yàn)證過(guò)程正確性的前提條件。 實(shí)現(xiàn)BPEL到LOTOS的自動(dòng)轉(zhuǎn)換,首先需明確BPEL到LOTOS的語(yǔ)義映射規(guī)則。為保障LOTOS中數(shù)據(jù)與BPEL中數(shù)據(jù)的一致性,本文在基本語(yǔ)義映射規(guī)則的基礎(chǔ)上給出了BPEL到LOTOS的數(shù)據(jù)類型映射。另外,針對(duì)BPEL中的故障處理給出了相應(yīng)的映射規(guī)則。BPEL是動(dòng)態(tài)組合Web服務(wù)的,其組合情況千變?nèi)f化,為了保證自動(dòng)轉(zhuǎn)換過(guò)程一定的通用性,本文提出一種基于翻譯模式的BPEL到LOTOS轉(zhuǎn)換算法。從BPEL語(yǔ)言的XML Schema定義出發(fā),分析BPEL語(yǔ)言本身結(jié)構(gòu),根據(jù)其活動(dòng)元素和屬性之間的關(guān)系得到BPEL產(chǎn)生式。根據(jù)這兩類語(yǔ)言間的的語(yǔ)義映射規(guī)則,分析綜合屬性和繼承屬性,設(shè)計(jì)得到產(chǎn)生式語(yǔ)義動(dòng)作,進(jìn)而得到整個(gè)翻譯模式,并使用SWT技術(shù)實(shí)現(xiàn)該自動(dòng)轉(zhuǎn)換工具。最后結(jié)合Web服務(wù)實(shí)例,驗(yàn)證該工具的可行性。
[Abstract]:Web services composition can effectively assemble a variety of cross-platform services in the network, and realize the information sharing among the services. And finally form a powerful service flow to adapt to the current complex enterprise environment. BPEL is a common way and an important way to implement Web services composition, which defines the entire control logic of composite services. Because of the heterogeneity of network environment, the loose coupling of service development mode and the dynamic of service collaboration, The Web service test can only test the system for specific input, and its testing scope is not comprehensive. In order to find out the important problems in composition before Web services are put into operation, the nature of Web services composition verification system is combined with service testing, which is a double insurance against the defects of service composition. Formal method is used to describe WEB service composition, and to verify the correctness of service composition logic based on formalization technology. In this paper, a formal description language LOTOS is used to model BPEL. In order to ensure the correctness of the service composition process, the model detector Evaluator in the CADP tool set is used to verify the established model, and the Web service composition described by BPEL is automatically converted into LOTOS description. It has become a prerequisite to ensure the correctness of the verification process. In order to realize the automatic transformation from BPEL to LOTOS, the semantic mapping rules from BPEL to LOTOS should be defined first. In order to ensure the consistency of data in LOTOS and BPEL, this paper gives the data type mapping from BPEL to LOTOS on the basis of basic semantic mapping rules. The corresponding mapping rule. BPEL is a dynamic composition of Web services for fault handling in BPEL. The composition of Web services varies greatly. In order to ensure the generality of the automatic transformation process, the mapping rule. This paper presents an algorithm for transforming BPEL to LOTOS based on translation mode. Based on the definition of XML Schema in BPEL language, the structure of BPEL language is analyzed. According to the relation between the active elements and the attributes, the BPEL production is obtained. According to the semantic mapping rules between the two languages, the synthesis and inheritance attributes are analyzed, and the production semantic actions are designed, and the whole translation mode is obtained. The SWT technology is used to realize the automatic transformation tool. Finally, the feasibility of the tool is verified by the example of Web service.
【學(xué)位授予單位】：北方工業(yè)大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2013
【分類號(hào)】：TP311.53

【相似文獻(xiàn)】

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

1 宋庭新;朱傳鴻;方立志;;基于BPEL的跨域業(yè)務(wù)協(xié)同建模方法的研究與實(shí)現(xiàn)[J];湖北工業(yè)大學(xué)學(xué)報(bào);2009年02期

2 馬騫;虞建杰;馬曉星;呂建;;一種基于運(yùn)行時(shí)體系結(jié)構(gòu)的BPEL支撐環(huán)境[J];電子學(xué)報(bào);2006年S1期

3 王迪;蔡菊;李必信;;一種面向服務(wù)組合的回歸測(cè)試技術(shù)[J];小型微型計(jì)算機(jī)系統(tǒng);2009年07期

4 鄧晶;夏潤(rùn)亮;王志堅(jiān);;BPEL服務(wù)組合優(yōu)化架構(gòu)[J];計(jì)算機(jī)系統(tǒng)應(yīng)用;2010年12期

5 胡顯偉;楊雷;代鈺;張斌;;服務(wù)網(wǎng)格中面向業(yè)務(wù)用戶的服務(wù)組合方法[J];沈陽(yáng)航空工業(yè)學(xué)院學(xué)報(bào);2007年04期

6 高曉燕;余鎮(zhèn)危;史銀龍;;基于QoS的P2P網(wǎng)絡(luò)服務(wù)組合聚集遺傳算法模型[J];計(jì)算機(jī)工程;2007年19期

7 張以文;;一種支持用戶偏好的語(yǔ)義Web服務(wù)組合算法[J];安慶師范學(xué)院學(xué)報(bào)(自然科學(xué)版);2007年04期

8 吉春山;劉曉燕;呂蘇環(huán);;Web服務(wù)語(yǔ)言BPEL到接口自動(dòng)機(jī)的轉(zhuǎn)換[J];山東理工大學(xué)學(xué)報(bào)(自然科學(xué)版);2008年02期

9 劉青;張世龍;楊銳;連祥鑒;;基于模擬退火算法的QoS約束web服務(wù)組合(英文)[J];Journal of Southeast University(English Edition);2008年03期

10 王銳兵;許有志;王道平;;基于語(yǔ)義擴(kuò)展的知識(shí)服務(wù)檢索與組合方法研究[J];情報(bào)雜志;2008年12期

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

1 江琦;奚宏生;殷保群;;網(wǎng)絡(luò)新媒體服務(wù)系統(tǒng)事件驅(qū)動(dòng)的動(dòng)態(tài)服務(wù)組合[A];第二十九屆中國(guó)控制會(huì)議論文集[C];2010年

2 陳步橋;徐濤;;一種基于BPEL加入語(yǔ)義的動(dòng)態(tài)服務(wù)組合框架[A];中國(guó)通信學(xué)會(huì)第六屆學(xué)術(shù)年會(huì)論文集（上）[C];2009年

3 袁兆山;吳亮;;QoS驅(qū)動(dòng)的事務(wù)性WEB服務(wù)組合[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年

4 張功源;李必信;邱棟;吉順慧;;一種基于并發(fā)的BPEL控制流模型的分析及驗(yàn)證[A];第六屆中國(guó)測(cè)試學(xué)術(shù)會(huì)議論文集[C];2010年

5 張玉軍;李心科;;面向自然語(yǔ)言描述的Web服務(wù)組合[A];2011中國(guó)儀器儀表與測(cè)控技術(shù)大會(huì)論文集[C];2011年

6 段友祥;相鵬;;Web服務(wù)組合引擎的研究與實(shí)現(xiàn)[A];第二十三屆中國(guó)數(shù)據(jù)庫(kù)學(xué)術(shù)會(huì)議論文集（研究報(bào)告篇）[C];2006年

7 朱潔;傅鐵華;何守才;;增強(qiáng)型抽象數(shù)據(jù)類型處理技術(shù)的探索[A];第十五屆全國(guó)數(shù)據(jù)庫(kù)學(xué)術(shù)會(huì)議論文集[C];1998年

8 張艷梅;;基于Overlay網(wǎng)絡(luò)的服務(wù)組合研究綜述[A];2006北京地區(qū)高校研究生學(xué)術(shù)交流會(huì)——通信與信息技術(shù)會(huì)議論文集（上）[C];2006年

9 汪小林;龐瀟;王海波;羅英偉;;基于SOA的GIS應(yīng)用設(shè)計(jì)與實(shí)現(xiàn)[A];2009`中國(guó)地理信息產(chǎn)業(yè)論壇暨第二屆教育論壇就業(yè)洽談會(huì)論文集[C];2009年

10 成睿星;蘇森;楊放春;;使用范例推理的服務(wù)組合方法研究[A];2006年全國(guó)通信軟件學(xué)術(shù)會(huì)議論文集[C];2006年

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

1 周自進(jìn);珠寶展應(yīng)講究服務(wù)組合[N];中國(guó)黃金報(bào);2003年

2 本報(bào)實(shí)習(xí)記者 王一;借“服務(wù)牌”曲徑通幽[N];通信產(chǎn)業(yè)報(bào);2006年

3 陳秀云邋于剛;臨淄工商：打好服務(wù)組合“牌”[N];淄博日?qǐng)?bào);2008年

4 馮霖銘邋靳選東;打好執(zhí)法與服務(wù)組合拳[N];中國(guó)質(zhì)量報(bào);2007年

5 記者 鄒良麗　通訊員 叢廣;草廟子鎮(zhèn)：“服務(wù)組合拳”助項(xiàng)目提速[N];威海日?qǐng)?bào);2011年

6 中國(guó)科學(xué)院計(jì)算技術(shù)研究所 萬(wàn)長(zhǎng)林邋史忠植 彭暉;語(yǔ)義Web解決Web服務(wù)難題[N];計(jì)算機(jī)世界;2007年

7 郭濤;咨詢與管理一氣呵成[N];中國(guó)計(jì)算機(jī)報(bào);2006年

8 計(jì)育青;“應(yīng)用為先”樹立戴爾服務(wù)新主張[N];中國(guó)電子報(bào);2003年

9 張小琳;IPTV 能否在亞洲實(shí)現(xiàn)真正的騰飛？[N];中國(guó)經(jīng)營(yíng)報(bào);2006年

10 韓燕波;SOA與網(wǎng)格：整合資源新模式[N];計(jì)算機(jī)世界;2006年

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

1 龍軍;基于信任感知與演化的服務(wù)組合關(guān)鍵技術(shù)研究[D];中南大學(xué);2011年

2 劉波;云制造環(huán)境中面向多任務(wù)的服務(wù)組合與優(yōu)化技術(shù)研究[D];重慶大學(xué);2012年

3 朱銳;可信服務(wù)組合若干關(guān)鍵技術(shù)研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2009年

4 陳志勇;面向模糊請(qǐng)求的服務(wù)組合關(guān)鍵問(wèn)題研究[D];山東大學(xué);2011年

5 馬林;基于可信評(píng)估的服務(wù)組合方法研究[D];中國(guó)科學(xué)技術(shù)大學(xué);2012年

6 于曉浩;面向任務(wù)的軍事信息服務(wù)組合方法與關(guān)鍵技術(shù)研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2011年

7 翟巖龍;開放網(wǎng)絡(luò)環(huán)境中動(dòng)態(tài)自適應(yīng)服務(wù)組合技術(shù)研究[D];北京理工大學(xué);2009年

8 張帥;基于服務(wù)組合的跨企業(yè)協(xié)作關(guān)鍵技術(shù)研究[D];浙江大學(xué);2011年

9 鮑亮;基于函數(shù)式編程的Web服務(wù)組合技術(shù)研究[D];西安電子科技大學(xué);2010年

10 張楊;語(yǔ)義Web服務(wù)組合的可信性度量研究[D];重慶大學(xué);2011年

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

1 何霞;基于翻譯模式的BPEL到LOTOS映射方法研究[D];北方工業(yè)大學(xué);2013年

2 譚征;一種Web服務(wù)組合的自動(dòng)化模型檢測(cè)方法[D];桂林電子科技大學(xué);2010年

3 穆林;基于BPEL的Web服務(wù)組合技術(shù)研究與實(shí)現(xiàn)論[D];河海大學(xué);2006年

4 陳步橋;民航公眾信息服務(wù)平臺(tái)中基于BPEL的動(dòng)態(tài)服務(wù)組合研究與實(shí)現(xiàn)[D];南京航空航天大學(xué);2010年

5 蔣黎明;基于BPEL和SOA的Web服務(wù)組合技術(shù)研究與應(yīng)用[D];南京理工大學(xué);2007年

6 申慶華;面向服務(wù)架構(gòu)中web服務(wù)組合安全的研究與實(shí)現(xiàn)[D];重慶大學(xué);2009年

7 趙偉偉;基于冗余的可靠Web服務(wù)組合方法研究[D];燕山大學(xué);2010年

8 陳楠;語(yǔ)義Web服務(wù)組合相關(guān)技術(shù)研究[D];中南大學(xué);2010年

9 魯琳;面向服務(wù)質(zhì)量的服務(wù)組合方法研究[D];浙江大學(xué);2006年

10 許楠;Web服務(wù)組合可視化建模工具的研究與實(shí)現(xiàn)[D];大連海事大學(xué);2010年

，

本文編號(hào)：1499745