網(wǎng)構(gòu)軟件模型中的抽象狀態(tài)機(jī)設(shè)計(jì)

1、第44卷第5期2010年5月浙江大學(xué)學(xué)報(bào)(工學(xué)版)JournalofZhejiangUniversity(EngineeringScience)Vol.44No.5May2010收稿日期:2008211228.浙江大學(xué)學(xué)報(bào)(工學(xué)版)網(wǎng)址:www.journals.zju.edu.cneng基金項(xiàng)目:國(guó)家9730重點(diǎn)基礎(chǔ)研究發(fā)展規(guī)劃資助項(xiàng)目(2009CB320804)浙江省自然科學(xué)基金資助項(xiàng)目(Y1090597).作者簡(jiǎn)介:張引(1970

2、))女甘肅蘭州人副教授從事軟件工程、圖形圖像的研究.E2mail:yinzh@zju.edu.cnDOI:10.3785j.issn.10082973X.2010.05.015網(wǎng)構(gòu)軟件模型中的抽象狀態(tài)機(jī)設(shè)計(jì)張引何浩趙麗娜張三元(浙江大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院浙江杭州310027)摘要:為了更好地支持和實(shí)現(xiàn)網(wǎng)構(gòu)軟件的自動(dòng)化提出在網(wǎng)構(gòu)軟件模型中使用抽象狀態(tài)機(jī)(ASM).在Inter的計(jì)算環(huán)境下采用peer2to2peer(P2P)拓?fù)浣Y(jié)構(gòu)作為

3、網(wǎng)構(gòu)軟件模型的支撐網(wǎng)絡(luò)環(huán)境使用ASM的方法從較高的抽象層次(概念層)描述整個(gè)系統(tǒng)的行為與狀態(tài)變遷使系統(tǒng)特征易于把握.分析網(wǎng)構(gòu)軟件模型中ASM的架構(gòu)詳細(xì)闡述ASM的運(yùn)行規(guī)則說(shuō)明了系統(tǒng)狀態(tài)特征的變遷情況.根據(jù)ASM方法所涉及到的各種狀態(tài)、事件、方法、數(shù)據(jù)、規(guī)則等進(jìn)行相應(yīng)的設(shè)計(jì)和實(shí)現(xiàn)已經(jīng)初步形成一個(gè)網(wǎng)構(gòu)軟件設(shè)計(jì)和運(yùn)行的支撐平臺(tái)證明了ASM在網(wǎng)構(gòu)軟件模型中的可行性以及ASM能夠?qū)崿F(xiàn)網(wǎng)構(gòu)軟件的自動(dòng)化特性.關(guān)鍵詞:網(wǎng)構(gòu)軟件抽象狀態(tài)機(jī)(ASM)pee

4、r2to2peer(P2P)Agent中圖分類號(hào):TP311文獻(xiàn)標(biāo)志碼:A文章編號(hào):10082973X(2010)0520923207AbstractstatemachinedesignofInterwaremodelZHANGYinHEHaoZHAOLi2naZHANGSan2yuan(CollegeofComputerScienceTechnologyZhejiangUniversityHangzhou310027China)Abs

5、tract:Anapproachofusingabstractstatemachine(ASM)inInterwarewaspresentedtoeffectivelysupptrealizetheautomationofInterware.Thepeer2to2peer(P2P)wkwasusedtosupptthewkenvironmentofInterware.ThedesignmodelofASMwasproposedtodes

6、cribethebehavisthestatechangesofthewholesystemfromahigherabstractconceptlevel.Thenthesystemacteristicwaseasytocontrol.ThearchitectureoftheASMinInterwarewasanalyzedthedetailedoperatingrulesonASMwereproposedthechangeswerei

7、ntroducedinsystemstates.AsupptingplatfmofInterwaredesignoperationbegantotakeshapethroughthedesignimplementationaccdingtothestateseventsmethodsdatarulesinvolvedinASM.ASMisfeasibleinInterwarecanrealizetheautomationfeatureo

