• <tr id="yyy80"></tr>
  • <sup id="yyy80"></sup>
  • <tfoot id="yyy80"><noscript id="yyy80"></noscript></tfoot>
  • 99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

    基于AndroMDA的實(shí)時(shí)系統(tǒng)代碼生成技術(shù)研究

    2010-09-02 06:23:54苑春春孔祥營凌云鋒
    指揮控制與仿真 2010年6期
    關(guān)鍵詞:狀態(tài)圖代碼生成中斷

    苑春春,孔祥營,凌云鋒

    (中國船舶重工集團(tuán)公司江蘇自動(dòng)化研究所,江蘇 連云港 222006)

    目前,實(shí)時(shí)系統(tǒng)廣泛應(yīng)用于工業(yè)、國防、交通、能源、醫(yī)療衛(wèi)生以及日常生活等領(lǐng)域,并發(fā)揮著極其重要的作用。但由于硬件、性能等約束,實(shí)時(shí)系統(tǒng)軟件的開發(fā)通常要比非實(shí)時(shí)系統(tǒng)軟件的開發(fā)困難許多[1]。代碼生成技術(shù)是一項(xiàng)利用計(jì)算機(jī)程序來產(chǎn)生其他程序的技術(shù),應(yīng)用此技術(shù)可有效提高軟件開發(fā)的質(zhì)量和效率[2]。因此,將代碼生成技術(shù)應(yīng)用到實(shí)時(shí)系統(tǒng)軟件的開發(fā)中是一件有必要且很有意義的工作。

    LACATRE[3-4]是一種用于實(shí)時(shí)多任務(wù)應(yīng)用的圖形化軟件設(shè)計(jì)工具,它以圖形化方式支持軟件的設(shè)計(jì)和代碼生成。該工具可支持任務(wù)、中斷及信號(hào)量等對(duì)象,并生成相應(yīng)的代碼,具有直觀和操作簡便的優(yōu)點(diǎn)。但由于其抽象層次較低,代碼生成效率并不高。MDA[5-6]也是利用圖形化的開發(fā)工具對(duì)軟件進(jìn)行開發(fā)。它以UML為工具進(jìn)行圖形化建模,并將模型區(qū)分為描述系統(tǒng)業(yè)務(wù)功能的PIM和描述系統(tǒng)在特定技術(shù)平臺(tái)上實(shí)現(xiàn)的PSM,通過PIM到PSM的轉(zhuǎn)換和PSM到代碼的轉(zhuǎn)換,完成軟件系統(tǒng)的開發(fā)過程。MDA對(duì)于提高軟件的生產(chǎn)效率、可移植性、可復(fù)用性、可維護(hù)性等方面,都產(chǎn)生積極地影響,然而目前并沒有面向?qū)崟r(shí)系統(tǒng)的MDA工具。本文基于開源軟件AndroMDA,以VxWorks操作系統(tǒng)[7-8]為平臺(tái),研究和設(shè)計(jì)了實(shí)時(shí)系統(tǒng)的PIM到PSM、PSM到代碼的轉(zhuǎn)換規(guī)則和實(shí)現(xiàn)算法。最后通過實(shí)際效果驗(yàn)證,該技術(shù)能有效提高實(shí)時(shí)系統(tǒng)軟件開發(fā)的效率和質(zhì)量。

    1 AndroMDA簡介

    AndroMDA[9-10]是遵循MDA規(guī)范的一個(gè)開源的開發(fā)工具。AndroMDA導(dǎo)入由建模工具生成的以XMI文件形式表示的PIM,將其實(shí)例化為語法抽象樹;然后對(duì)實(shí)例化后的PIM進(jìn)行遍歷。在此過程中,AndroMDA生成相應(yīng)的Metafacade對(duì)象,通過該對(duì)象將PIM轉(zhuǎn)換為相應(yīng)的PSM;再通過模板引擎及相應(yīng)的模板文件,將PSM轉(zhuǎn)換成代碼。

    AndroMDA由Cartridge、Metafacade、Repository、Template Engines和Translation Libraries等組件組成。其中,Cartridge是AndroMDA模型轉(zhuǎn)換過程中的核心組件,它的功能是提取加了擴(kuò)展機(jī)制或滿足特定推斷條件的UML元素并進(jìn)行處理;Metafacade從模板中獲取模型的API,簡化模板的工作;Repository是負(fù)責(zé)存儲(chǔ)PIM的主要組件;Template Engines是負(fù)責(zé)代碼生成的組件;Translation Libraries將OCL轉(zhuǎn)換成為特定平臺(tái)的代碼,實(shí)現(xiàn)代碼的約束和查詢。

    現(xiàn)在AndroMDA主要用于生成J2EE平臺(tái)上的代碼,通過修改和擴(kuò)展AndroMDA的組件,可設(shè)計(jì)出生成其他平臺(tái)代碼的工具。

    2 實(shí)時(shí)系統(tǒng)模型轉(zhuǎn)換規(guī)則研究

    模型轉(zhuǎn)換規(guī)則研究包括分析平臺(tái)技術(shù),設(shè)計(jì)其PSM元模型,以及設(shè)計(jì)PIM到PSM和PSM到代碼的轉(zhuǎn)換規(guī)則[9]。本文主要研究類圖及狀態(tài)圖這兩種UML圖的轉(zhuǎn)換規(guī)則,其中類圖實(shí)現(xiàn)任務(wù)、中斷和通信的靜態(tài)結(jié)構(gòu),狀態(tài)圖實(shí)現(xiàn)任務(wù)或中斷的動(dòng)態(tài)行為。

    2.1 PSM元模型

    PSM元模型描述PSM的語義,它代表了PSM所屬平臺(tái)的核心概念和關(guān)鍵技術(shù)。實(shí)時(shí)系統(tǒng)的核心概念包括有可編程對(duì)象和可配置對(duì)象[3]??删幊虒?duì)象是應(yīng)用程序中產(chǎn)生動(dòng)作的實(shí)體,并體現(xiàn)了信息轉(zhuǎn)換的過程。在VxWorks平臺(tái)中,可編程對(duì)象有任務(wù)(Task)、信號(hào)(Signal)、中斷服務(wù)程序(ISR)和看門狗(Watchdog Timer)等??膳渲脤?duì)象用于可編程對(duì)象之間的通信和同步。在 VxWorks平臺(tái)中,可配置對(duì)象有信號(hào)量(Semaphore)、消息(Message)、消息隊(duì)列(Message Queue)、和管道(Pipe)等。

    根據(jù)上述概念,本文給出VxWorks平臺(tái)的PSM元模型如圖1所示。

    圖1 VxWorks的PSM元模型

    2.2 PIM到PSM的轉(zhuǎn)換規(guī)則

    在 AndroMDA中,PIM到 PSM的轉(zhuǎn)換是由Metafacade類來實(shí)現(xiàn)的。PIM與PSM之間的轉(zhuǎn)換可以看作是對(duì)PIM的Metafacade類的操作,這些操作的返回結(jié)果是一個(gè) PSM 的元對(duì)象,操作的算法則是 PIM到PSM的轉(zhuǎn)換規(guī)則。本文設(shè)計(jì)的PIM到PSM的轉(zhuǎn)換規(guī)則如下:

    1)PIM中實(shí)現(xiàn)任務(wù)的類對(duì)應(yīng)著PSM中的一個(gè)任務(wù),此類的狀態(tài)機(jī)對(duì)應(yīng)任務(wù)的具體實(shí)現(xiàn)過程。

    2)PIM中實(shí)現(xiàn)中斷的類對(duì)應(yīng)著PSM中的一個(gè)中斷(中斷處理程序調(diào)用、看門狗程序調(diào)用、信號(hào)中斷調(diào)用等),此類的狀態(tài)機(jī)對(duì)應(yīng)中斷的具體實(shí)現(xiàn)過程。

    3)PIM中實(shí)現(xiàn)通信的類對(duì)應(yīng)著PSM中的一個(gè)通信(二進(jìn)制信號(hào)量、互斥信號(hào)量、計(jì)數(shù)器信號(hào)量、消息隊(duì)列、管道等)。

    4)如果PIM狀態(tài)機(jī)中遷移的觸發(fā)事件是并發(fā)事件,此遷移對(duì)應(yīng)一個(gè)并發(fā)任務(wù)調(diào)用。

    5)如果PIM狀態(tài)機(jī)中遷移的觸發(fā)事件是中斷事件,根據(jù)中斷事件所屬類的類型,此遷移分別對(duì)應(yīng)著中斷處理程序調(diào)用、看門狗程序調(diào)用、信號(hào)中斷調(diào)用等中斷的調(diào)用。

    6)如果PIM狀態(tài)機(jī)中遷移的觸發(fā)事件是通信事件,根據(jù)通信事件所屬類的類型,此遷移分別對(duì)應(yīng)著二進(jìn)制信號(hào)量、互斥信號(hào)量、計(jì)數(shù)器信號(hào)量、消息隊(duì)列、管道等通信的調(diào)用。

    根據(jù)上述模型轉(zhuǎn)換規(guī)則,可以實(shí)現(xiàn)如圖2所示的Metafacade類模型。

    在AndroMDA中,通過在PIM元模型上添加擴(kuò)展機(jī)制(UML profile),解決轉(zhuǎn)換過程中信息不明確的情況[9]。由于擴(kuò)展機(jī)制一般是根據(jù)相關(guān)平臺(tái)的特征設(shè)計(jì)的,所以擴(kuò)展后的PIM在一定程度上會(huì)帶有與PSM所屬平臺(tái)相關(guān)的信息,降低 PIM 的平臺(tái)無關(guān)性。但PIM與PSM的概念本就是相對(duì)的,并沒有絕對(duì)的平臺(tái)無關(guān)[6],所以將PIM保持在一個(gè)相對(duì)較大程度的平臺(tái)無關(guān)即可。由此本文提出設(shè)計(jì)擴(kuò)展機(jī)制的一個(gè)基本原則:通過領(lǐng)域分析,將擴(kuò)展機(jī)制設(shè)計(jì)為與領(lǐng)域平臺(tái)保持一定相關(guān),而與此領(lǐng)域內(nèi)具體實(shí)現(xiàn)技術(shù)平臺(tái)保持無關(guān),通過這種方式保持PIM較大程度的平臺(tái)無關(guān)性。

    圖2 Metafacade類模型

    本文設(shè)計(jì)的擴(kuò)展機(jī)制如表1、表2所示。可以看出,這些擴(kuò)展機(jī)制都不是VxWorks平臺(tái)所特有的,而是所有實(shí)時(shí)系統(tǒng)都具有的特征,它們同樣可以應(yīng)用于其他的實(shí)時(shí)系統(tǒng)平臺(tái)。所以這些擴(kuò)展機(jī)制雖然與實(shí)時(shí)系統(tǒng)平臺(tái)相關(guān),但與VxWorks平臺(tái)仍保持較大程度的平臺(tái)無關(guān),符合本文提出的設(shè)計(jì)原則。

    表1 本文設(shè)計(jì)的構(gòu)造型擴(kuò)展機(jī)制

    2.3 PSM到代碼的轉(zhuǎn)換規(guī)則

    PSM到代碼的轉(zhuǎn)換主要由Cartridge組件負(fù)責(zé)。Cartridge組件對(duì)PSM進(jìn)行分析,并通過相應(yīng)的模板文件將PSM轉(zhuǎn)換為代碼文件。

    本文主要針對(duì)狀態(tài)圖提出轉(zhuǎn)換規(guī)則。狀態(tài)圖由狀態(tài)和狀態(tài)間的遷移組成,在轉(zhuǎn)換過程中,狀態(tài)圖中的狀態(tài)轉(zhuǎn)換為任務(wù)或中斷的過程或執(zhí)行點(diǎn);狀態(tài)之間的遷移轉(zhuǎn)換為任務(wù)或中斷對(duì)其他實(shí)時(shí)對(duì)象的調(diào)用語句;任務(wù)或中斷的循環(huán)、條件等控制語句則是在對(duì)狀態(tài)圖結(jié)構(gòu)的有限遍歷分析得出的。

    表2 本文設(shè)計(jì)的標(biāo)簽值擴(kuò)展機(jī)制

    2.3.1 狀態(tài)轉(zhuǎn)換規(guī)則

    狀態(tài)圖中的狀態(tài)可分為偽狀態(tài)、簡單狀態(tài)和復(fù)合狀態(tài)。

    偽狀態(tài)又可分為初始狀態(tài)、終止?fàn)顟B(tài)、選擇狀態(tài)和歷史狀態(tài)等。初始狀態(tài)表示程序開始運(yùn)行;終止?fàn)顟B(tài)表示程序執(zhí)行結(jié)束,轉(zhuǎn)換為刪除語句或結(jié)束語句;選擇狀態(tài)表示程序的條件控制語句,結(jié)合遷移中的監(jiān)護(hù)條件,實(shí)現(xiàn)程序的選擇語句;歷史狀態(tài)表示先前被激活的狀態(tài),轉(zhuǎn)換為任務(wù)恢復(fù)語句。

    簡單狀態(tài)轉(zhuǎn)換為程序的執(zhí)行點(diǎn),可通過狀態(tài)的動(dòng)作來說明此段程序的具體執(zhí)行語句。

    復(fù)合狀態(tài)中的或狀態(tài)代表了一組順序執(zhí)行的子狀態(tài),轉(zhuǎn)換為程序中相應(yīng)的順序執(zhí)行語句。復(fù)合狀態(tài)中的與狀態(tài)代表了多個(gè)并發(fā)執(zhí)行的子狀態(tài),結(jié)合遷移中的并發(fā)事件,轉(zhuǎn)換為程序中對(duì)多個(gè)并發(fā)任務(wù)的任務(wù)激活語句。

    2.3.2 遷移轉(zhuǎn)換規(guī)則

    狀態(tài)間的遷移由源狀態(tài)、觸發(fā)事件、監(jiān)護(hù)條件、動(dòng)作和目標(biāo)狀態(tài)組成。

    由前文可知,本文設(shè)計(jì)的觸發(fā)事件有四種:并發(fā)事件、中斷事件、接收事件和發(fā)送事件。并發(fā)事件表示對(duì)并發(fā)任務(wù)的調(diào)用,轉(zhuǎn)換為任務(wù)調(diào)用語句;中斷事件表示對(duì)中斷事件的響應(yīng),根據(jù)中斷事件的類型,轉(zhuǎn)換為中斷服務(wù)程序、信號(hào)或看門狗的中斷調(diào)用語句;接收/發(fā)送事件表示對(duì)通信的接收/發(fā)送,根據(jù)通信事件的類型,轉(zhuǎn)換為信號(hào)量、消息或管道的調(diào)用語句;遷移的動(dòng)作是遷移中所需執(zhí)行的計(jì)算處理過程,轉(zhuǎn)換為對(duì)事件調(diào)用語句,調(diào)用語句的具體實(shí)現(xiàn)在遷移事件的動(dòng)作列表中表明。

    監(jiān)護(hù)條件結(jié)合源狀態(tài)和目標(biāo)狀態(tài),轉(zhuǎn)換為循環(huán)或條件控制語句。

    2.3.3 控制語句轉(zhuǎn)換規(guī)則

    狀態(tài)圖中的選擇狀態(tài)、監(jiān)護(hù)條件以及遷移的流出方向,一起決定了程序的控制語句。由于控制語句本身的復(fù)雜性,控制語句的轉(zhuǎn)換規(guī)則較為復(fù)雜,為方便對(duì)狀態(tài)圖的控制算法的分析。首先定義以下術(shù)語:

    1)路徑:狀態(tài)圖中任何狀態(tài)的序列及狀態(tài)間的遷移稱為路徑。

    2)循環(huán)路徑:起始于狀態(tài)S,經(jīng)過狀態(tài)間的遷移又返回到狀態(tài)S的路徑稱為循環(huán)路徑。

    3)循環(huán)起始狀態(tài):對(duì)狀態(tài)圖從初始狀態(tài)進(jìn)行深度優(yōu)先搜索時(shí),在循環(huán)路徑中搜索到的第一個(gè)狀態(tài)稱為這個(gè)循環(huán)路徑中的循環(huán)起始狀態(tài)。

    4)循環(huán)終止?fàn)顟B(tài):這個(gè)狀態(tài)處于循環(huán)路徑中,且其目標(biāo)狀態(tài)是此循環(huán)路徑的循環(huán)起始狀態(tài)。這個(gè)狀態(tài)稱為循環(huán)終止?fàn)顟B(tài)。

    5)完整路徑:從初始狀態(tài)到終止?fàn)顟B(tài)或到循環(huán)終止?fàn)顟B(tài)的路徑稱為完整路徑。

    本文設(shè)計(jì)的狀態(tài)圖控制算法的主要轉(zhuǎn)換規(guī)則如下:

    1)如果狀態(tài) S是初始狀態(tài),則表示狀態(tài)圖的分析開始。

    2)對(duì)所有循環(huán)路徑,如果狀態(tài) S是這個(gè)循環(huán)路徑的循環(huán)起始狀態(tài),有以下轉(zhuǎn)換規(guī)則:

    a)在循環(huán)路徑上的流出遷移和流入遷移均無監(jiān)護(hù)條件,則轉(zhuǎn)換為 forever語句,循環(huán)路徑上轉(zhuǎn)換為forever語句的循環(huán)體。

    b)在循環(huán)路徑上的流出遷移無監(jiān)護(hù)條件,但流入遷移有監(jiān)護(hù)條件,則轉(zhuǎn)換為do-while語句。語句的循環(huán)體為其循環(huán)路徑,循環(huán)條件為此監(jiān)護(hù)條件。

    c)在循環(huán)路徑上的流入遷移無監(jiān)護(hù)條件,但流出遷移有監(jiān)護(hù)條件,則轉(zhuǎn)換為while語句,語句的循環(huán)體為其循環(huán)路徑,循環(huán)條件為此監(jiān)護(hù)條件。

    d)在循環(huán)路徑上的流出遷移和流入遷移均有監(jiān)護(hù)條件,則在轉(zhuǎn)換規(guī)則c)的基礎(chǔ)上,在循環(huán)體內(nèi)最后加上do{}while語句,while的條件是(!監(jiān)護(hù)條件)。

    3)如果狀態(tài) S不是循環(huán)起始狀態(tài)或循環(huán)終止?fàn)顟B(tài),有以下轉(zhuǎn)換規(guī)則:

    a)流出遷移有監(jiān)護(hù)條件,則轉(zhuǎn)換為if語句,語句的選擇體為這條路徑,條件為此監(jiān)護(hù)條件。

    b)狀態(tài)S有多個(gè)流出遷移,觸發(fā)事件相同,監(jiān)護(hù)條件不同,則轉(zhuǎn)換為switch-case語句形式,case中的條件為相應(yīng)流出遷移上的監(jiān)護(hù)條件。

    4)如果狀態(tài) S是鏈接狀態(tài),則將兩個(gè)監(jiān)護(hù)條件合并為判定式的與關(guān)系。

    5)如果狀態(tài)圖上所有完整路徑都被分析過,表示此狀態(tài)圖的分析完成。

    3 原型實(shí)現(xiàn)及驗(yàn)證

    3.1 實(shí)現(xiàn)算法

    為了實(shí)現(xiàn)代碼的生成,需要對(duì)每個(gè)狀態(tài)圖進(jìn)行兩次遍歷。第一次遍歷是找出狀態(tài)圖中所有的完整路徑,并當(dāng)這些路徑中含有循環(huán)路徑時(shí),記錄下此循環(huán)路徑的循環(huán)起始狀態(tài)和循環(huán)終止?fàn)顟B(tài)。第二次遍歷是在第一次遍歷的基礎(chǔ)上,對(duì)每一個(gè)路徑結(jié)合第一次遍歷的結(jié)果進(jìn)行分析,并按照相應(yīng)的轉(zhuǎn)換規(guī)則生成代碼。兩次遍歷的具體算法如圖3所示。

    假設(shè)一個(gè)狀態(tài)圖中有k條完整路徑,m個(gè)狀態(tài),n個(gè)遷移。易知,第一次遍歷所需的時(shí)間復(fù)雜性是O(km),空間復(fù)雜性也為 O(km)。假設(shè)按照轉(zhuǎn)換規(guī)則生成代碼的時(shí)間O(1),則第二次遍歷所需的時(shí)間復(fù)雜性也為O(km)。所以上述算法的時(shí)間復(fù)雜性和空間復(fù)雜性均為O(km)。又因?yàn)樵跔顟B(tài)圖中,除終止?fàn)顟B(tài)外,每一個(gè)狀態(tài)至少引出一條流出遷移。如果每一條流出遷移,表示此狀態(tài)引出一條路徑。所以當(dāng)(1)狀態(tài)圖中有終止?fàn)顟B(tài)時(shí),k=n+1-m+1=n-m+2;(2)狀態(tài)圖中無終止?fàn)顟B(tài)時(shí),k=n-m+1。由此可推出,算法的時(shí)間復(fù)雜性和空間復(fù)雜性均為O(nm)。

    圖3 兩次遍歷的算法活動(dòng)圖

    3.2 應(yīng)用效果分析

    本文根據(jù)上述轉(zhuǎn)換規(guī)則及實(shí)現(xiàn)算法,已實(shí)現(xiàn)AndroMDA的實(shí)時(shí)系統(tǒng)代碼生成工具RT-AndroMDA的原型。利用代碼生成工具生成的實(shí)時(shí)系統(tǒng)軟件,其正確性和時(shí)效性等性能一方面與軟件開發(fā)人員的設(shè)計(jì)有關(guān),另一方面也與代碼生成工具對(duì)軟件開發(fā)人員建模的支持能力及模板的完整度有關(guān)。后者也是評(píng)價(jià)一個(gè)代碼生成工具有效性的重要標(biāo)準(zhǔn)。模板由代碼生成工具的設(shè)計(jì)者編寫,這些模板除編寫模板的語言外并無太大差別,它們經(jīng)過修改,都能生成一樣的代碼。而各種代碼生成工具對(duì)于建模的支持能力差別較大。LACATRE僅支持流程圖式的建模,不能對(duì)算法流程外的其他軟件特性進(jìn)行建模。而且它也不支持模型的嵌套開發(fā),使得建立的模型較為復(fù)雜。另外,它僅覆蓋軟件生命周期的設(shè)計(jì)和編碼兩個(gè)階段,抽象層次較低。而RT-AndroMDA利用UML等技術(shù)克服了上述缺陷,它支持軟件開發(fā)人員通過用例圖、類圖、狀態(tài)圖等 UML圖對(duì)軟件的各種特性進(jìn)行建模。同時(shí)它支持模型的嵌套開發(fā),有效的降低了建模的復(fù)雜性。另外由于PIM的平臺(tái)無關(guān)性,也使其抽象性得到提高,支持軟件生命周期從分析到測試的各個(gè)階段,有利于模型的移植和復(fù)用。

    在實(shí)際應(yīng)用中,本文利用RT-AndroMDA實(shí)現(xiàn)了共8777行代碼的一個(gè)實(shí)時(shí)系統(tǒng)軟件,其中自動(dòng)生成代碼約 6500行,約占總代碼量的 74%。為進(jìn)一步考察此工具的效果,本文結(jié)合以往的經(jīng)驗(yàn)數(shù)據(jù),對(duì)傳統(tǒng)方法、LACATRE方法和本文設(shè)計(jì)的方法進(jìn)行對(duì)比。結(jié)果如表3所示。

    表3 實(shí)際應(yīng)用效果比較

    由表3可知,使用RT-AndroMDA在進(jìn)行軟件開發(fā)時(shí)所需的工作量減少了47%,缺陷率也減少60%。這說明RT-AndroMDA對(duì)實(shí)時(shí)系統(tǒng)的軟件的開發(fā)效率和質(zhì)量都由提高。不過也可看到,雖然工具生成約74%的代碼,但是工作效率和質(zhì)量并沒有提高這么多。其主要原因是:軟件開發(fā)人員在建模過程中要比純手工編碼時(shí)的建模過程需要關(guān)注更多的細(xì)節(jié),所以導(dǎo)致建模過程時(shí)間較長,也較易有疏漏。另外開發(fā)人員也需一定時(shí)間熟悉此工具。

    4 結(jié)束語

    本文研究了基于開源軟件 AndroMDA的實(shí)時(shí)系統(tǒng)代碼生成技術(shù),分析并設(shè)計(jì)了實(shí)時(shí)系統(tǒng)PIM到PSM及PSM到代碼的轉(zhuǎn)換規(guī)則和實(shí)現(xiàn)算法。通過應(yīng)用這些轉(zhuǎn)換規(guī)則和實(shí)現(xiàn)算法,本文已初步實(shí)現(xiàn)了類圖及狀態(tài)圖到實(shí)時(shí)系統(tǒng)代碼的轉(zhuǎn)換生成。經(jīng)過應(yīng)用效果分析可知,AndroMDA對(duì)實(shí)時(shí)系統(tǒng)軟件的開發(fā)效率和質(zhì)量都有較大提高。下一步的工作是進(jìn)一步完善轉(zhuǎn)換規(guī)則和實(shí)現(xiàn)算法,并研究其他UML圖如順序圖的模型轉(zhuǎn)換,以更好的實(shí)現(xiàn)實(shí)時(shí)系統(tǒng)的代碼生成。

    [1]Bruce Powel Douglass.Real Time UML:Advances in The UML for Real-Time Systems[M].Third Edition.USA,Addison-Wesley, February 20,2004.

    [2]Jack Herrington.Code Generation in Action[M].USA,Manning, 2003.

    [3]Schwarz J.J., Skubich J.J., Szwed P., Maranzana M.Real Time Multitasking Design with Graphical Tool[C].First IEEE Workshop on Real Time Applications,New-York,USA, May 1993.

    [4]劉曉燕,字天文,張?jiān)粕?等.UML-RT到一個(gè)實(shí)時(shí)多任務(wù)執(zhí)行模型的轉(zhuǎn)換[J].計(jì)算機(jī)科學(xué),2007,34(7):275~278.

    [5]OMGMDA guide version 1.0.1.http://www.omg.org/mda/.

    [6]Anneke Kleppe, etc.解析MDA[M].鮑志云譯.北京:人民郵電出版社,2004.

    [7]Wind River.VxWorks Programmer’s Guide 5.4[M].Wind River System Inc,May 1999.

    [8]孔祥營,柏桂枝.嵌入式實(shí)時(shí)操作系統(tǒng)VxWorks及其開發(fā)環(huán)境Tornado[M].北京:中國電力出版社,2001.

    [9]droMDA.andromda-docs-3.3http://www.andromda.org/.

    [10]蔡斌輝.AndroMDA模型轉(zhuǎn)換組件開發(fā)方法的研究與應(yīng)用[D].合肥工業(yè)大學(xué)碩士學(xué)位論文,2006.

    猜你喜歡
    狀態(tài)圖代碼生成中斷
    基于ASP.NET的高校畢業(yè)論文管理系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)
    關(guān)于我放寒假后的真實(shí)狀態(tài)
    基于Web 的高校資產(chǎn)管理系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)
    Lustre語言可信代碼生成器研究進(jìn)展
    跟蹤導(dǎo)練(二)(5)
    千里移防,衛(wèi)勤保障不中斷
    解放軍健康(2017年5期)2017-08-01 06:27:44
    代碼生成技術(shù)在軟件開發(fā)中的應(yīng)用
    電子世界(2016年15期)2016-08-29 02:14:28
    基于XML的代碼自動(dòng)生成工具
    電子科技(2015年2期)2015-12-20 01:09:20
    基于UML狀態(tài)圖的軟件系統(tǒng)測試用例生成方法
    AT89C51與中斷有關(guān)的寄存器功能表解
    久久久久久久国产电影| 亚洲中文av在线| 久热爱精品视频在线9| 久久久久久久久久久久大奶| 国产日韩欧美亚洲二区| 91老司机精品| 国产黄色免费在线视频| 在线精品无人区一区二区三| 亚洲专区中文字幕在线 | 熟妇人妻不卡中文字幕| 热re99久久国产66热| 中文欧美无线码| 80岁老熟妇乱子伦牲交| 成年人午夜在线观看视频| 久久这里只有精品19| 亚洲中文av在线| 日本欧美视频一区| 2021少妇久久久久久久久久久| 午夜日本视频在线| 成人午夜精彩视频在线观看| 女人爽到高潮嗷嗷叫在线视频| 国产成人精品久久久久久| 女人高潮潮喷娇喘18禁视频| 国产免费视频播放在线视频| 久久性视频一级片| 亚洲精品美女久久久久99蜜臀 | 黄色视频在线播放观看不卡| 老司机影院成人| 亚洲av福利一区| 国产女主播在线喷水免费视频网站| 国产不卡av网站在线观看| 婷婷成人精品国产| 亚洲国产最新在线播放| 日本猛色少妇xxxxx猛交久久| 国产不卡av网站在线观看| 日本欧美国产在线视频| 亚洲精品国产一区二区精华液| 超色免费av| 精品少妇黑人巨大在线播放| 久久人人97超碰香蕉20202| 免费在线观看视频国产中文字幕亚洲 | 操出白浆在线播放| 免费观看a级毛片全部| 夫妻性生交免费视频一级片| 国产又爽黄色视频| 久久久久久免费高清国产稀缺| 一本久久精品| 久久久久人妻精品一区果冻| 日本色播在线视频| 亚洲欧美一区二区三区黑人| 国产伦理片在线播放av一区| 精品亚洲乱码少妇综合久久| 中文乱码字字幕精品一区二区三区| 欧美精品av麻豆av| 亚洲欧美成人综合另类久久久| 国产免费福利视频在线观看| 一区二区日韩欧美中文字幕| 九九爱精品视频在线观看| 免费日韩欧美在线观看| 青春草亚洲视频在线观看| 亚洲精品日韩在线中文字幕| 中文字幕人妻丝袜一区二区 | 国产成人精品久久二区二区91 | 一级毛片 在线播放| 国产男女内射视频| 国产精品女同一区二区软件| 少妇人妻 视频| 午夜福利网站1000一区二区三区| 免费在线观看完整版高清| 黑人巨大精品欧美一区二区蜜桃| 丝袜脚勾引网站| 午夜福利影视在线免费观看| 国产亚洲最大av| 制服诱惑二区| 永久免费av网站大全| 欧美变态另类bdsm刘玥| 中文字幕亚洲精品专区| 99久国产av精品国产电影| svipshipincom国产片| 日本wwww免费看| 中文天堂在线官网| 捣出白浆h1v1| tube8黄色片| 久久久久精品性色| 国精品久久久久久国模美| 高清av免费在线| 亚洲色图 男人天堂 中文字幕| 叶爱在线成人免费视频播放| 黄片小视频在线播放| 波多野结衣av一区二区av| 国产日韩欧美视频二区| 精品少妇内射三级| 国产亚洲最大av| av福利片在线| 午夜福利一区二区在线看| 久久久久人妻精品一区果冻| 精品一品国产午夜福利视频| 晚上一个人看的免费电影| 啦啦啦在线免费观看视频4| 亚洲美女视频黄频| 国产熟女欧美一区二区| 婷婷色av中文字幕| 水蜜桃什么品种好| 熟女少妇亚洲综合色aaa.| 精品亚洲成国产av| 91国产中文字幕| av电影中文网址| 国产熟女午夜一区二区三区| 午夜精品国产一区二区电影| 1024视频免费在线观看| 97人妻天天添夜夜摸| 搡老乐熟女国产| 亚洲一卡2卡3卡4卡5卡精品中文| 大话2 男鬼变身卡| 国产高清不卡午夜福利| 曰老女人黄片| 国产激情久久老熟女| av一本久久久久| 亚洲 欧美一区二区三区| 亚洲精品日本国产第一区| 大片免费播放器 马上看| 一边亲一边摸免费视频| 一区在线观看完整版| 如日韩欧美国产精品一区二区三区| 日韩制服骚丝袜av| 亚洲成国产人片在线观看| 色综合欧美亚洲国产小说| 一本—道久久a久久精品蜜桃钙片| 又粗又硬又长又爽又黄的视频| 亚洲欧美成人综合另类久久久| 国产av精品麻豆| 亚洲第一av免费看| 欧美日韩av久久| 激情五月婷婷亚洲| 欧美日韩福利视频一区二区| 亚洲成色77777| 久久精品人人爽人人爽视色| 一级毛片黄色毛片免费观看视频| 电影成人av| 黄片无遮挡物在线观看| 哪个播放器可以免费观看大片| 最新在线观看一区二区三区 | 在线观看免费视频网站a站| 国产毛片在线视频| 国产一卡二卡三卡精品 | 欧美日韩成人在线一区二区| 18在线观看网站| 欧美精品一区二区免费开放| 国产极品粉嫩免费观看在线| 国产成人啪精品午夜网站| 欧美少妇被猛烈插入视频| 久久热在线av| 一区二区三区乱码不卡18| 日韩中文字幕欧美一区二区 | 国产亚洲av高清不卡| 亚洲第一区二区三区不卡| 国产在线视频一区二区| 尾随美女入室| 不卡视频在线观看欧美| 在线精品无人区一区二区三| 深夜精品福利| 日韩,欧美,国产一区二区三区| 亚洲国产欧美一区二区综合| 操美女的视频在线观看| 黑人欧美特级aaaaaa片| 亚洲国产最新在线播放| 亚洲国产精品成人久久小说| 亚洲国产成人一精品久久久| 国产免费又黄又爽又色| 久久天堂一区二区三区四区| 日韩熟女老妇一区二区性免费视频| 最近最新中文字幕大全免费视频 | 看免费成人av毛片| 国产成人精品福利久久| 美女脱内裤让男人舔精品视频| 亚洲第一区二区三区不卡| 人人妻人人澡人人看| 中文字幕色久视频| www.精华液| 青青草视频在线视频观看| 91老司机精品| 黄色毛片三级朝国网站| 亚洲国产精品一区三区| 大片电影免费在线观看免费| 成人18禁高潮啪啪吃奶动态图| 久久 成人 亚洲| 一级a爱视频在线免费观看| 建设人人有责人人尽责人人享有的| 国产亚洲一区二区精品| 高清在线视频一区二区三区| 日韩视频在线欧美| 在线精品无人区一区二区三| 美女高潮到喷水免费观看| 免费女性裸体啪啪无遮挡网站| 午夜福利网站1000一区二区三区| 亚洲成人国产一区在线观看 | av线在线观看网站| 一个人免费看片子| 欧美精品高潮呻吟av久久| 热99久久久久精品小说推荐| 最近中文字幕2019免费版| 亚洲精品久久成人aⅴ小说| 秋霞伦理黄片| av视频免费观看在线观看| 亚洲男人天堂网一区| 国产探花极品一区二区| 国产成人精品福利久久| 久久久国产精品麻豆| 国产精品av久久久久免费| 大香蕉久久成人网| 国产极品粉嫩免费观看在线| 成年av动漫网址| 国产精品久久久久久精品古装| 晚上一个人看的免费电影| 精品亚洲乱码少妇综合久久| 亚洲第一av免费看| 亚洲成色77777| 亚洲色图 男人天堂 中文字幕| 777米奇影视久久| 搡老乐熟女国产| 天天躁日日躁夜夜躁夜夜| 亚洲国产精品成人久久小说| 亚洲精品中文字幕在线视频| 天天影视国产精品| 欧美人与善性xxx| 欧美最新免费一区二区三区| 欧美人与性动交α欧美精品济南到| bbb黄色大片| 自拍欧美九色日韩亚洲蝌蚪91| 一区二区三区四区激情视频| 99久国产av精品国产电影| 久久久久久免费高清国产稀缺| 丁香六月天网| 欧美黑人欧美精品刺激| 黑丝袜美女国产一区| 亚洲国产精品一区二区三区在线| 黑丝袜美女国产一区| a级片在线免费高清观看视频| 国产乱人偷精品视频| 97精品久久久久久久久久精品| 婷婷色综合www| 国产99久久九九免费精品| 精品一区在线观看国产| 亚洲综合色网址| 少妇人妻久久综合中文| 又大又黄又爽视频免费| 免费高清在线观看视频在线观看| 美女大奶头黄色视频| 国产探花极品一区二区| 亚洲在久久综合| 国产在线一区二区三区精| 亚洲精品第二区| 日日摸夜夜添夜夜爱| 制服人妻中文乱码| 午夜久久久在线观看| 黄色毛片三级朝国网站| 99热全是精品| 久热这里只有精品99| 久久99一区二区三区| 亚洲美女视频黄频| 国产av国产精品国产| 日韩中文字幕欧美一区二区 | 国产精品久久久久久精品电影小说| videos熟女内射| 国产成人一区二区在线| 亚洲人成77777在线视频| 日韩一本色道免费dvd| 亚洲欧美成人综合另类久久久| 高清av免费在线| 校园人妻丝袜中文字幕| 我要看黄色一级片免费的| 黄网站色视频无遮挡免费观看| 亚洲伊人色综图| 亚洲精品一二三| 中文字幕另类日韩欧美亚洲嫩草| 亚洲美女视频黄频| 一级片'在线观看视频| 人人妻人人添人人爽欧美一区卜| 一本久久精品| 如何舔出高潮| 久久久欧美国产精品| 国产男女超爽视频在线观看| 天天操日日干夜夜撸| 亚洲国产av影院在线观看| 精品一区二区三区av网在线观看 | 一边亲一边摸免费视频| 女性被躁到高潮视频| 国产不卡av网站在线观看| 麻豆av在线久日| 啦啦啦视频在线资源免费观看| 建设人人有责人人尽责人人享有的| 人妻 亚洲 视频| 欧美日韩一区二区视频在线观看视频在线| 十八禁人妻一区二区| 国产亚洲午夜精品一区二区久久| 欧美 亚洲 国产 日韩一| 韩国精品一区二区三区| 亚洲人成77777在线视频| 自拍欧美九色日韩亚洲蝌蚪91| 亚洲三区欧美一区| 黄色 视频免费看| 国产在线一区二区三区精| 免费黄网站久久成人精品| 丝袜在线中文字幕| 国产xxxxx性猛交| 亚洲,欧美,日韩| 欧美最新免费一区二区三区| 免费高清在线观看视频在线观看| 香蕉国产在线看| 欧美日韩一级在线毛片| 一本色道久久久久久精品综合| xxx大片免费视频| 啦啦啦中文免费视频观看日本| 午夜日韩欧美国产| 少妇 在线观看| 亚洲精品在线美女| 成年av动漫网址| 欧美变态另类bdsm刘玥| 亚洲久久久国产精品| 日韩av不卡免费在线播放| 制服丝袜香蕉在线| 亚洲av中文av极速乱| 亚洲精品乱久久久久久| 韩国av在线不卡| 夫妻性生交免费视频一级片| 久久久久精品国产欧美久久久 | 国产午夜精品一二区理论片| 汤姆久久久久久久影院中文字幕| 久久久久精品国产欧美久久久 | 大话2 男鬼变身卡| 色综合欧美亚洲国产小说| av女优亚洲男人天堂| 80岁老熟妇乱子伦牲交| 中文欧美无线码| 黄色怎么调成土黄色| 嫩草影视91久久| 免费观看av网站的网址| www.精华液| 婷婷成人精品国产| 免费高清在线观看日韩| 国产精品人妻久久久影院| 亚洲精品日本国产第一区| 一区福利在线观看| 交换朋友夫妻互换小说| 亚洲精品av麻豆狂野| 女人高潮潮喷娇喘18禁视频| 免费不卡黄色视频| 999久久久国产精品视频| 亚洲天堂av无毛| 在线观看www视频免费| 18在线观看网站| 狂野欧美激情性bbbbbb| 国产福利在线免费观看视频| 曰老女人黄片| 男女边摸边吃奶| 国产老妇伦熟女老妇高清| 在线天堂最新版资源| 午夜日韩欧美国产| 天天添夜夜摸| 日韩免费高清中文字幕av| 色网站视频免费| 色播在线永久视频| 国产精品av久久久久免费| 国产免费一区二区三区四区乱码| 人人妻人人澡人人爽人人夜夜| 看免费av毛片| 亚洲久久久国产精品| 久久人人爽av亚洲精品天堂| 亚洲成av片中文字幕在线观看| 成人影院久久| 一本一本久久a久久精品综合妖精| 国产高清国产精品国产三级| 欧美黑人欧美精品刺激| av国产精品久久久久影院| 高清视频免费观看一区二区| 综合色丁香网| 大香蕉久久网| 久久精品国产综合久久久| 黑丝袜美女国产一区| 午夜91福利影院| 99精国产麻豆久久婷婷| 美国免费a级毛片| av有码第一页| 男女国产视频网站| 天堂俺去俺来也www色官网| 女性生殖器流出的白浆| svipshipincom国产片| 国产深夜福利视频在线观看| 日韩一本色道免费dvd| 国产高清国产精品国产三级| 亚洲美女搞黄在线观看| 欧美在线一区亚洲| 久久韩国三级中文字幕| 宅男免费午夜| av片东京热男人的天堂| 美女国产高潮福利片在线看| 国产成人一区二区在线| 亚洲天堂av无毛| 日日摸夜夜添夜夜爱| 亚洲伊人色综图| 免费观看av网站的网址| 欧美日韩福利视频一区二区| 国产1区2区3区精品| 免费黄网站久久成人精品| 波野结衣二区三区在线| 日韩一卡2卡3卡4卡2021年| 午夜91福利影院| 日韩 欧美 亚洲 中文字幕| 母亲3免费完整高清在线观看| 久久天躁狠狠躁夜夜2o2o | 欧美人与性动交α欧美软件| 免费黄色在线免费观看| 一级爰片在线观看| 国产高清不卡午夜福利| 午夜影院在线不卡| 久久国产精品大桥未久av| 日韩不卡一区二区三区视频在线| 高清不卡的av网站| 日韩制服丝袜自拍偷拍| 久久久国产精品麻豆| 日本wwww免费看| 亚洲国产最新在线播放| 无遮挡黄片免费观看| 人成视频在线观看免费观看| 成人影院久久| 如何舔出高潮| 中文字幕人妻丝袜制服| 精品久久久久久电影网| av不卡在线播放| 久热这里只有精品99| 亚洲av欧美aⅴ国产| 亚洲国产最新在线播放| 亚洲国产精品999| 亚洲av福利一区| 国产日韩欧美视频二区| 女人久久www免费人成看片| xxx大片免费视频| 精品国产超薄肉色丝袜足j| 欧美黑人欧美精品刺激| 少妇被粗大猛烈的视频| 男男h啪啪无遮挡| 午夜福利一区二区在线看| 国产一区二区三区av在线| av卡一久久| 久热这里只有精品99| 日本午夜av视频| 婷婷色综合www| 久久精品国产亚洲av涩爱| 精品午夜福利在线看| 在线观看www视频免费| 免费高清在线观看日韩| 国产精品欧美亚洲77777| av线在线观看网站| 亚洲国产精品一区二区三区在线| 久久ye,这里只有精品| 欧美日韩亚洲高清精品| 成年人午夜在线观看视频| 国产高清国产精品国产三级| 日本欧美视频一区| 日本vs欧美在线观看视频| 青春草国产在线视频| 满18在线观看网站| 王馨瑶露胸无遮挡在线观看| 人人妻人人爽人人添夜夜欢视频| 欧美中文综合在线视频| 丝袜喷水一区| 99热网站在线观看| 中文字幕亚洲精品专区| 午夜av观看不卡| 亚洲欧美精品综合一区二区三区| 在线天堂最新版资源| 日本av手机在线免费观看| 欧美变态另类bdsm刘玥| 久久久精品国产亚洲av高清涩受| 国产片特级美女逼逼视频| 国产在线视频一区二区| 在线观看三级黄色| 超碰97精品在线观看| 国产熟女欧美一区二区| 国产高清国产精品国产三级| 天天影视国产精品| 日韩伦理黄色片| 亚洲av综合色区一区| 欧美精品人与动牲交sv欧美| 亚洲 欧美一区二区三区| 欧美97在线视频| 亚洲欧洲国产日韩| 亚洲三区欧美一区| 国产成人精品久久二区二区91 | 国产1区2区3区精品| 国产又色又爽无遮挡免| 日韩大片免费观看网站| 午夜精品国产一区二区电影| 免费观看a级毛片全部| 亚洲精品中文字幕在线视频| 欧美在线一区亚洲| a级毛片黄视频| 天天添夜夜摸| 亚洲色图综合在线观看| 99re6热这里在线精品视频| 欧美中文综合在线视频| 美女午夜性视频免费| 精品久久蜜臀av无| 99久久人妻综合| 最新的欧美精品一区二区| 久久久久国产精品人妻一区二区| 午夜福利网站1000一区二区三区| 美国免费a级毛片| 午夜福利在线免费观看网站| 黄片播放在线免费| 尾随美女入室| 亚洲国产精品一区三区| a级片在线免费高清观看视频| 搡老乐熟女国产| 亚洲成人国产一区在线观看 | 国产99久久九九免费精品| 欧美黑人欧美精品刺激| 人人妻人人添人人爽欧美一区卜| 午夜福利一区二区在线看| 欧美少妇被猛烈插入视频| 久久精品aⅴ一区二区三区四区| 成人国产av品久久久| 青青草视频在线视频观看| 另类亚洲欧美激情| 久久久久国产一级毛片高清牌| 亚洲精品国产av蜜桃| 在线观看免费日韩欧美大片| 侵犯人妻中文字幕一二三四区| 男女下面插进去视频免费观看| 夜夜骑夜夜射夜夜干| 天堂中文最新版在线下载| 日本欧美国产在线视频| 在线看a的网站| 国产精品一区二区精品视频观看| 午夜日本视频在线| 久久久久网色| 男女免费视频国产| 国产老妇伦熟女老妇高清| 久久久国产精品麻豆| 毛片一级片免费看久久久久| 国产成人精品在线电影| 一区二区三区乱码不卡18| 亚洲成人av在线免费| 久久97久久精品| 国产精品二区激情视频| 国产激情久久老熟女| 国产色婷婷99| av又黄又爽大尺度在线免费看| 国产野战对白在线观看| 十分钟在线观看高清视频www| 精品亚洲成国产av| 国产麻豆69| 免费黄网站久久成人精品| 最黄视频免费看| 如何舔出高潮| 一区二区av电影网| 精品亚洲成国产av| 性少妇av在线| 妹子高潮喷水视频| 国产极品天堂在线| 欧美 亚洲 国产 日韩一| 色网站视频免费| 日韩欧美精品免费久久| 亚洲欧美精品自产自拍| 大片免费播放器 马上看| 成人亚洲精品一区在线观看| 看免费av毛片| 精品少妇黑人巨大在线播放| 久久久久人妻精品一区果冻| 午夜福利一区二区在线看| 天堂8中文在线网| 日本黄色日本黄色录像| 校园人妻丝袜中文字幕| 亚洲精品美女久久av网站| 久久 成人 亚洲| 亚洲av日韩精品久久久久久密 | 大香蕉久久成人网| 亚洲成人一二三区av| 免费观看a级毛片全部| 悠悠久久av| 日韩大码丰满熟妇| 一级黄片播放器| 人成视频在线观看免费观看| 亚洲四区av| 久久99一区二区三区| 中文乱码字字幕精品一区二区三区| 天堂中文最新版在线下载| 欧美国产精品va在线观看不卡| 男女免费视频国产| 在线 av 中文字幕| 国产成人精品无人区| 国产日韩欧美视频二区| 国产一区二区三区av在线| 蜜桃国产av成人99| 免费在线观看黄色视频的| 黑人巨大精品欧美一区二区蜜桃| 观看av在线不卡| 欧美日韩亚洲高清精品| 精品久久久久久电影网| 一个人免费看片子| 精品一区二区三区四区五区乱码 | 中国三级夫妇交换| 极品少妇高潮喷水抽搐| 少妇的丰满在线观看| 91成人精品电影| 中文精品一卡2卡3卡4更新| 亚洲精品久久成人aⅴ小说| √禁漫天堂资源中文www| 亚洲精华国产精华液的使用体验| 久久午夜综合久久蜜桃| 欧美老熟妇乱子伦牲交| 黄色怎么调成土黄色| 女性生殖器流出的白浆| 热99国产精品久久久久久7| 亚洲av国产av综合av卡|