[發(fā)明專利]一種網(wǎng)絡(luò)服務(wù)交互行為形式化建模和死鎖定位方法

無效

• 申請?zhí)枺?/td>: 201310100798.2
• 申請日: 2013-03-26
• 公開（公告）號: CN103218414A
• 公開（公告）日: 2013-07-24
• 發(fā)明（設(shè)計(jì)）人: 張衛(wèi)豐;韓魯峰;王慕妮;張迎周;周國強(qiáng);周國富;許碧歡;陸柳敏
• 申請（專利權(quán)）人: 南京郵電大學(xué)
• 主分類號: G06F17/30
• 分類號: G06F17/30;G06F9/44
• 代理公司: 南京經(jīng)緯專利商標(biāo)代理有限公司 32200
• 代理人: 葉連生

1.?一種網(wǎng)絡(luò)服務(wù)交互行為形式化建模和死鎖定位方法，其特征在于該方法中用來建模和分析的文檔都是可擴(kuò)展標(biāo)記語言XML格式的，即必須保證構(gòu)建的用于對由進(jìn)程代數(shù)描述的網(wǎng)絡(luò)服務(wù)交互行為進(jìn)行自動(dòng)建模的HXML工具打開的文件是可擴(kuò)展標(biāo)記語言XML格式的，實(shí)現(xiàn)所包含的步驟為：

步驟1)?導(dǎo)入所需驗(yàn)證的文檔，這里的文檔必須是可擴(kuò)展標(biāo)記語言XML格式的，可以在導(dǎo)入文件的過程中忽略各種語言的語言特性，那么文件導(dǎo)入其實(shí)就是導(dǎo)入可擴(kuò)展標(biāo)記語言XML文檔；

步驟2)?對可擴(kuò)展標(biāo)記語言XML文檔進(jìn)行解析，采用文檔對象模型DOM樹分析，文檔對象模型DOM接口提供了一種通過分層對象模型來訪問可擴(kuò)展標(biāo)記語言XML文檔信息的方式，這些分層對象模型依據(jù)可擴(kuò)展標(biāo)記語言XML的文檔結(jié)構(gòu)形成了一棵節(jié)點(diǎn)樹，無論可擴(kuò)展標(biāo)記語言XML文檔中所描述的是什么類型的信息，即便是制表數(shù)據(jù)、項(xiàng)目列表或一個(gè)文檔，利用文檔對象模型DOM所生成的模型都是節(jié)點(diǎn)樹的形式；也就是說，文檔對象模型DOM強(qiáng)制使用樹模型來訪問可擴(kuò)展標(biāo)記語言XML文檔中的信息，具體的實(shí)現(xiàn)過程如下：

步驟2.1）建立一個(gè)解析器工廠，并通過這個(gè)工廠來獲得一個(gè)具體的解析器對象；

步驟2.2）使用解析器工廠的靜態(tài)方法獲得一個(gè)具體的文檔對象模型DOM解析器；

步驟2.3）利用這個(gè)解析器對可擴(kuò)展標(biāo)記語言XML文檔進(jìn)行解析，

步驟3）對可擴(kuò)展標(biāo)記語言XML文檔進(jìn)行建模，根據(jù)各類語言的建模規(guī)則，并將建模結(jié)構(gòu)進(jìn)行有機(jī)的結(jié)合，具體實(shí)現(xiàn)過程如下：

步驟3.1）讀取整個(gè)流程的起始標(biāo)志<process>，開始對文件建模，

????步驟3.2）讀取關(guān)鍵元素并進(jìn)行判斷，如果是結(jié)束標(biāo)志</process>，則建模結(jié)束；

????步驟3.3）如果不是結(jié)束標(biāo)志</process>，與接收活動(dòng)、響應(yīng)活動(dòng)、調(diào)用活動(dòng)、賦值活動(dòng)、空活動(dòng)、等待活動(dòng)、終止活動(dòng)、拋出異常、順序活動(dòng)、分支活動(dòng)、選擇活動(dòng)、流活動(dòng)進(jìn)行匹配，按照匹配成功的活動(dòng)建模規(guī)則進(jìn)行建模，

步驟3.4）繼續(xù)執(zhí)行步驟3.2）與步驟3.3），直到讀取到</process>；

步驟4）對步驟3)建立的模型進(jìn)行驗(yàn)證，具體實(shí)現(xiàn)過程如下：

????步驟4.1）從模型中讀取所有單一網(wǎng)絡(luò)服務(wù)的輸入和輸出；

步驟4.2）根據(jù)網(wǎng)絡(luò)服務(wù)的交互的先后順序，檢測上一步的輸出是否為下一步的輸入；

步驟4.3）如果判定為是，則依次入棧，直到最后一個(gè)元素入棧；

步驟4.4）如果判定為否，發(fā)出報(bào)告“模型中存在死鎖”，并停止入棧，

步驟5）死鎖定位，若步驟4）中報(bào)告不存在死鎖，則步驟5）可省略，否則，若存在死鎖，則根據(jù)最后入棧的情況進(jìn)行定位，具體實(shí)現(xiàn)過程如下：

????步驟5.1）到數(shù)據(jù)庫查找與可擴(kuò)展標(biāo)記語言XML文檔相對應(yīng)的形式化描述語言的建模規(guī)則；

????步驟5.2）收集步驟4）中入棧的元素，并找到其對應(yīng)的轉(zhuǎn)換規(guī)則；

????步驟5.3）步驟4）中棧中的元素依次出棧，同時(shí)根據(jù)第二步找到的轉(zhuǎn)換規(guī)則進(jìn)行逆轉(zhuǎn)換；

????步驟5.4）將逆轉(zhuǎn)換后得到的可擴(kuò)展標(biāo)記語言XML語句放到原可擴(kuò)展標(biāo)記語言XML文檔中進(jìn)行定位，發(fā)出準(zhǔn)確的位置信息給用戶。