[發(fā)明專(zhuān)利]基于模型驅(qū)動(dòng)工程的將AADL組件轉(zhuǎn)換到接口自動(dòng)機(jī)模型方法

有效

• 申請(qǐng)?zhí)枺?/td>: 201210539042.3
• 申請(qǐng)日: 2012-12-13
• 公開(kāi)（公告）號(hào): CN103049602A
• 公開(kāi)（公告）日: 2013-04-17
• 發(fā)明（設(shè)計(jì)）人: 張?zhí)?/a>;張巖;趙濟(jì)州;李宣東
• 申請(qǐng)（專(zhuān)利權(quán)）人: 南京大學(xué)
• 主分類(lèi)號(hào): G06F17/50
• 分類(lèi)號(hào): G06F17/50
• 代理公司: 南京瑞弘專(zhuān)利商標(biāo)事務(wù)所(普通合伙) 32249
• 代理人: 陳建和

技術(shù)領(lǐng)域

本發(fā)明涉及計(jì)算機(jī)建模與模型轉(zhuǎn)換驗(yàn)證，主要涉及一種基于模型驅(qū)動(dòng)工程的將AADL組件轉(zhuǎn)換到接口自動(dòng)機(jī)模型的方法。

背景技術(shù)

隨著嵌入式系統(tǒng)的發(fā)展，其體系結(jié)構(gòu)越來(lái)越復(fù)雜，而傳統(tǒng)的嵌入式系統(tǒng)開(kāi)發(fā)方法已經(jīng)不能適應(yīng)當(dāng)前的需求，為此，模型驅(qū)動(dòng)方法被引入到工程開(kāi)發(fā)之中。MDE(Model?Driven?Engineering)是由OMG組織提出的以模型為中心的軟件開(kāi)發(fā)框架；MDE強(qiáng)調(diào)開(kāi)發(fā)全過(guò)程中模型的應(yīng)用，將軟件開(kāi)發(fā)的重點(diǎn)從代碼層提升到模型層。采用模型驅(qū)動(dòng)技術(shù)的嵌入式系統(tǒng)開(kāi)發(fā)在開(kāi)始的設(shè)計(jì)階段就要考慮如何建模的問(wèn)題。因此，在系統(tǒng)建模階段，可以對(duì)模型進(jìn)行相關(guān)性質(zhì)的分析和驗(yàn)證，從而縮短系統(tǒng)的開(kāi)發(fā)周期，降低軟件后期改動(dòng)的成本。

模型驅(qū)動(dòng)工程（MDE）技術(shù)。基于MDE的軟件開(kāi)發(fā)過(guò)程實(shí)際上就是建立模型和模型轉(zhuǎn)換的過(guò)程。這個(gè)過(guò)程不但涉及到不同抽象層次之間的模型，同時(shí)也涉及到相同抽象層次內(nèi)的模型。如果我們將MDE視為一種概念上的方法論的話，那么目前最主流的兩種MDE建模和模型轉(zhuǎn)換實(shí)現(xiàn)框架就是OMG的MDA以及微軟的軟件工廠。其中，MDA是公認(rèn)最具代表性的MDE實(shí)現(xiàn)框架。典型的MDE元模型體系分為多個(gè)模型層次。元模型和模型是相對(duì)而言的，元模型解釋了模型元素的含義。從語(yǔ)言的角度來(lái)看，元模型相對(duì)于模型而言處于建模語(yǔ)言的層次。而定義元模型的元模型就是所謂的元-元模型。

基于MDE的模型轉(zhuǎn)換技術(shù)，是MDE技術(shù)的核心。它主要涉及模型到模型的轉(zhuǎn)換，模型到代碼的轉(zhuǎn)換等幾方面。基于MDE的模型轉(zhuǎn)換技術(shù)的一般過(guò)程為：建立源和目標(biāo)領(lǐng)域的元模型；構(gòu)造兩者之間的轉(zhuǎn)換規(guī)則并實(shí)現(xiàn)；輸入源模型，運(yùn)行轉(zhuǎn)換規(guī)則得到目標(biāo)模型。

