任務(wù)執(zhí)行器軟件構(gòu)架及優(yōu)化方法研究.pdf

1、本文以嵌入式數(shù)據(jù)庫軟件的研發(fā)為背景,探討了任務(wù)執(zhí)行器的軟件構(gòu)架,旨在建立一個既滿足實(shí)時性要求又能節(jié)省內(nèi)存空間的任務(wù)執(zhí)行模型。以面向?qū)ο?構(gòu)件的方法為指導(dǎo),借助統(tǒng)一建模語言,對任務(wù)執(zhí)行器進(jìn)行領(lǐng)域分析、設(shè)計(jì)和實(shí)現(xiàn),并運(yùn)用設(shè)計(jì)模式等軟件體系結(jié)構(gòu)方法和技術(shù),對系統(tǒng)模型進(jìn)行了優(yōu)化設(shè)計(jì)。
　　 首先,課題對任務(wù)執(zhí)行技術(shù)進(jìn)行了分析和研究,并借助協(xié)同方法論的觀點(diǎn),對任務(wù)執(zhí)行器中的協(xié)同方法和協(xié)作方式進(jìn)行闡述,輔以建模表示方法的分析,同時對VxWo

2、rks進(jìn)程間通信技術(shù)和Tornado交叉開發(fā)技術(shù)進(jìn)行了探討。
　　 然后,在分析了嵌入式數(shù)據(jù)庫的功能需求框架的基礎(chǔ)上,對任務(wù)執(zhí)行器的需求進(jìn)行了抽象和描述,給出了任務(wù)執(zhí)行器的功能劃分并闡述了各個組成模塊的功能,并用BPEL對任務(wù)執(zhí)行過程進(jìn)行了形式化描述。進(jìn)而針對任務(wù)分配,對查詢優(yōu)化的優(yōu)化算法進(jìn)行了研究并給出了算法模型的規(guī)范描述。綜合以上分析結(jié)果,建立了任務(wù)執(zhí)行器的用例模型和活動模型。
　　 接著,在領(lǐng)域設(shè)計(jì)階段,建立了基于

3、對象體系結(jié)構(gòu)的任務(wù)執(zhí)行器軟件構(gòu)架模型,使用初始類模型、細(xì)化類模型來描述對象的結(jié)構(gòu)關(guān)系,并使用交互模型和狀態(tài)模型來描述對象的行為,同時設(shè)計(jì)了任務(wù)執(zhí)行器的數(shù)據(jù)結(jié)構(gòu)。
　　 最后,給出了軟件開發(fā)環(huán)境及其配置,并結(jié)合ACME表示法給出了任務(wù)執(zhí)行器軟件構(gòu)架的典型描述,以及系統(tǒng)中典型應(yīng)用的程序?qū)崿F(xiàn)。
　　 文中分析得到的任務(wù)執(zhí)行器的模型框架、建模原則、實(shí)現(xiàn)方法等都被運(yùn)用于嵌入式數(shù)據(jù)庫系統(tǒng)的研究和實(shí)現(xiàn)中,優(yōu)化了任務(wù)執(zhí)行的過程,提高了嵌