發(fā)布時(shí)間：2017-09-08 17:03

  本文關(guān)鍵詞：基于日志的Web組合服務(wù)交互行為一致性分析研究

  更多相關(guān)文章： BPEL 接口自動(dòng)機(jī) 日志 Web服務(wù)

【摘要】：隨著信息技術(shù)的發(fā)展,越來(lái)越多的信息以Web服務(wù)的形式提供給用戶。然而單個(gè)Web服務(wù)功能有限,因此需要構(gòu)造組合服務(wù)來(lái)實(shí)現(xiàn)功能多樣化。但是將單個(gè)Web服務(wù)組合以后,可能會(huì)引發(fā)Web組合服務(wù)交互行為與BPEL流程規(guī)約之間不一致的問(wèn)題。本文對(duì)Web組合服務(wù)的行為進(jìn)行一致性驗(yàn)證就是為了保證組合服務(wù)實(shí)際運(yùn)行時(shí)的交互行為符合BPEL流程規(guī)約,主要研究?jī)?nèi)容介紹如下：第一,為基于BPEL格式的Web組合服務(wù)規(guī)約建立了接口自動(dòng)機(jī)模型,并對(duì)該模型的形式化定義進(jìn)行了擴(kuò)展。本文的建模方法考慮了流程的行為約束和數(shù)據(jù)約束兩個(gè)方面。第二,通過(guò)log4j技術(shù)來(lái)獲取Web組合服務(wù)實(shí)際運(yùn)行的交互行為日志信息,并將信息存儲(chǔ)到log文件中。之后解析日志信息得到日志行為序列,用于行為一致性驗(yàn)證。第三,設(shè)計(jì)了行為一致性驗(yàn)證算法,該算法能夠驗(yàn)證Web組合服務(wù)運(yùn)行時(shí)交互行為是否符合其BPEL流程規(guī)約。第四,實(shí)現(xiàn)了一個(gè)驗(yàn)證原型用于驗(yàn)證本文算法,并通過(guò)Book System實(shí)例驗(yàn)證了該原型的功能。
【關(guān)鍵詞】：BPEL 接口自動(dòng)機(jī) 日志 Web服務(wù)
【學(xué)位授予單位】：內(nèi)蒙古大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2015
【分類號(hào)】：TP393.09
【目錄】：

• 摘要4-5
• ABSTRACT5-11
• 第一章 引言11-15
• 1.1 研究背景11
• 1.2 研究現(xiàn)狀11-13
• 1.3 研究?jī)?nèi)容13-14
• 1.4 論文結(jié)構(gòu)14-15
• 第二章 背景知識(shí)介紹15-24
• 2.1 BPEL與WSDL介紹15-17
• 2.1.1 Web服務(wù)描述語(yǔ)言-WSDL15
• 2.1.2 Web服務(wù)組合語(yǔ)言-BPEL15-17
• 2.1.3 BPEL與WSDL的關(guān)系17
• 2.2 接口自動(dòng)機(jī)簡(jiǎn)介17-19
• 2.2.1 非形式化描述17-18
• 2.2.2 形式化定義18-19
• 2.2.3 特點(diǎn)及意義19
• 2.3 LOG4J介紹19-23
• 2.3.1 log4j的組成20-22
• 2.3.2 log4j的用法22-23
• 2.4 本章小結(jié)23-24
• 第三章 基于接口自動(dòng)機(jī)的WEB組合服務(wù)建模24-36
• 3.1 BPEL流程轉(zhuǎn)換為接口自動(dòng)機(jī)模型25-28
• 3.1.1 消息變量轉(zhuǎn)換為接口自動(dòng)機(jī)模型25
• 3.1.2 基本活動(dòng)轉(zhuǎn)換為接口自動(dòng)機(jī)模型25-27
• 3.1.3 結(jié)構(gòu)化活動(dòng)轉(zhuǎn)換為接口自動(dòng)機(jī)模型27-28
• 3.2 擴(kuò)展的接口自動(dòng)機(jī)模型28-33
• 3.2.1 擴(kuò)展的目的28-29
• 3.2.2 擴(kuò)展的方法29-30
• 3.2.3 Book System實(shí)例30-33
• 3.3 提取接口自動(dòng)機(jī)模型中的可達(dá)路徑33-35
• 3.4 本章小結(jié)35-36
• 第四章 WEB組合服務(wù)的日志分析36-39
• 4.1 由WEB組合服務(wù)生成日志36
• 4.1.1 記錄日志36
• 4.1.2 輸出日志36
• 4.2 解析日志得到行為序列36-38
• 4.2.1 生成行為序列的算法36-37
• 4.2.2 Book System實(shí)例舉例37-38
• 4.3 本章小結(jié)38-39
• 第五章 行為一致性驗(yàn)證算法39-43
• 5.1 行為一致性描述39
• 5.2 算法介紹39-41
• 5.3 BOOK SYSTEM實(shí)例舉例41-42
• 5.4 本章小結(jié)42-43
• 第六章 WEB組合服務(wù)行為一致性驗(yàn)證原型的實(shí)現(xiàn)43-50
• 6.1 實(shí)驗(yàn)過(guò)程43-44
• 6.2 原型功能44-45
• 6.3 原型實(shí)現(xiàn)45-46
• 6.3.1 開(kāi)發(fā)環(huán)境45
• 6.3.2 原型主界面45-46
• 6.4 BOOK SYSTEM實(shí)例分析46-49
• 6.5 本章小結(jié)49-50
• 第七章 總結(jié)與展望50-52
• 7.1 總結(jié)50
• 7.2 本文優(yōu)點(diǎn)50-51
• 7.3 展望51-52
• 參考文獻(xiàn)52-55
• 致謝55

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前3條

1 鄧桂英;組合Web服務(wù)中的數(shù)據(jù)一致性保持策略[J];上海理工大學(xué)學(xué)報(bào);2004年06期

2 張巖;胡軍;于笑豐;李宣東;鄭國(guó)梁;;接口自動(dòng)機(jī)——一種用于組件組合的形式系統(tǒng)[J];計(jì)算機(jī)科學(xué);2005年11期

3 張亞紅;張琳琳;趙楷;陳佳麗;馮在文;;基于UML2.0序列圖的Web服務(wù)運(yùn)行時(shí)驗(yàn)證方法[J];計(jì)算機(jī)科學(xué);2013年07期

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前1條

1 鄧水光;Web服務(wù)自動(dòng)組合與形式化驗(yàn)證的研究[D];浙江大學(xué);2007年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前4條

1 韓仲志;面向Web組合服務(wù)的運(yùn)行時(shí)監(jiān)控技術(shù)研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2011年

2 蘇煥程;一種基于接口自動(dòng)機(jī)的BPEL4WS行為一致性的驗(yàn)證及適配方法[D];南京航空航天大學(xué);2009年

3 王文文;Web服務(wù)建模與服務(wù)一致性檢測(cè)技術(shù)研究[D];北方工業(yè)大學(xué);2012年

4 楊蕾;基于SSH2+Log4J的鋼廠材料管理系統(tǒng)的設(shè)計(jì)[D];復(fù)旦大學(xué);2013年

，

本文編號(hào)：815221