8、fInterware.Keywds:Interwareabstractstatemachine(ASM)peer2to2peer(P2P)Agent網(wǎng)構(gòu)軟件是開放、動(dòng)態(tài)和難控網(wǎng)絡(luò)環(huán)境下分布式軟件系統(tǒng)的一種抽象能夠感知外部環(huán)境的變化通過(guò)體系結(jié)構(gòu)演化的方法適應(yīng)外部環(huán)境的變化展示上下文適應(yīng)的行為使得系統(tǒng)能以足夠滿意度滿足用戶的多樣性目標(biāo)[1].網(wǎng)構(gòu)軟件具有自主性、協(xié)同性、反應(yīng)性、演化性和多目標(biāo)性等特征[2].本文采用peer2to2peer(

9、P2P)的網(wǎng)絡(luò)拓?fù)浣Y(jié)構(gòu)作為網(wǎng)構(gòu)軟件的支撐網(wǎng)絡(luò)環(huán)境.在這種Inter分布式計(jì)算環(huán)境下網(wǎng)構(gòu)軟件模型應(yīng)滿足如下需求:1)支持用體系結(jié)構(gòu)描述語(yǔ)言描述的系統(tǒng)框架能夠?qū)崿F(xiàn)從需求到系統(tǒng)框架的準(zhǔn)確映射有效地表示、開發(fā)、理解、修改和復(fù)用構(gòu)件.2)每個(gè)計(jì)算終端都能夠獨(dú)立地維護(hù)本地構(gòu)件庫(kù)本地構(gòu)件庫(kù)必須支持統(tǒng)一的構(gòu)件庫(kù)訪問(wèn)接口(ptal)使得其他peer的檢索請(qǐng)求通過(guò)此統(tǒng)一接口訪問(wèn)構(gòu)件庫(kù).3)目標(biāo)軟件運(yùn)行時(shí)可以基于系統(tǒng)框架動(dòng)態(tài)地加載構(gòu)件.檢索構(gòu)件時(shí)檢索需求可以

10、發(fā)送每個(gè)特征狀態(tài)元素的含義如下.a)WaitingfLoading表明系統(tǒng)處于初始狀態(tài)是系統(tǒng)的初始特征M加載F中的構(gòu)件按照F中的定義分為關(guān)鍵構(gòu)件和非關(guān)鍵構(gòu)件分別把檢索請(qǐng)求放入2個(gè)檢索請(qǐng)求集合中.b)WaitingfRequests.需要查找的構(gòu)件都已經(jīng)找到當(dāng)前系統(tǒng)中沒(méi)有新的檢索請(qǐng)求被送達(dá).Wait2ingfRequests和WaitingfLoading的檢索請(qǐng)求集的狀態(tài)是一樣的區(qū)別是WaitingfRequests是系統(tǒng)的運(yùn)行中狀態(tài).

11、c)WaitingfAgents.有新的檢索請(qǐng)求被發(fā)送到系統(tǒng)但沒(méi)有任何Agent來(lái)處理這些請(qǐng)求此時(shí)系統(tǒng)將等待Agent的處理.若系統(tǒng)長(zhǎng)期擁有該特征表明長(zhǎng)期沒(méi)有Agent來(lái)獲取檢索請(qǐng)求這意味著系統(tǒng)出現(xiàn)故障(例如Agent被某個(gè)請(qǐng)求占用處于阻塞狀態(tài))檢索無(wú)法開展.d)WaitingfResults.檢索請(qǐng)求被Agent處理以后系統(tǒng)將等待Agent返回其所獲取的檢索請(qǐng)求的處理結(jié)果.若系統(tǒng)長(zhǎng)期擁有WaitingfResults特征說(shuō)明有Agen

12、t獲取請(qǐng)求后長(zhǎng)期未提交返回結(jié)果可能是出現(xiàn)了某種系統(tǒng)故障(例如網(wǎng)絡(luò)連接問(wèn)題)這種故障與沒(méi)有Agent來(lái)獲取檢索請(qǐng)求是不同的.經(jīng)過(guò)一段時(shí)間(系統(tǒng)內(nèi)自定義)的等待后將視為Agent獲取的請(qǐng)求作廢而這些Agent所獲取的請(qǐng)求可能尚未被其他Agent獲取因此需要系統(tǒng)為這些請(qǐng)求創(chuàng)造被其他Agent處理的機(jī)會(huì).e)WaitingfTesting.檢索結(jié)果被返回以后Agent會(huì)根據(jù)F中的測(cè)試用例對(duì)返回結(jié)果中的構(gòu)件進(jìn)行測(cè)試系統(tǒng)篩選返回的構(gòu)件.若有大于1個(gè)