目前傳統(tǒng)模型轉(zhuǎn)換存在的瓶頸主要有：語(yǔ)義匹配和語(yǔ)法映射常常交織在一起、轉(zhuǎn)換關(guān)系復(fù)雜和難以理解、轉(zhuǎn)換規(guī)則很難進(jìn)行復(fù)用。通過(guò)使用MDE技術(shù)，定義相應(yīng)的轉(zhuǎn)換規(guī)則，將AADL構(gòu)件模型轉(zhuǎn)換到IA模型，將半形式化的AADL建模語(yǔ)言轉(zhuǎn)換的形式化的IA建模語(yǔ)言有利于將AADL模型所存在的問(wèn)題使用形式化方法證明。

發(fā)明內(nèi)容

本發(fā)明目的是，鑒于上述問(wèn)題，本發(fā)明旨在提供一種基于模型驅(qū)動(dòng)工程的將AADL組件轉(zhuǎn)換到接口自動(dòng)機(jī)模型的方法，該方法結(jié)合形式化證明，可以有效的解決構(gòu)件模型的組合問(wèn)題。

本發(fā)明是通過(guò)以下的技術(shù)方案實(shí)現(xiàn)的：

具體是實(shí)施環(huán)境為在Windows操作系統(tǒng)下使用OSATE集成開(kāi)發(fā)環(huán)境，并安裝EMF（Eclipse?Modeling?Framework）插件和ATL插件的情況下進(jìn)行；本方法的步驟如下：

步驟10：使用OSATE建立AADL模型；

步驟11：使用EMF（Eclipse?Modeling?Framework）插件在OSATE環(huán)境中建立AADL元模型；

步驟12：使用EMF（Eclipse?Modeling?Framework）插件在OSATE環(huán)境中建立IA元模型；

步驟13：在OSATE中安裝ATL插件，新建一個(gè)ATL工程，編寫(xiě)轉(zhuǎn)換文件，將AADL模型以及AADL元模型,接口自動(dòng)機(jī)元模型導(dǎo)入到ATL工程中；

步驟14：運(yùn)行ATL工程自動(dòng)轉(zhuǎn)換得到轉(zhuǎn)換結(jié)果；

其中，步驟10）和構(gòu)造的模型符合圖3相應(yīng)的結(jié)構(gòu)和模型及圖6所示的相應(yīng)代碼形式，AADL模型是根據(jù)所構(gòu)建的元模型而實(shí)現(xiàn)的，構(gòu)建代碼如圖6所示；

所述步驟10）使用OSATE建立AADL模型中包括：

1)模型中具有thread，process，process?group，data，subprogramming，processor，memory，bus,device，system中的一類(lèi)或幾類(lèi)。

2)模型中每一個(gè)組件具有聲明和實(shí)現(xiàn)兩部分。

3)模型中的組件可以擁有features，flows,connetctions,properties中的一個(gè)或多個(gè)屬性。

4)模型中至少有一個(gè)組件在實(shí)現(xiàn)中具有行為附件——Behavior?Annex.

具體的建模語(yǔ)法語(yǔ)義遵守SAE?AS5506、SAE?AS5506/1和SAE?AS5506/2規(guī)約標(biāo)準(zhǔn)。

所述步驟11）的使用EMF建立AADL元模型和步驟12）的使用EMF建立AADL元模型具體如下：

所使用的AADL元模型是圖4所描述的結(jié)構(gòu)；

所使用的IA元模型是圖5所描述的結(jié)構(gòu)；

所述步驟13）新建一個(gè)ATL工程，編寫(xiě)轉(zhuǎn)換文件，將AADL模型以及AADL元模型,接口自動(dòng)機(jī)元模型導(dǎo)入到ATL工程中，執(zhí)行過(guò)程包括：