本文關(guān)鍵詞：面向Web服務(wù)異步化的事務(wù)機(jī)制研究

  更多相關(guān)文章： 異步Web服務(wù) 時(shí)間自動(dòng)機(jī) 異步化算法 事務(wù)協(xié)調(diào) 恢復(fù)策略

【摘要】：近年來,互聯(lián)網(wǎng)技術(shù)的蓬勃發(fā)展使得Web服務(wù)正逐步覆蓋到人們生活的方方面面。用戶在使用Web服務(wù)時(shí),需要與服務(wù)進(jìn)行交互以完成服務(wù)信息的傳遞,對Web服務(wù)組合來說,各個(gè)成員服務(wù)之間也需要進(jìn)行交互以便協(xié)同完成整個(gè)業(yè)務(wù)流程。在實(shí)際應(yīng)用中,工業(yè)界多使用同步通信機(jī)制來處理用戶與服務(wù)以及成員服務(wù)之間的消息交互問題,然而由于同步通信存在等待阻塞等問題,服務(wù)的可靠性和效率得不到保障。異步Web服務(wù)在可靠性、執(zhí)行效率和靈活性上都要明顯優(yōu)于同步Web服務(wù)。與此同時(shí),隨著異步Web服務(wù)的普及,在長周期的業(yè)務(wù)流程中參與者的正確交互和一致性的運(yùn)行結(jié)果就顯得至關(guān)重要。另一方面,學(xué)術(shù)界缺少對同步Web服務(wù)轉(zhuǎn)換為異步Web服務(wù)的研究。本文針對上述問題,給出了一種基于時(shí)間自動(dòng)機(jī)的同步Web服務(wù)到異步Web服務(wù)的異步化算法,并對異步Web服務(wù)事務(wù)協(xié)調(diào)中的參與者和協(xié)調(diào)者進(jìn)行了建模,給出了協(xié)調(diào)策略和故障處理方法。本文的主要研究內(nèi)容如下:(1)分析了Web服務(wù)對異步的需求以及Web服務(wù)交互過程中可能存在的時(shí)間約束,然后提出了基于時(shí)間自動(dòng)機(jī)的Web服務(wù)模型,并在此基礎(chǔ)上給出了WS-BPEL到時(shí)間自動(dòng)機(jī)的轉(zhuǎn)換規(guī)則,最后給出了可異步化的判定條件和異步化算法的設(shè)計(jì)。(2)分析了異步Web服務(wù)對事務(wù)機(jī)制的需求,然后對異步Web服務(wù)事務(wù)協(xié)調(diào)過程中的參與者和協(xié)調(diào)者進(jìn)行了建模,并給出了協(xié)調(diào)算法和協(xié)調(diào)策略,最后對面向約束的恢復(fù)策略進(jìn)行了研究。(3)利用本文提出的方法設(shè)計(jì)并實(shí)現(xiàn)了Web服務(wù)事務(wù)系統(tǒng),該系統(tǒng)將分析服務(wù)提供方所提供的服務(wù),并向其返回可異步執(zhí)行的交互行為;同時(shí)用戶通過使用該系統(tǒng),可以獲得經(jīng)過協(xié)調(diào)并滿足用戶需求的服務(wù)推薦。最后,通過實(shí)例說明了本文方法的可行性和有效性。
【關(guān)鍵詞】：異步Web服務(wù) 時(shí)間自動(dòng)機(jī) 異步化算法 事務(wù)協(xié)調(diào) 恢復(fù)策略
【學(xué)位授予單位】：南京航空航天大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2016
【分類號(hào)】：TP393.09
【目錄】：

• 摘要4-5
• abstract5-10
• 縮略詞10-11
• 第一章 緒論11-16
• 1.1 課題研究背景11-12
• 1.2 國內(nèi)外研究現(xiàn)狀及選題依據(jù)12-15
• 1.2.1 國內(nèi)外研究現(xiàn)狀12-14
• 1.2.2 選題依據(jù)14-15
• 1.3 論文組織結(jié)構(gòu)15-16
• 第二章 Web服務(wù)交互方式與事務(wù)處理技術(shù)16-27
• 2.1 Web服務(wù)交互方式16-20
• 2.1.1 Web服務(wù)的同步交互模型17-18
• 2.1.2 Web服務(wù)的異步交互模型18-20
• 2.2 Web服務(wù)事務(wù)處理技術(shù)20-25
• 2.2.1 Web服務(wù)事務(wù)協(xié)調(diào)協(xié)議WS-C21-22
• 2.2.2 原子事務(wù)協(xié)調(diào)協(xié)議WS-AT22-24
• 2.2.3 業(yè)務(wù)活動(dòng)協(xié)調(diào)協(xié)議WS-BA24-25
• 2.3 面向異步的Web服務(wù)事務(wù)研究框架25-26
• 2.4 本章小結(jié)26-27
• 第三章 Web服務(wù)的異步化構(gòu)建27-40
• 3.1 Web服務(wù)的異步化27-30
• 3.1.1 Web服務(wù)對異步的需求27-29
• 3.1.2 異步Web服務(wù)中的時(shí)間約束29-30
• 3.2 Web服務(wù)的形式化建模30-36
• 3.2.1 時(shí)間自動(dòng)機(jī)概述30-31
• 3.2.2 基于時(shí)間自動(dòng)機(jī)的Web服務(wù)模型31
• 3.2.3 WS-BPEL到時(shí)間自動(dòng)機(jī)的轉(zhuǎn)換31-36
• 3.3 Web服務(wù)異步化算法36-39
• 3.3.1 可異步化判定條件36-37
• 3.3.2 異步化算法的設(shè)計(jì)37-39
• 3.4 本章小結(jié)39-40
• 第四章 面向異步Web服務(wù)的事務(wù)處理模型40-53
• 4.1 異步Web服務(wù)對事務(wù)機(jī)制的需求40-41
• 4.2 異步Web服務(wù)的事務(wù)協(xié)調(diào)模型41-45
• 4.2.1 異步Web服務(wù)參與者建模42-43
• 4.2.2 事務(wù)協(xié)調(diào)器建模43-45
• 4.3 事務(wù)協(xié)調(diào)過程45-51
• 4.3.1 原子事務(wù)和長事務(wù)的協(xié)調(diào)算法45-48
• 4.3.2 面向依賴關(guān)系的事務(wù)協(xié)調(diào)策略48-51
• 4.4 面向時(shí)間約束的故障恢復(fù)策略51-52
• 4.5 本章小結(jié)52-53
• 第五章 面向異步的Web服務(wù)事務(wù)系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)53-62
• 5.1 Web服務(wù)事務(wù)系統(tǒng)設(shè)計(jì)53-55
• 5.1.1 系統(tǒng)框架53-54
• 5.1.2 系統(tǒng)執(zhí)行流程54-55
• 5.2 系統(tǒng)模塊實(shí)現(xiàn)55-57
• 5.2.1 Web服務(wù)異步化模塊55
• 5.2.2 事務(wù)協(xié)調(diào)模塊55-57
• 5.3 應(yīng)用實(shí)例分析57-61
• 5.3.1 交互行為的異步化分析59-60
• 5.3.2 事務(wù)協(xié)調(diào)60-61
• 5.4 本章小結(jié)61-62
• 第六章 總結(jié)與展望62-64
• 6.1 論文工作總結(jié)62
• 6.2 未來工作展望62-64
• 參考文獻(xiàn)64-69
• 致謝69-70
• 在學(xué)期間的研究成果及發(fā)表的學(xué)術(shù)論文70

，

本文編號(hào)：966957