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

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

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

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

【參考文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

，

本文編號：815221