本文關鍵詞：RESTful Web服務的形式化建模與分析

  更多相關文章： RESTful Web服務 CSP 無狀態(tài)性 超媒體驅動 PAT

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

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

【相似文獻】

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

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

2 ;[J];;年期

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

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

2 吳昌雨;基于Grails框架構建RESTful Web服務研究[D];安徽大學;2013年

，

本文編號：976268