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

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

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

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

相關(guān)期刊論文 前3條

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

2 劉靖;葉新銘;周建濤;;復(fù)雜網(wǎng)絡(luò)軟件的著色Petri網(wǎng)層次建模及模型集成確認(rèn)方法[J];高技術(shù)通訊;2013年11期

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

相關(guān)博士學(xué)位論文 前1條

1 鄧子云;基于CPN與SOA的服務(wù)組合技術(shù)及其在超算仿真云平臺(tái)的應(yīng)用研究[D];湖南大學(xué);2016年

相關(guān)碩士學(xué)位論文 前10條

1 孫祖漢;基于OKApi可視化RESTful服務(wù)組合建模研究與實(shí)現(xiàn)[D];浙江大學(xué);2016年

2 劉江;基于分層著色Petri網(wǎng)的Web服務(wù)組合性能分析[D];江西師范大學(xué);2015年

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

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

5 王晶;基于對(duì)象Petri網(wǎng)的服務(wù)集成建模與合理性初步分析[D];南京大學(xué);2014年

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

7 李延;基于REST架構(gòu)的web服務(wù)技術(shù)研究[D];武漢理工大學(xué);2013年

8 張志強(qiáng);基于著色Petri網(wǎng)的建模和模型性質(zhì)分析驗(yàn)證的研究[D];山東大學(xué);2012年

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

10 朱珠;OSGI框架下REST架構(gòu)風(fēng)格的數(shù)據(jù)中心環(huán)境監(jiān)測(cè)系統(tǒng)的分析與設(shè)計(jì)[D];北京交通大學(xué);2010年

本文編號(hào)：2870661