基于DeltaOS的AADL行為附件模型到C轉(zhuǎn)換及其應(yīng)用.pdf

1、隨著經(jīng)濟(jì)社會(huì)飛速發(fā)展，嵌入式軟件需求越來越大，人們對(duì)嵌入式軟件的功能要求也越來越高，再加上行業(yè)之間競(jìng)爭(zhēng)不斷加劇，以及新技術(shù)的不斷涌現(xiàn)，這使得傳統(tǒng)以編程語言為中心的嵌入式軟件開發(fā)模式不能滿足嵌入式產(chǎn)業(yè)發(fā)展的需要。這種以編程語言為中心的嵌入式軟件開發(fā)方式要求軟件開發(fā)人員在了解軟件具體細(xì)節(jié)的基礎(chǔ)之上，必須編寫大量的程序代碼，這不但耗費(fèi)大量的精力，而且往往會(huì)造成人為的錯(cuò)誤，有些時(shí)候編寫代碼成了重復(fù)性的體力勞動(dòng)。
　　 代碼自動(dòng)生成技術(shù)承

2、擔(dān)了軟件開發(fā)過程中的代碼編寫任務(wù)，它使得軟件開發(fā)者從繁瑣的代碼編寫任務(wù)中解脫出來，把更多的精力投入到軟件開發(fā)的其它研究上。自動(dòng)代碼生成技術(shù)體現(xiàn)了MDA(Model Driven Architecture)思想，它是一種從模型到可執(zhí)行代碼的自動(dòng)轉(zhuǎn)換機(jī)制，它把軟件開發(fā)提升到更高一級(jí)的抽象級(jí)別——模型級(jí)別，最終達(dá)到分離業(yè)務(wù)邏輯和具體實(shí)現(xiàn)平臺(tái)的目的，保護(hù)已經(jīng)建立的“業(yè)務(wù)邏輯”安然無恙，避免了“平臺(tái)易變性”的風(fēng)險(xiǎn)。
　　 本論文是以Del

3、taOS嵌入式操作系統(tǒng)為目標(biāo)平臺(tái)，對(duì)AADL(Architecture Analysis & Design Language)行為附件模型到DeltaOSc代碼自動(dòng)生成技術(shù)的研究。
　　 論文介紹了模型到代碼轉(zhuǎn)換的背景及意義、國內(nèi)外研究現(xiàn)狀和AADL行為附件的主要內(nèi)容，同時(shí)還分析了本論文涉及到的關(guān)鍵問題以及MDA(Model Driven Architecture)思想相對(duì)于傳統(tǒng)軟件開發(fā)方式的優(yōu)點(diǎn)。在代碼自動(dòng)生成器的實(shí)現(xiàn)過程中，

4、首先對(duì)代碼自動(dòng)生成器進(jìn)行了總體設(shè)計(jì)，接下來制定了基于DeltaOS的AADL行為附件語義到DeltaOSc的映射規(guī)則。代碼自動(dòng)生成器的具體實(shí)現(xiàn)分為兩個(gè)部分，一是模型到交互類的轉(zhuǎn)換；二是交互類到DeltaOSc的轉(zhuǎn)換。交互類是用于存儲(chǔ)模型信息的數(shù)據(jù)結(jié)構(gòu)，它在代碼轉(zhuǎn)換過程中起到交互過渡的作用。對(duì)于模型到交互類對(duì)象的轉(zhuǎn)換，它是采用Dom4j工具實(shí)現(xiàn)了模型信息提取出工作；交互類對(duì)象到DeltaOSc轉(zhuǎn)換是以映射規(guī)則為標(biāo)準(zhǔn)，通過Drools規(guī)則引