基于DeltaOS的AADL行為附件模型到C轉換及其應用.pdf

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

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

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

4、首先對代碼自動生成器進行了總體設計，接下來制定了基于DeltaOS的AADL行為附件語義到DeltaOSc的映射規(guī)則。代碼自動生成器的具體實現分為兩個部分，一是模型到交互類的轉換；二是交互類到DeltaOSc的轉換。交互類是用于存儲模型信息的數據結構，它在代碼轉換過程中起到交互過渡的作用。對于模型到交互類對象的轉換，它是采用Dom4j工具實現了模型信息提取出工作；交互類對象到DeltaOSc轉換是以映射規(guī)則為標準，通過Drools規(guī)則引