13、的構(gòu)件通過(guò)了測(cè)試則系統(tǒng)進(jìn)一步篩選過(guò)濾以選擇一個(gè)最優(yōu)解也有可能沒(méi)有構(gòu)件能夠通過(guò)測(cè)試這標(biāo)志著查找失敗檢索請(qǐng)求有機(jī)會(huì)被Agent重新獲取.如果由于一個(gè)構(gòu)件的檢索導(dǎo)致系統(tǒng)反復(fù)進(jìn)入此狀態(tài)則構(gòu)件的定義需要演化.f)WaitingfDuplicating.找到滿足要求的構(gòu)件以后系統(tǒng)會(huì)根據(jù)構(gòu)件的復(fù)用形式生成構(gòu)件復(fù)本.g)WaitingfEvolution.若一個(gè)構(gòu)件的檢索反復(fù)幾次都沒(méi)有找到符合要求的構(gòu)件則構(gòu)件的定義需要演化系統(tǒng)便會(huì)擁有該特征狀態(tài).h)A

14、gentsBlocked.當(dāng)系統(tǒng)進(jìn)入WaitingfRe2sults狀態(tài)持續(xù)一定的時(shí)間說(shuō)明系統(tǒng)出現(xiàn)故障此時(shí)需要重新生成Agent使得系統(tǒng)能夠回到Waiting2fAgents狀態(tài).2)關(guān)鍵構(gòu)件檢索請(qǐng)求集CR.它包含F(xiàn)中的所有關(guān)鍵構(gòu)件檢索請(qǐng)求.其中檢索請(qǐng)求用cr表示因此CR=cr1cr2crnumCRnum表示系統(tǒng)所容納的關(guān)鍵構(gòu)件請(qǐng)求的數(shù)量.系統(tǒng)所能容納的關(guān)鍵構(gòu)件請(qǐng)求的最大數(shù)量用CRmax表示.3)非關(guān)鍵構(gòu)件檢索請(qǐng)求集NCR.它包含F(xiàn)中所

15、有的非關(guān)鍵構(gòu)件檢索請(qǐng)求.其中檢索請(qǐng)求用ncr表示因此NCR=ncr1ncr2ncrnumNCRnum表示系統(tǒng)所容納的非關(guān)鍵構(gòu)件請(qǐng)求的數(shù)量.同樣系統(tǒng)所能容納的非關(guān)鍵構(gòu)件請(qǐng)求的最大數(shù)量用NCRmax來(lái)表示.4)Agent集合A.A表示部署在P2P2IWRM模型中一個(gè)Peer上所有Agent的集合A=a1a2ann為Agent的個(gè)數(shù).如果有新的檢索請(qǐng)求長(zhǎng)期沒(méi)有Agent來(lái)獲取系統(tǒng)將會(huì)檢查Agent集合中每個(gè)Agent的狀態(tài)然后根據(jù)檢查的結(jié)果采

16、取策略可能會(huì)創(chuàng)建一些新的Agent也可能會(huì)喚醒原來(lái)的Agent目的是使集合A中的所有Agent都能夠正常工作.其中Anum表示系統(tǒng)所容納的Agent的數(shù)量Amax表示系統(tǒng)所能容納的Agent的最大數(shù)量.5)檢索返回結(jié)果集合U.當(dāng)分布在P2P網(wǎng)絡(luò)中的各構(gòu)件庫(kù)上的Agent處理了請(qǐng)求后便會(huì)返回結(jié)果到請(qǐng)求發(fā)出者所在的機(jī)器上所有這些本地的結(jié)果集合構(gòu)成了U.每個(gè)結(jié)果中除含有構(gòu)件的信息外還帶有指示其對(duì)應(yīng)的檢索請(qǐng)求的附屬信息.U=u1u2unum其中

17、ui是一個(gè)結(jié)果Unum表示系統(tǒng)所容納的結(jié)果數(shù)量Umax是系統(tǒng)所容納的最大結(jié)果數(shù)量.每個(gè)ui形如(r.ida.idc)其中:r表示一個(gè)檢索請(qǐng)求r.id表示該檢索請(qǐng)求的id(在系統(tǒng)實(shí)現(xiàn)中為每個(gè)請(qǐng)求賦予一個(gè)唯一的數(shù)字標(biāo)識(shí)即id)a表示處理該檢索請(qǐng)求的本地Agenta.id為該A2gent的id.若沒(méi)有找到符合條件的結(jié)果c表示一個(gè)簡(jiǎn)單的標(biāo)志信息否則c表示與r匹配的一系列構(gòu)件描述的集合.2.3ASM規(guī)則系統(tǒng)在某時(shí)刻的狀態(tài)由一個(gè)系統(tǒng)特征的集合以及C