狀態(tài)監(jiān)控器軟件構(gòu)架及監(jiān)控方法研究.pdf

1、本文以嵌入式數(shù)據(jù)庫(EDB)的研究開發(fā)為背景,運(yùn)用多種建模方法構(gòu)造軟件模型,結(jié)合優(yōu)化工程方法論對(duì)軟件體系結(jié)構(gòu)進(jìn)行優(yōu)化。使用工作流建模方法對(duì)需求建模,引入面向?qū)ο蠓椒ㄉ钊胲浖Ｐ驮O(shè)計(jì)階段,采用面向構(gòu)件方法解決軟件復(fù)用性問題。在基礎(chǔ)建模的平臺(tái)上,輔以設(shè)計(jì)模式對(duì)體系結(jié)構(gòu)進(jìn)行優(yōu)化,重點(diǎn)探討協(xié)同計(jì)算方法在軟件建模的各個(gè)階段的優(yōu)化作用,使用Agent技術(shù)、KQML表示等提升軟件的智能性和主動(dòng)性。
　　 嵌入式數(shù)據(jù)庫(EDB)是嵌入式系統(tǒng)軟件

2、研發(fā)的熱點(diǎn),針對(duì)EDB的狀態(tài)監(jiān)控是一項(xiàng)關(guān)鍵技術(shù)和研究難點(diǎn)；對(duì)于支撐嵌入式應(yīng)用軟件的研究,對(duì)于高性能、高平臺(tái)的嵌入式應(yīng)用都有重要意義。首先,通過對(duì)歷史監(jiān)控方法的研究總結(jié),提出適合于嵌入式數(shù)據(jù)庫的監(jiān)控方法,并分析了Agent表示方法和協(xié)同計(jì)算方法的理論依據(jù),輔以建模表示工具的介紹。
　　 其次,在領(lǐng)域分析和設(shè)計(jì)階段,以O(shè)SA-CBM功能體系結(jié)構(gòu)為參考,給出狀態(tài)監(jiān)控器的工作流模型,并以BPEL語言加以描述。針對(duì)狀態(tài)監(jiān)控器進(jìn)行領(lǐng)域分析并

3、做功能描述后,參照UML規(guī)范,定位狀態(tài)監(jiān)控器領(lǐng)域模型。針對(duì)異常分析階段的規(guī)則匹配效率不高的問題,探討Rete規(guī)則改進(jìn)算法,并輔以詳細(xì)的闡述。在領(lǐng)域設(shè)計(jì)部分,提出狀態(tài)監(jiān)控器對(duì)象體系結(jié)構(gòu),并運(yùn)用設(shè)計(jì)模式優(yōu)化方法對(duì)其進(jìn)行優(yōu)化。隨后給出了監(jiān)控信息處理對(duì)象的順序圖以及狀態(tài)監(jiān)控器狀態(tài)圖,并加以詳細(xì)的說明。
　　 接著,從軟件構(gòu)架的角度出發(fā),提出了狀態(tài)監(jiān)控器軟件構(gòu)架,并對(duì)構(gòu)架中的典型構(gòu)件進(jìn)行了描述,最后運(yùn)用協(xié)同優(yōu)化方法對(duì)已有軟件構(gòu)架進(jìn)行優(yōu)化并

4、闡述其優(yōu)勢(shì)所在。本文創(chuàng)新性地提出了基于協(xié)同Agent的狀態(tài)監(jiān)控器軟件構(gòu)架,并用構(gòu)件的思想對(duì)軟件構(gòu)架進(jìn)行了描述。文章還深入探討了構(gòu)架中運(yùn)用的幾種模型優(yōu)化方法,詳述了合同網(wǎng)結(jié)構(gòu)、協(xié)商模型、任務(wù)調(diào)度模型、Agent表示方法如何起到模型優(yōu)化作用。
　　 文章最后對(duì)軟件的開發(fā)環(huán)境和配置進(jìn)行描述,并運(yùn)用ACME語言對(duì)軟件模型進(jìn)行可實(shí)現(xiàn)性描述,在此基礎(chǔ)上,給出典型應(yīng)用的程序?qū)崿F(xiàn)。
　　 所提出的狀態(tài)監(jiān)控器及其監(jiān)控方法,以及基于協(xié)同Ag