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

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

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

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

【引證文獻】

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

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

本文編號：2755615