【摘要】：本文以嵌入式數(shù)據(jù)庫(kù)(EDB)的研究開(kāi)發(fā)為背景,運(yùn)用多種建模方法構(gòu)造軟件模型,結(jié)合優(yōu)化工程方法論對(duì)軟件體系結(jié)構(gòu)進(jìn)行優(yōu)化。使用工作流建模方法對(duì)需求建模,引入面向?qū)ο蠓椒ㄉ钊胲浖Ｐ驮O(shè)計(jì)階段,采用面向構(gòu)件方法解決軟件復(fù)用性問(wèn)題。在基礎(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ù)庫(kù)(EDB)是嵌入式系統(tǒng)軟件研發(fā)的熱點(diǎn),針對(duì)EDB的狀態(tài)監(jiān)控是一項(xiàng)關(guān)鍵技術(shù)和研究難點(diǎn);對(duì)于支撐嵌入式應(yīng)用軟件的研究,對(duì)于高性能、高平臺(tái)的嵌入式應(yīng)用都有重要意義。首先,通過(guò)對(duì)歷史監(jiān)控方法的研究總結(jié),提出適合于嵌入式數(shù)據(jù)庫(kù)的監(jiān)控方法,并分析了Agent表示方法和協(xié)同計(jì)算方法的理論依據(jù),輔以建模表示工具的介紹。 其次,在領(lǐng)域分析和設(shè)計(jì)階段,以O(shè)SA-CBM功能體系結(jié)構(gòu)為參考,給出狀態(tài)監(jiān)控器的工作流模型,并以BPEL語(yǔ)言加以描述。針對(duì)狀態(tài)監(jiān)控器進(jìn)行領(lǐng)域分析并做功能描述后,參照UML規(guī)范,定位狀態(tài)監(jiān)控器領(lǐng)域模型。針對(duì)異常分析階段的規(guī)則匹配效率不高的問(wèn)題,探討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ì)的說(shuō)明。 接著,從軟件構(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)化并闡述其優(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ì)軟件的開(kāi)發(fā)環(huán)境和配置進(jìn)行描述,并運(yùn)用ACME語(yǔ)言對(duì)軟件模型進(jìn)行可實(shí)現(xiàn)性描述,在此基礎(chǔ)上,給出典型應(yīng)用的程序?qū)崿F(xiàn)。 所提出的狀態(tài)監(jiān)控器及其監(jiān)控方法,以及基于協(xié)同Agent的軟件構(gòu)架,在嵌入式數(shù)據(jù)庫(kù)軟件開(kāi)發(fā)中得到了應(yīng)用,具有一般理論意義和工程實(shí)踐價(jià)值。
【學(xué)位授予單位】：南京航空航天大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2009
【分類號(hào)】：TP368.1
【圖文】：

進(jìn)行相應(yīng)的處理。始信息不但費(fèi)時(shí)而且容易阻塞網(wǎng)絡(luò),在監(jiān)控模型中是將和選擇后,將需要的信息通過(guò)網(wǎng)絡(luò)傳送回來(lái),這樣就大通信代價(jià)。制系統(tǒng)狀態(tài)表示方面具有圖形化和分布式等優(yōu)點(diǎn)及其在計(jì)學(xué)者用它作為研究監(jiān)控理論的工具。種建模方式，可以描述工作流以及事務(wù)處理的動(dòng)態(tài)特性法，明確定義了模型元素的狀態(tài)，而且它的推進(jìn)是受狀。使用 Petri 網(wǎng)的目的就是及時(shí)準(zhǔn)確地反映過(guò)程所在狀以狀態(tài)變化為主要特征的遷移過(guò)程，并且狀態(tài)變化滿足應(yīng)監(jiān)控需要，提出了基于 Petri 網(wǎng)的監(jiān)控方法。流過(guò)程，判定系統(tǒng)是否處于正常狀態(tài)，將僅僅依靠令牌過(guò)程當(dāng)前狀態(tài)的詳細(xì)信息，因而，引入了 Petri 網(wǎng)的狀態(tài)遷移的模型映射。對(duì)應(yīng)關(guān)系如圖 2.3 所示。

圖 2. 4 異常處理狀態(tài)圖忽略：出現(xiàn)異常對(duì)數(shù)據(jù)庫(kù)的正常運(yùn)行沒(méi)有影響或者影響很小，這種情況下可以由異常直接回到正常運(yùn)行狀態(tài)。重試：對(duì)于出錯(cuò)的任務(wù)重新執(zhí)行，直到任務(wù)運(yùn)行完成達(dá)到要求或者超過(guò)最大重試數(shù)。中可以重新指定執(zhí)行條件。取消：一旦一個(gè)任務(wù)執(zhí)行失敗，則不能重新執(zhí)行或者選擇其它方法處理。修改：異常的發(fā)生由于某些運(yùn)行實(shí)例的某些屬性或數(shù)據(jù)的正確性或者預(yù)期值不符合造通過(guò)修改這些屬性值達(dá)到解決異常的目的。替代：如果任務(wù)執(zhí)行過(guò)程失敗，可以選擇重試，或者可以選擇備用的方式來(lái)替代當(dāng)前補(bǔ)償：給任務(wù)設(shè)置相應(yīng)的補(bǔ)償任務(wù)，使得事務(wù)實(shí)例恢復(fù)到一個(gè)可以重新執(zhí)行的正確狀 模型優(yōu)化表示方法1 Agent 表示方法

預(yù)測(cè)層需要考慮將來(lái)可能的使用情況。決策支持層。決策支持模塊的基本功能是為維修活動(dòng)提供安排，以系統(tǒng)配置或任務(wù)更改而提供建議。結(jié)果表達(dá)層。該層為人機(jī)交互層，即顯示高級(jí)狀態(tài)（健康評(píng)估、預(yù)報(bào)警情況。參考模型業(yè)務(wù)流程模型[44-49]對(duì)系統(tǒng)當(dāng)前狀態(tài)的跟蹤與分析的過(guò)程。按照狀態(tài)數(shù)據(jù)處理的過(guò)程性“狀態(tài)檢測(cè)-運(yùn)行驗(yàn)證-異常處理”的業(yè)務(wù)主線展開(kāi)。業(yè)務(wù)流程圖務(wù)流程的三個(gè)核心業(yè)務(wù)串行連接。狀態(tài)檢測(cè)用于捕獲檢測(cè)對(duì)象的行動(dòng)式模式獲取狀態(tài)數(shù)據(jù)；運(yùn)行驗(yàn)證判定檢測(cè)對(duì)象的行為是否為正為非正常時(shí)識(shí)別異常；異常處理根據(jù)異常類型做相應(yīng)的處理，恢復(fù)

【引證文獻(xiàn)】

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

1 李媛;基于合同網(wǎng)的協(xié)同生產(chǎn)任務(wù)調(diào)度軟件模型研究[D];南京航空航天大學(xué);2012年

本文編號(hào)：2755615