當前Web服務應用得到了迅速發(fā)展,其中REST服務架構得到了廣泛的應用。REST服務架構指一種結合HTTP標準和URI標準的設計原理抽象成的新風格,主要優(yōu)勢在于其是一種對服務器更加有效的抽象方式。REST服務架構提供了一組架構約束,其六個標準特征約束帶來了極大的好處。REST服務架構以其便捷性、高擴展性、高伸縮性、低耦合性和可重用性等優(yōu)點,吸引了軟件工程理論界和工業(yè)界的廣泛關注和應用,對其研究日益增多。隨著REST服務架構系統(tǒng)的廣泛應用,對其造成的錯誤理解與應用也隨之增多,當前有些REST服務架構應用破壞其標準特征約束條件,故會帶來相應的問題。破壞客戶-服務器約束會增加系統(tǒng)服務器的時間開銷;破壞可緩存約束會降低系統(tǒng)訪問效率;破壞無狀態(tài)約束會降低系統(tǒng)可伸縮性,影響系統(tǒng)負載均衡等。因此,進行基于REST服務架構應用系統(tǒng)的設計時,應對REST服務架構標準特征約束進行驗證。本文針對REST服務架構標準特征約束的形式化驗證研究缺乏的問題,同時鑒于CPN方法具有層次化建模、復雜數據和并發(fā)行為描述以及可視化程度高等特點,提出一種基于CPN模型的REST服務架構標準特征約束驗證方法,主要包含三部分核心內容:REST服務架構標準特征約束的CPN建模、REST服務架構標準特征約束驗證方法和REST服務架構標準特征約束驗證方法的實例驗證,通過使用同步路徑匹配的核心算法,達到驗證基于REST服務架構Web應用設計是否符合標準特征約束,并在不符合標準特征約束時提供直觀、可行的執(zhí)行數據,便于后續(xù)完成應用系統(tǒng)設計的缺陷定位及修改完善。
【學位單位】：內蒙古大學
【學位級別】：碩士
【學位年份】：2018
【中圖分類】：TP393.09
【部分圖文】：

圖 2.1 CPN Tools 功能界面圖Figure 2.1 CPN Tools functional interfaceCPN Tools 的界面如圖 2.1 所示，主要由工具欄和編輯區(qū)組成，用戶可在左側工具欄選取相應的功能欄，拖入編輯區(qū)進行建模和仿真分析。例如，上圖使用 Net 功能欄創(chuàng)建 CPN 模型后，可以使用模擬執(zhí)行功能（Simulation）工具欄，進行動態(tài)執(zhí)行該模型。模擬執(zhí)行功能主要包含：單步執(zhí)行、連續(xù)執(zhí)行 50 步、后退、和停止等功能。若模擬執(zhí)行結果和預期不一樣，表明該模型存在錯誤，需要進行修改；若結果和預期一樣，則可執(zhí)行狀態(tài)空間（Stata Space）的功能，可生成模型的部分或全部的狀態(tài)空間報告，通過該報告可檢驗模型的有界性和活性等信息。監(jiān)視器（Monitoring）功能主要用于監(jiān)測、控制和修改模擬過程，可以監(jiān)測模型的狀態(tài)等功能，從而可對 CPN 模型的性能進行分析。2.2.3 基于模型狀態(tài)空間方法概述在 CPN Tools 仿真工具中，可以使用狀態(tài)空間方法對模型進行驗證，狀態(tài)空間也稱可達

圖 3.4 客戶端-服務器約束的 CPN 模型Figure 3.4 CPN model of client-server constraint如圖 3.4 所示，給出了 REST 服務架構的客戶-服務器標準特征約束模型。首先，用戶 User Agent 即客戶端發(fā)出請求消息 msg，msg 描述為 Msg1 類型的變量，該類型在 CPN中定義為 record 預定義類型：colset Msg1=record m:MSG * f:FORMAT * s:SENDER:RECEIVER，以上四者定義見3.2節(jié)。其次，初始標識1`{m="1", f="format", s="ua", r="uacac示由客戶端發(fā)出查詢請求消息，m="1"表明該請求資源的標識符 id=1，f="format"表示發(fā)請求消息格式，s="ua"表示請求消息的發(fā)送者為 User Agent，r="uacache"表示請求消息的者為用戶代理的內部緩存，首先應查詢用戶代理的緩存中是否存在該資源信息，若該請源存在于 User Agent 的緩存中（用 RequestUC 點火變遷出弧表達式中的標識{m="="format", s="ua", r="uacache"}表示），則由其內部緩存返回響應信息給用戶代理，最后eply 點火變遷出弧表達式中的標識{m="1", f="format", s="uacache", r="ua"}表示返回效應給用戶代理 User Agent；若 User Agent 的緩存中不存在該請求資源（用 RequestUC 點火

圖 3.5 客戶-服務器約束的狀態(tài)空間圖Figure 3.5 State space map of client-server constraint務器約束的狀態(tài)空間，該狀態(tài)空間表明模型狀態(tài)，由初始狀態(tài)直至結束狀態(tài)均呈現在該狀態(tài)空間圖發(fā)執(zhí)行兩條點火變遷路徑，表明其有初始標識有兩，同時由以上路徑可發(fā)現某狀態(tài)可執(zhí)行的點火變遷中無狀態(tài)本質上指的是組件間的通信是無狀態(tài)的，信息。狀態(tài)信息只存在通信消息中，即用戶代理發(fā)所有信息，即前文中所說的自描述 Self-descriptiv代理中，服務器是無狀態(tài)的，服務器只存儲上下文代理時，但多個用戶代理所請求的資源信息是相同代理。無狀態(tài)約束屬性改善了 REST 服務架構系
【參考文獻】

相關期刊論文 前3條

1 王進;黃志球;;面向超媒體鏈接的RESTful服務隱私建模方法[J];計算機研究與發(fā)展;2017年04期

2 劉靖;葉新銘;周建濤;;復雜網絡軟件的著色Petri網層次建模及模型集成確認方法[J];高技術通訊;2013年11期

3 孫大猛;陳林;;面向服務架構的廣告商業(yè)系統(tǒng)集成[J];軟件導刊;2012年01期

相關博士學位論文 前1條

1 鄧子云;基于CPN與SOA的服務組合技術及其在超算仿真云平臺的應用研究[D];湖南大學;2016年

相關碩士學位論文 前10條

1 孫祖漢;基于OKApi可視化RESTful服務組合建模研究與實現[D];浙江大學;2016年

2 劉江;基于分層著色Petri網的Web服務組合性能分析[D];江西師范大學;2015年

3 唐翊婷;多視圖下的REST及SA-REST的形式化方法研究[D];華東師范大學;2015年

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

5 王晶;基于對象Petri網的服務集成建模與合理性初步分析[D];南京大學;2014年

6 孫再亮;基于進程代數的REST系統(tǒng)的形式化建模與分析[D];華東師范大學;2014年

7 李延;基于REST架構的web服務技術研究[D];武漢理工大學;2013年

8 張志強;基于著色Petri網的建模和模型性質分析驗證的研究[D];山東大學;2012年

9 孫連俠;基于分層著色Petri網的Web服務動態(tài)組合建模與驗證[D];中國石油大學;2011年

10 朱珠;OSGI框架下REST架構風格的數據中心環(huán)境監(jiān)測系統(tǒng)的分析與設計[D];北京交通大學;2010年

本文編號：2870661