本發(fā)明涉及一種大規(guī)模網(wǎng)絡(luò)服務(wù)系統(tǒng)行為重構(gòu)方法，屬于信息技術(shù)
技術(shù)領(lǐng)域：
。
背景技術(shù)：
：隨著網(wǎng)絡(luò)技術(shù)的迅速發(fā)展和網(wǎng)絡(luò)服務(wù)系統(tǒng)的出現(xiàn)普及，以及網(wǎng)絡(luò)用戶的急劇增加和用戶需求的不斷變化，都需要大型網(wǎng)絡(luò)服務(wù)系統(tǒng)能夠保持動(dòng)態(tài)自適應(yīng)負(fù)載均衡下響應(yīng)用戶需求以及環(huán)境的變化。對(duì)于系統(tǒng)自適應(yīng)可重構(gòu)和負(fù)載均衡，丁博提出軟件自適應(yīng)包含感知、決策和執(zhí)行三個(gè)環(huán)節(jié)。feng-linli等提出指出在當(dāng)前軟件服務(wù)或系統(tǒng)演化的研究中，主要從系統(tǒng)本身考慮，而沒有把滿足用戶變化需求擺在優(yōu)先的位置。袁剛提出對(duì)用戶請(qǐng)求服務(wù)分類來分配系統(tǒng)資源從而動(dòng)態(tài)均衡負(fù)載。shaileshsaxena等利用模糊的動(dòng)態(tài)負(fù)載平衡算法通過任務(wù)調(diào)度實(shí)現(xiàn)負(fù)載均衡的目的。系統(tǒng)建模工具多種多樣，例如流程圖、自動(dòng)機(jī)、petri網(wǎng)等，相比較其他的系統(tǒng)建模工具，petri網(wǎng)對(duì)系統(tǒng)并發(fā)的描述具有獨(dú)特優(yōu)勢(shì)。龐善臣等針對(duì)petri網(wǎng)對(duì)動(dòng)態(tài)系統(tǒng)重構(gòu)形式化描述和建模能力的不足，提出了可重寫petri網(wǎng)和位置可重寫petri網(wǎng)的基本概念，為動(dòng)態(tài)重構(gòu)系統(tǒng)的petri網(wǎng)形式化建模提供理論方法，為大規(guī)模動(dòng)態(tài)分布式系統(tǒng)的形式化驗(yàn)證提供有效途徑。顧軍等通過分析服務(wù)系統(tǒng)的執(zhí)行過程，提出了一種基于排隊(duì)petri網(wǎng)的性能建模和分析方法，該方法在定量評(píng)估服務(wù)系統(tǒng)性能時(shí)具有一定的優(yōu)越性。現(xiàn)有的工作對(duì)于用戶需求變化或個(gè)性化需求的服務(wù)技術(shù)有較多研究，服務(wù)質(zhì)量的更多考慮也在于系統(tǒng)是否滿足用戶的需求的目標(biāo)，但對(duì)于用戶的剛性需求及用戶的需求行為考慮甚少，尤其是大規(guī)模剛性需求行為的聚集而導(dǎo)致系統(tǒng)變異的情況。技術(shù)實(shí)現(xiàn)要素：本發(fā)明的目的是：針對(duì)大規(guī)模用戶行為短時(shí)間的聚集造成系統(tǒng)負(fù)載超載的問題，提出一種大規(guī)模網(wǎng)絡(luò)服務(wù)系統(tǒng)行為重構(gòu)模型與方法。為了達(dá)到上述目的，本發(fā)明的技術(shù)方案是提供了一種大規(guī)模網(wǎng)絡(luò)服務(wù)系統(tǒng)行為重構(gòu)方法，其特征在于，包括以下步驟：s1、初始化大規(guī)模網(wǎng)絡(luò)服務(wù)系統(tǒng)并利用petri網(wǎng)對(duì)系統(tǒng)進(jìn)行建模；s2、對(duì)系統(tǒng)petri網(wǎng)模型進(jìn)行分析，并確定需重構(gòu)的關(guān)鍵節(jié)點(diǎn)；s3、針對(duì)t時(shí)刻關(guān)鍵節(jié)點(diǎn)用戶行為數(shù)所對(duì)應(yīng)的系統(tǒng)負(fù)載與安全負(fù)載判斷節(jié)點(diǎn)關(guān)系，并設(shè)置判斷結(jié)構(gòu)，包括以下步驟：步驟1、計(jì)算t時(shí)刻系統(tǒng)中用戶提交的行為對(duì)應(yīng)的系統(tǒng)實(shí)時(shí)負(fù)載lt，lt＝bt×l，式中，l(l≥1)表示一個(gè)用戶提交一個(gè)請(qǐng)求行為所需要的系統(tǒng)負(fù)載，bt表示t時(shí)刻大規(guī)模網(wǎng)絡(luò)服務(wù)系統(tǒng)中用戶提交的總的行為數(shù)，bt＝ut，ut表示t時(shí)刻系統(tǒng)中的用戶數(shù)；步驟2、根據(jù)用戶交互行為序列時(shí)間，利用隸屬度函數(shù)對(duì)用戶行為進(jìn)行分類，其中：用戶行為隸屬度函數(shù)表示用戶行為ui隸屬于每一類sj的程度，(j＝1，2，...p，式中，uik＝{ui1，ui2，...，uim}表示用戶行為ui具有的交互行為序列時(shí)間特征，假設(shè)把用戶行為按交互行為時(shí)間的長(zhǎng)短分成p個(gè)用戶群體，sj＝{s1，s2，...，sp}(p≥1)表示每一類用戶群體的標(biāo)準(zhǔn)；用戶行為隸屬標(biāo)準(zhǔn)d(ui，sj)，是用戶行為ui隸屬于具體某一用戶行為群體sj的標(biāo)準(zhǔn)，即表示用戶行為屬于用戶行為隸屬度函數(shù)中取最小值的那一類用戶行為群體，設(shè)nd(nd∈n+)表示的個(gè)數(shù)，則當(dāng)nd＝1時(shí)，行為ui屬于第j類用戶行為群體，當(dāng)nd＞1時(shí)，則把行為ui隨機(jī)分配到nd類中的任意一類行為群體；步驟3、計(jì)算每一類用戶行為所對(duì)應(yīng)的系統(tǒng)負(fù)載，第i類用戶行為所對(duì)應(yīng)的系統(tǒng)負(fù)載為li；步驟4、設(shè)置系統(tǒng)實(shí)時(shí)負(fù)載lt與安全負(fù)載lsafe的關(guān)系：系統(tǒng)良好服務(wù)狀態(tài)，是系統(tǒng)能夠正常提供服務(wù)的服務(wù)狀態(tài)，當(dāng)0≤lt≤lsafe時(shí)，系統(tǒng)處于良好服務(wù)狀態(tài)，lsafe表示系統(tǒng)處于良好服務(wù)狀態(tài)所能承受的最大服務(wù)能力對(duì)應(yīng)的負(fù)載值，即是安全負(fù)載；系統(tǒng)不穩(wěn)定服務(wù)狀態(tài)，是系統(tǒng)雖能夠提供服務(wù)，但有可能出現(xiàn)異常的服務(wù)狀態(tài)，當(dāng)lsafe＜lt≤lmax時(shí)，系統(tǒng)處于不穩(wěn)定服務(wù)狀態(tài)，lmax表示系統(tǒng)處于不穩(wěn)定服務(wù)狀態(tài)所能承受的最大服務(wù)能力對(duì)應(yīng)的負(fù)載值，即是系統(tǒng)所能承受的最大負(fù)載；系統(tǒng)不可服務(wù)狀態(tài)，是系統(tǒng)由于負(fù)載過大，不能夠正常提供服務(wù)的服務(wù)狀態(tài)，即當(dāng)lt＞lmax時(shí)，系統(tǒng)處于不可服務(wù)狀態(tài)，即處于癱瘓狀態(tài)；步驟5、根據(jù)重構(gòu)模型確定第一類行為負(fù)載處理時(shí)間和后面各類的延時(shí)時(shí)間和處理時(shí)間，在重構(gòu)模型中：系統(tǒng)的處理能力lhc，是單位時(shí)間內(nèi)系統(tǒng)能夠處理的用戶行為所對(duì)應(yīng)的系統(tǒng)負(fù)載，假設(shè)lmax＝lhc，則當(dāng)lt＞lhc時(shí)，系統(tǒng)即會(huì)進(jìn)入不可服務(wù)狀態(tài)；系統(tǒng)單位時(shí)間內(nèi)的系統(tǒng)負(fù)載lut，是單位時(shí)間內(nèi)系統(tǒng)處理的行為數(shù)but對(duì)應(yīng)的系統(tǒng)負(fù)載，當(dāng)t時(shí)刻系統(tǒng)實(shí)時(shí)負(fù)載lt≥lsafe時(shí)，即單位時(shí)間內(nèi)系統(tǒng)負(fù)載超過系統(tǒng)的處理能力，則且lut＜lsafe，tc是滿足該式系統(tǒng)負(fù)載均衡所需的時(shí)間。重構(gòu)系統(tǒng)延時(shí)時(shí)間δtd，表示在δt時(shí)間內(nèi)，t1時(shí)刻系統(tǒng)瞬時(shí)負(fù)載即系統(tǒng)此刻處于不穩(wěn)定狀態(tài)時(shí)，重構(gòu)系統(tǒng)后使得在δtd時(shí)間內(nèi)任意時(shí)刻t2系統(tǒng)的瞬時(shí)負(fù)載且δtd時(shí)間內(nèi)的系統(tǒng)總負(fù)載等于此時(shí)根據(jù)用戶交互行為序列時(shí)間特征把用戶行為分為p類，設(shè)類所對(duì)應(yīng)的系統(tǒng)負(fù)載為l1，…，lp，則：當(dāng)且時(shí)；當(dāng)且時(shí)；…δtd＝t1+t2+…+tj；步驟6、輸出每個(gè)時(shí)間點(diǎn)對(duì)應(yīng)的系統(tǒng)負(fù)載；s4、用戶行為數(shù)對(duì)應(yīng)的系統(tǒng)負(fù)載超出安全負(fù)載，判斷的瞬時(shí)變遷優(yōu)先級(jí)高優(yōu)先觸發(fā)；s5、根據(jù)每一類用戶行為數(shù)對(duì)應(yīng)負(fù)載設(shè)置判斷并控制其延時(shí)時(shí)間；s6、前面一類對(duì)后面一類有一個(gè)反饋行為，動(dòng)態(tài)控制其延時(shí)時(shí)間；s7、輸出系統(tǒng)流程中庫所的托肯值；s8、算法結(jié)束。優(yōu)選地，所述petri網(wǎng)是一個(gè)七元組∑＝(p，t；f，c，di，τ，m)，其中：p是庫所集，p＝{p1，p2，...，pn}(n≥0)，庫所里的token數(shù)表示用戶行為數(shù)，且用戶在一段時(shí)間內(nèi)到達(dá)系統(tǒng)的數(shù)量可以服從泊松分布；t是變遷集，時(shí)間變遷集tt＝(t1，t2，...，tk)，是系統(tǒng)本身具有的服務(wù)行為變遷，瞬時(shí)變遷集ti＝(tk+1，tk+2，tk+i)，(k≥0，i≥0)，是系統(tǒng)負(fù)載超出安全負(fù)載時(shí)所觸發(fā)的表判斷的服務(wù)變遷；c是控制服務(wù)變遷集，c＝(c1，c2，...，cm)(m≥0)；di是定義在變遷集c上的時(shí)間函數(shù)，即di：c→r0，對(duì)于t∈c，di(t)＝a表示變遷t的發(fā)生需要a(a≥0)個(gè)單位時(shí)間來完成；f是有向弧集，f＝ft∪fc，τ是定義在變遷集上的一個(gè)取值于[0，∞)中實(shí)數(shù)的函數(shù)，表示變遷的閾值。本發(fā)明依據(jù)用戶交互行為序列特征提出用戶行為隸屬度的概念。在系統(tǒng)行為重構(gòu)模型的基礎(chǔ)上，基于系統(tǒng)交互行為分類及延時(shí)控制，提出了帶時(shí)延的隨機(jī)模糊petri網(wǎng)的系統(tǒng)行為重構(gòu)模型和系統(tǒng)行為重構(gòu)算法。使之在系統(tǒng)實(shí)時(shí)負(fù)載超出最大負(fù)載時(shí)觸發(fā)重構(gòu)模型均衡系統(tǒng)負(fù)載，使系統(tǒng)能夠處于良好服務(wù)狀態(tài)。本發(fā)明的有益效果：本發(fā)明的大規(guī)模網(wǎng)絡(luò)服務(wù)系統(tǒng)行為重構(gòu)方法實(shí)用性要好，該方法從實(shí)用性角度出發(fā)，通過動(dòng)態(tài)控制不同用戶群體的延時(shí)進(jìn)而動(dòng)態(tài)均衡系統(tǒng)負(fù)載及系統(tǒng)自適應(yīng)重構(gòu)，為解決大規(guī)模網(wǎng)絡(luò)服務(wù)系統(tǒng)因負(fù)載過載出現(xiàn)的系統(tǒng)異常問題提供了技術(shù)支持。附圖說明圖1為系統(tǒng)行為重構(gòu)方法流程圖；圖2為系統(tǒng)行為重構(gòu)控制模型流程圖；圖3為12306購票軟件系統(tǒng)流程圖；圖4為12306購票軟件系統(tǒng)的petri網(wǎng)模型；圖5為12306購票系統(tǒng)的dsfpn模型。具體實(shí)施方式下面結(jié)合具體實(shí)施例，進(jìn)一步闡述本發(fā)明。應(yīng)理解，這些實(shí)施例僅用于說明本發(fā)明而不用于限制本發(fā)明的范圍。此外應(yīng)理解，在閱讀了本發(fā)明講授的內(nèi)容之后，本領(lǐng)域技術(shù)人員可以對(duì)本發(fā)明作各種改動(dòng)或修改，這些等價(jià)形式同樣落于本申請(qǐng)所附權(quán)利要求書所限定的范圍。本發(fā)明主要有以下三部分內(nèi)容：第一部分、用戶隸屬度函數(shù)模塊。該模塊根據(jù)用戶交互行為特征依據(jù)隸屬度函數(shù)把用戶行為進(jìn)行分類。第二部分、基于用戶分類的系統(tǒng)行為重構(gòu)模型模塊。該模塊主要是根據(jù)系統(tǒng)負(fù)載及用戶群體的大小構(gòu)建負(fù)載均衡的行為重構(gòu)模型。第三部分、用戶群體的行為流程。該模塊主要是用petri網(wǎng)構(gòu)建用戶群體的行為流程。本發(fā)明的技術(shù)核心在于第一部分及第二部分，系統(tǒng)行為重構(gòu)模型得建立。在實(shí)際的系統(tǒng)中，系統(tǒng)行為重構(gòu)模型實(shí)現(xiàn)的關(guān)鍵是如何對(duì)用戶行為分類并能夠根據(jù)系統(tǒng)實(shí)時(shí)負(fù)載動(dòng)態(tài)的重構(gòu)系統(tǒng)模型，本模型主要是通過行為時(shí)間的延時(shí)來達(dá)到均衡負(fù)載的目的。即當(dāng)在t時(shí)間內(nèi)用戶施加給系統(tǒng)的負(fù)載大于系統(tǒng)所能承受的最大負(fù)載時(shí)，在原統(tǒng)行為序列中插入或刪除某些行為，使得新的系統(tǒng)行為序列的負(fù)載總和在δtd時(shí)間內(nèi)任意時(shí)刻小于系統(tǒng)所能承受的最大負(fù)載(δtd＞t)。根據(jù)以上基本思想，定義本發(fā)明的系統(tǒng)性為惡重構(gòu)模型為：(1)用戶行為隸屬度函數(shù)表示用戶行為ui隸屬于每一類sj的程度。其中uik＝{ui1，ui2，...，uim}表示用戶行為具有的交互行為序列時(shí)間特征，假設(shè)把用戶行為按交互行為時(shí)間的長(zhǎng)短(交互行為速度從慢到快)分成p個(gè)用戶群體，sj＝{s1，s2，...，sp}(p≥1)表示每一類用戶群體的標(biāo)準(zhǔn)。(2)用戶行為隸屬標(biāo)準(zhǔn)d(ui，sj)，是用戶行為隸屬于具體某一用戶行為群體的標(biāo)準(zhǔn)，即表示用戶行為屬于用戶行為隸屬度函數(shù)中取最小值的那一類用戶行為群體。設(shè)nd(nd∈n+)表示的個(gè)數(shù)，則當(dāng)nd＝1時(shí)，ui行為屬于第j類用戶行為群體；當(dāng)nd＞1時(shí)，則把ui行為隨機(jī)分配到nd類中的任意一類行為群體。(3)t時(shí)刻大規(guī)模網(wǎng)絡(luò)服務(wù)系統(tǒng)中用戶提交的總的行為數(shù)等于用戶數(shù)，即bt＝ut。其中ut表示t時(shí)刻系統(tǒng)中的用戶數(shù)。(4)時(shí)刻系統(tǒng)的實(shí)時(shí)負(fù)載lt，是t時(shí)刻用戶提交的總的行為數(shù)所對(duì)應(yīng)的系統(tǒng)負(fù)載，即lt＝bt×l。其中l(wèi)(l≥1)表示一個(gè)用戶提交一個(gè)請(qǐng)求行為所需要的系統(tǒng)負(fù)載。時(shí)刻系統(tǒng)的實(shí)時(shí)負(fù)載lt，也是p類用戶行為所對(duì)應(yīng)的負(fù)載之和，即其中，li表示第i類群體用戶行為所對(duì)應(yīng)的系統(tǒng)負(fù)載。(5)系統(tǒng)良好服務(wù)狀態(tài)，是系統(tǒng)能夠正常提供服務(wù)的服務(wù)狀態(tài)。即當(dāng)0≤lt≤lsafe時(shí)，系統(tǒng)處于良好服務(wù)狀態(tài)，其中l(wèi)safe表示系統(tǒng)處于良好服務(wù)狀態(tài)所能承受的最大服務(wù)能力對(duì)應(yīng)的負(fù)載值，即是安全負(fù)載。(6)系統(tǒng)不穩(wěn)定服務(wù)狀態(tài)，是系統(tǒng)雖能夠提供服務(wù)，但有可能出現(xiàn)異常的服務(wù)狀態(tài)。即當(dāng)lsafe＜lt≤lmax時(shí)，系統(tǒng)處于不穩(wěn)定服務(wù)狀態(tài)，其中l(wèi)max表示系統(tǒng)處于不穩(wěn)定服務(wù)狀態(tài)所能承受的最大服務(wù)能力對(duì)應(yīng)的負(fù)載值，即是系統(tǒng)所能承受的最大負(fù)載。(7)系統(tǒng)不可服務(wù)狀態(tài)，是系統(tǒng)由于負(fù)載過大，不能夠正常提供服務(wù)的服務(wù)狀態(tài)。即當(dāng)lt＞lmax時(shí)，系統(tǒng)處于不可服務(wù)狀態(tài)，即處于癱瘓狀態(tài)。(8)系統(tǒng)的處理能力lhc，是單位時(shí)間內(nèi)系統(tǒng)能夠處理的用戶行為所對(duì)應(yīng)的系統(tǒng)負(fù)載。假設(shè)lmax＝lhc，則當(dāng)lt＞lhc時(shí)，系統(tǒng)即會(huì)進(jìn)入不可服務(wù)狀態(tài)。(9)系統(tǒng)單位時(shí)間內(nèi)的系統(tǒng)負(fù)載lut，是單位時(shí)間內(nèi)系統(tǒng)處理的行為數(shù)but對(duì)應(yīng)的系統(tǒng)負(fù)載，當(dāng)t時(shí)刻系統(tǒng)實(shí)時(shí)負(fù)載lt≥lsafe時(shí)，即單位時(shí)間內(nèi)系統(tǒng)負(fù)載超過系統(tǒng)的處理能力，則且lut＜lsafe，tc是滿足該式系統(tǒng)負(fù)載均衡所需的時(shí)間。(11)重構(gòu)系統(tǒng)延時(shí)時(shí)間δtd，表示在δt時(shí)間內(nèi)，t1時(shí)刻系統(tǒng)瞬時(shí)負(fù)載即系統(tǒng)此刻處于不穩(wěn)定狀態(tài)時(shí)，重構(gòu)系統(tǒng)后使得在δtd時(shí)間內(nèi)任意時(shí)刻t2系統(tǒng)的瞬時(shí)負(fù)載且δtd時(shí)間內(nèi)的系統(tǒng)總負(fù)載等于此時(shí)根據(jù)用戶交互行為序列時(shí)間特征把用戶行為分為p類，設(shè)類所對(duì)應(yīng)的系統(tǒng)負(fù)載為l1，…，lp，則：當(dāng)且時(shí)；當(dāng)且時(shí)；…δtd＝t1+t2+…+tj。構(gòu)建如上所述模型，如圖1所示，具體算法如下：s1計(jì)算t時(shí)刻系統(tǒng)中用戶提交的行為對(duì)應(yīng)的系統(tǒng)實(shí)時(shí)負(fù)載；s2根據(jù)用戶交互行為序列時(shí)間，利用隸屬度函數(shù)對(duì)用戶行為進(jìn)行分類；s3計(jì)算每一類用戶行為所對(duì)應(yīng)的系統(tǒng)負(fù)載；s4確定用戶群體的負(fù)載與設(shè)置的安全負(fù)載的關(guān)系；s5根據(jù)重構(gòu)模型確定第一類行為負(fù)載處理時(shí)間和后面各類的延時(shí)時(shí)間和處理時(shí)間；s6輸出每個(gè)時(shí)間點(diǎn)對(duì)應(yīng)的系統(tǒng)負(fù)載；s7算法結(jié)束。上述模型及算法的描述為大規(guī)模網(wǎng)絡(luò)服務(wù)系統(tǒng)提供里理論支持，在實(shí)際系統(tǒng)的應(yīng)用中，本發(fā)明提供了一種技術(shù)方法可以將大規(guī)模網(wǎng)絡(luò)服務(wù)系統(tǒng)行為重構(gòu)方法應(yīng)用到實(shí)際系統(tǒng)中。該方法針對(duì)大規(guī)模網(wǎng)絡(luò)服務(wù)系統(tǒng)中的關(guān)鍵節(jié)點(diǎn)，根據(jù)檢測(cè)的用戶行為數(shù)對(duì)應(yīng)的系統(tǒng)負(fù)載對(duì)用戶行為進(jìn)行分類控制，并使系統(tǒng)負(fù)載在t時(shí)刻的負(fù)載得以動(dòng)態(tài)均衡。結(jié)合圖2，具體方法分為以下幾個(gè)步驟：s1初始化大規(guī)模網(wǎng)絡(luò)服務(wù)系統(tǒng)并利用petri網(wǎng)對(duì)系統(tǒng)進(jìn)行建模；s2對(duì)系統(tǒng)petri網(wǎng)模型進(jìn)行分析，并確定需重構(gòu)的關(guān)鍵節(jié)點(diǎn)；s3針對(duì)t時(shí)刻關(guān)鍵節(jié)點(diǎn)用戶行為數(shù)所對(duì)應(yīng)的系統(tǒng)負(fù)載與安全負(fù)載判斷節(jié)點(diǎn)關(guān)系判斷，并設(shè)置判斷結(jié)構(gòu)；s4用戶行為數(shù)對(duì)應(yīng)的系統(tǒng)負(fù)載超出安全負(fù)載，表判斷的瞬時(shí)變遷優(yōu)先級(jí)高優(yōu)先觸發(fā)；s5根據(jù)每一類用戶行為數(shù)對(duì)應(yīng)負(fù)載設(shè)置判斷并控制其延時(shí)時(shí)間；s6前面一類對(duì)后面一類有一個(gè)反饋行為，動(dòng)態(tài)控制其延時(shí)時(shí)間；s7輸出系統(tǒng)流程中庫所的托肯值；s8算法結(jié)束。上述算法中所用到的定義可參考下面的定義：petri網(wǎng)是一個(gè)七元組∑＝(p，t；f，c，di，τ，m)，其中：p是庫所集，p＝{p1，p2，...，pn}(n≥0)，庫所里的token數(shù)表示用戶行為數(shù)，且用戶在一段時(shí)間內(nèi)到達(dá)系統(tǒng)的數(shù)量可以服從泊松分布；t是變遷集，時(shí)間變遷集tt＝(t1，t2，...，tk)，是系統(tǒng)本身具有的服務(wù)行為變遷，瞬時(shí)變遷集ti＝(tk+1，tk+2，tk+i)，(k≥0，i≥0)，是系統(tǒng)負(fù)載超出安全負(fù)載時(shí)所觸發(fā)的表判斷的服務(wù)變遷；c是控制服務(wù)變遷集，c＝(c1，c2，...，cm)(m≥0)；di是定義在變遷集c上的時(shí)間函數(shù)，即di：c→r0，對(duì)于t∈c，di(t)＝a表示變遷t的發(fā)生需要a(a≥0)個(gè)單位時(shí)間來完成；f是有向弧集，f＝ft∪fc，τ是定義在變遷集上的一個(gè)取值于[0，∞)中實(shí)數(shù)的函數(shù)，表示變遷的閾值。本發(fā)明所述的大規(guī)模網(wǎng)絡(luò)服系統(tǒng)行為重構(gòu)方法可以應(yīng)用到某購票軟件系統(tǒng)等大規(guī)模網(wǎng)絡(luò)服務(wù)系統(tǒng)中，本發(fā)明應(yīng)用到12306模擬購票軟件中進(jìn)行實(shí)驗(yàn)驗(yàn)證，通過系統(tǒng)行為重構(gòu)方法實(shí)現(xiàn)了t時(shí)刻系統(tǒng)實(shí)時(shí)負(fù)載超出最大負(fù)載時(shí)系統(tǒng)負(fù)載動(dòng)態(tài)行為自適應(yīng)均衡。具體方法描述如圖3所示。s1根據(jù)模擬12306購票軟件系統(tǒng)的流程圖(如圖3所示)，構(gòu)建系統(tǒng)的petri網(wǎng)模型，如圖4所示：表1圖4petri模型中變遷所對(duì)應(yīng)的行為活動(dòng)s2對(duì)12306購票系統(tǒng)的petri網(wǎng)模型進(jìn)行分析，確定關(guān)鍵行為是登錄行為、查詢行為、預(yù)訂行為和支付行為。s3針對(duì)上面四個(gè)關(guān)鍵行為節(jié)點(diǎn)進(jìn)行行為重構(gòu)模型設(shè)置。利用dsfpn對(duì)12306系統(tǒng)行為流程進(jìn)行建模，如圖5所示：對(duì)于圖5中變遷t15～t42，c1～c12變遷所對(duì)應(yīng)的含義如表2所示：表2圖5系統(tǒng)模型中t15-t42，c1-c12變遷所對(duì)應(yīng)的含義t15、t22、t29、t36判斷負(fù)載是否超載的變遷t16、t23、t30、t37判斷用戶行為屬于速度緩慢群體的變遷t17、t24、t31、t38判斷速度緩慢的行為群體負(fù)載的變遷t18、t25、t32、t39判斷用戶行為屬于速度適中群體的變遷t19、t26、t33、t40判斷速度適中的行為群體負(fù)載的變遷t20、t27、t34、t41判斷用戶行為屬于速度極快群體的變遷t21、t28、t35、t42判斷速度極快的行為群體負(fù)載的變遷c1～c12判斷三類行為群體延時(shí)時(shí)間的變遷以查詢行為為例：s4當(dāng)用戶行為所對(duì)應(yīng)的系統(tǒng)負(fù)載超出設(shè)定的安全負(fù)載時(shí)，服務(wù)行為變遷t5和表判斷的瞬時(shí)變遷t22同時(shí)滿足觸發(fā)條件，系統(tǒng)結(jié)構(gòu)出現(xiàn)沖突關(guān)系；s5判斷服務(wù)行為變遷t5和表判斷的瞬時(shí)變遷t22的優(yōu)先級(jí)；s6判斷瞬時(shí)變遷t22高于服務(wù)行為變遷t5的優(yōu)先級(jí)，表判斷的瞬時(shí)變遷t22觸發(fā)；s7對(duì)用戶行為進(jìn)行分類，瞬時(shí)變遷t23、t25、t27分別代表判斷用戶行為屬于具體那一類；s8瞬時(shí)變遷t24、t26、t28判斷三類用戶行為對(duì)應(yīng)系統(tǒng)負(fù)載用以控制處理時(shí)間；s9控制變遷c4、c5、c6執(zhí)行并分別控制每一類用戶的延時(shí)時(shí)間；s10系統(tǒng)中總的重復(fù)行為數(shù)是由四個(gè)關(guān)鍵行為節(jié)點(diǎn)的行為數(shù)累加得到，用戶提交的總的行為數(shù)為系統(tǒng)行為流程庫所的托肯值。當(dāng)前第1頁12