發(fā)布時(shí)間：2017-10-05 10:24

  本文關(guān)鍵詞：RESTful Web服務(wù)的形式化建模與分析

  更多相關(guān)文章： RESTful Web服務(wù) CSP 無(wú)狀態(tài)性 超媒體驅(qū)動(dòng) PAT

【摘要】：Web服務(wù)技術(shù)自上世紀(jì)90年代誕生以來(lái),就開(kāi)始了需求激勵(lì)技術(shù)、技術(shù)推動(dòng)服務(wù)的浪潮式發(fā)展。在信息技術(shù)推陳出新日益頻繁的今天,REST架構(gòu)由于具有簡(jiǎn)單性、高可擴(kuò)展性、高可伸縮性、低耦合性、高可重用性等特性,引起了理論界和工業(yè)界的矚目,對(duì)它的研究和應(yīng)用也越來(lái)越多。RESTful Web服務(wù)是指將REST架構(gòu)應(yīng)用在Web中,以資源為中心,使用URI作為統(tǒng)一資源標(biāo)識(shí)符,使用HTTP協(xié)議中的方法作為操作資源的統(tǒng)一方法的Web服務(wù)。從REST架構(gòu)提出至今,形式化領(lǐng)域中對(duì)其的研究工作并不多,而缺少形式化模型的支持使得REST架構(gòu)風(fēng)格的設(shè)計(jì)原則在工業(yè)界經(jīng)常被誤用,REST也沒(méi)有發(fā)揮出它真正的強(qiáng)大能力。本文使用進(jìn)程代數(shù)中的CSP對(duì)RESTful Web服務(wù)進(jìn)行建模與分析。首先對(duì)REST架構(gòu)本身以及RESTful Web服務(wù)進(jìn)行了形式化建模,前者關(guān)注各個(gè)模塊內(nèi)的構(gòu)成,后者關(guān)注模塊之間的交互。RESTful Web服務(wù)模型將整個(gè)服務(wù)抽象成客戶端、服務(wù)器、資源三個(gè)模塊,分別描述成CSP中的進(jìn)程。每個(gè)模塊結(jié)合HTTP協(xié)議中的方法,對(duì)發(fā)送請(qǐng)求和接受請(qǐng)求的行為進(jìn)行刻畫(huà),分別描述了各個(gè)方法的具體行為。通過(guò)將資源獨(dú)立描述成一個(gè)進(jìn)程,模型很好地刻畫(huà)了資源的狀態(tài)變化。本文還使用一階邏輯對(duì)RESTful Web服務(wù)中最重要的無(wú)狀態(tài)性、超媒體驅(qū)動(dòng)以及HTTP協(xié)議方法的安全性和冪等性進(jìn)行描述,然后使用模型檢測(cè)工具PAT對(duì)其進(jìn)行了驗(yàn)證。最后,本文使用了一個(gè)具體案例來(lái)說(shuō)明模型的適用性。運(yùn)用形式化方法對(duì)RESTful Web服務(wù)進(jìn)行建模與分析,能增強(qiáng)工業(yè)界對(duì)REST架構(gòu)相關(guān)概念的理解,同時(shí)對(duì)其性質(zhì)的描述提供了一個(gè)檢驗(yàn)Web服務(wù)是否為RESTful的方法。
【關(guān)鍵詞】：RESTful Web服務(wù) CSP 無(wú)狀態(tài)性 超媒體驅(qū)動(dòng) PAT
【學(xué)位授予單位】：華東師范大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2015
【分類號(hào)】：TP393.09
【目錄】：

• 摘要6-7
• ABSTRACT7-11
• 第一章 緒論11-19
• 1.1 研究背景11-13
• 1.2 研究現(xiàn)狀與相關(guān)工作13-15
• 1.3 本文的研究貢獻(xiàn)與研究?jī)?nèi)容15-17
• 1.4 本文組織17-19
• 第二章 REST架構(gòu)與進(jìn)程代數(shù)19-33
• 2.1 REST架構(gòu)19-26
• 2.1.1 REST架構(gòu)總述19-23
• 2.1.2 REST約束23-25
• 2.1.3 RESTful Web服務(wù)25-26
• 2.2 進(jìn)程代數(shù)26-32
• 2.2.1 進(jìn)程代數(shù)26-27
• 2.2.2 CSP27-30
• 2.2.3 形式化驗(yàn)證方法及工具PAT30-32
• 2.3 本章小結(jié)32-33
• 第三章 RESTful Web服務(wù)建模33-51
• 3.1 REST架構(gòu)模型33-40
• 3.1.1 REST架構(gòu)抽象33-35
• 3.1.2 REST架構(gòu)建模35-40
• 3.2 RESTful Web服務(wù)模型40-49
• 3.2.1 RESTful Web服務(wù)抽象41-42
• 3.2.2 RESTful Web服務(wù)建模42-49
• 3.3 本章小結(jié)49-51
• 第四章 RESTful Web服務(wù)性質(zhì)分析與驗(yàn)證51-63
• 4.1 RESTful Web服務(wù)性質(zhì)分析51-57
• 4.1.1 REST性質(zhì)分析51-54
• 4.1.2 HTTP性質(zhì)分析54-57
• 4.2 RESTful Web服務(wù)性質(zhì)驗(yàn)證57-62
• 4.2.1 模型實(shí)現(xiàn)57-60
• 4.2.2 性質(zhì)驗(yàn)證與實(shí)驗(yàn)結(jié)果60-62
• 4.3 本章小結(jié)62-63
• 第五章 案例分析63-75
• 5.1 案例映射63-70
• 5.1.1 模型映射64-68
• 5.1.2 性質(zhì)映射68-70
• 5.2 案例驗(yàn)證70-73
• 5.3 本章小結(jié)73-75
• 第六章 總結(jié)與展望75-77
• 6.1 本文總結(jié)75-76
• 6.2 未來(lái)工作展望76-77
• 參考文獻(xiàn)77-85
• 攻讀碩士學(xué)位期間發(fā)表論文和參與科研情況85-87
• 致謝87

【相似文獻(xiàn)】

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

1 章武媚;;基于RESTful Web技術(shù)的資源管理系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[J];計(jì)算機(jī)應(yīng)用與軟件;2014年05期

2 ;[J];;年期

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

1 袁婷;RESTful Web服務(wù)的形式化建模與分析[D];華東師范大學(xué);2015年

2 吳昌雨;基于Grails框架構(gòu)建RESTful Web服務(wù)研究[D];安徽大學(xué);2013年

，

本文編號(hào)：976268