• <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)的寄存器功能表解
    日本一本二区三区精品| 亚洲精品中文字幕在线视频| 成人国产一区最新在线观看| 久久精品影院6| 精品久久久久久久末码| 欧美另类亚洲清纯唯美| 国产精品乱码一区二三区的特点| www日本黄色视频网| 黄色视频不卡| 国产欧美日韩一区二区精品| 精品国产乱子伦一区二区三区| 亚洲五月色婷婷综合| 国产精品影院久久| 亚洲精品国产精品久久久不卡| 日韩大码丰满熟妇| 久久午夜综合久久蜜桃| 搡老熟女国产l中国老女人| 日韩欧美 国产精品| 宅男免费午夜| 十八禁人妻一区二区| 色综合欧美亚洲国产小说| 窝窝影院91人妻| 久久香蕉精品热| av在线播放免费不卡| 91av网站免费观看| 可以免费在线观看a视频的电影网站| 国产成人精品久久二区二区免费| 此物有八面人人有两片| 久久久国产精品麻豆| 中文字幕人妻熟女乱码| 国产99久久九九免费精品| 亚洲人成网站在线播放欧美日韩| 久久中文看片网| 在线观看午夜福利视频| 国产精品永久免费网站| 黑人巨大精品欧美一区二区mp4| 亚洲片人在线观看| 国产精品久久久久久人妻精品电影| 两人在一起打扑克的视频| 日日爽夜夜爽网站| 欧美+亚洲+日韩+国产| www.999成人在线观看| 老鸭窝网址在线观看| 久久久国产成人精品二区| 搡老熟女国产l中国老女人| 日韩精品青青久久久久久| 亚洲精品美女久久久久99蜜臀| 亚洲五月婷婷丁香| 亚洲在线自拍视频| 欧美+亚洲+日韩+国产| 国产一区二区在线av高清观看| 嫁个100分男人电影在线观看| 黄色丝袜av网址大全| 手机成人av网站| 搡老岳熟女国产| 亚洲狠狠婷婷综合久久图片| www国产在线视频色| 一本综合久久免费| 巨乳人妻的诱惑在线观看| 黄频高清免费视频| 午夜成年电影在线免费观看| 日韩中文字幕欧美一区二区| АⅤ资源中文在线天堂| 老司机午夜十八禁免费视频| 两性午夜刺激爽爽歪歪视频在线观看 | 啦啦啦韩国在线观看视频| 亚洲中文字幕日韩| 88av欧美| 久99久视频精品免费| 久久国产亚洲av麻豆专区| 黄色 视频免费看| 男女床上黄色一级片免费看| av福利片在线| 国产伦在线观看视频一区| 丝袜在线中文字幕| 十八禁网站免费在线| 久久久久九九精品影院| 精品久久久久久久人妻蜜臀av| 99久久久亚洲精品蜜臀av| 中文字幕人妻丝袜一区二区| 一进一出抽搐动态| 香蕉久久夜色| 欧美黑人精品巨大| 久久久久久久精品吃奶| 久久人妻av系列| 国产一级毛片七仙女欲春2 | 熟妇人妻久久中文字幕3abv| 男人舔女人下体高潮全视频| 亚洲精品久久国产高清桃花| 最新美女视频免费是黄的| 中文亚洲av片在线观看爽| 宅男免费午夜| 欧美成狂野欧美在线观看| 国产成人av激情在线播放| 久久婷婷成人综合色麻豆| 十八禁网站免费在线| 欧美日韩福利视频一区二区| 欧美日本视频| 国产精品香港三级国产av潘金莲| 99riav亚洲国产免费| 久久国产精品人妻蜜桃| 亚洲 国产 在线| 一个人免费在线观看的高清视频| 精品久久蜜臀av无| 动漫黄色视频在线观看| 99精品欧美一区二区三区四区| 好男人在线观看高清免费视频 | 精品国产乱码久久久久久男人| 国产精品亚洲av一区麻豆| 在线十欧美十亚洲十日本专区| 18禁黄网站禁片免费观看直播| 搡老妇女老女人老熟妇| 亚洲欧洲精品一区二区精品久久久| 午夜两性在线视频| 女生性感内裤真人,穿戴方法视频| 99精品久久久久人妻精品| 国产精品野战在线观看| 97人妻精品一区二区三区麻豆 | 99久久99久久久精品蜜桃| 99国产极品粉嫩在线观看| 91成年电影在线观看| 黄色片一级片一级黄色片| 成人欧美大片| 久久国产乱子伦精品免费另类| 在线永久观看黄色视频| 国产亚洲av嫩草精品影院| 免费看日本二区| 麻豆一二三区av精品| av天堂在线播放| 免费观看人在逋| 精品欧美一区二区三区在线| 亚洲 欧美 日韩 在线 免费| 久久久水蜜桃国产精品网| 成年人黄色毛片网站| 可以在线观看毛片的网站| 午夜福利在线在线| 亚洲五月天丁香| 久久人妻av系列| 亚洲成人久久性| 俄罗斯特黄特色一大片| 亚洲第一电影网av| 一进一出抽搐gif免费好疼| 天天添夜夜摸| 欧美国产日韩亚洲一区| 日韩免费av在线播放| 欧美激情高清一区二区三区| 制服人妻中文乱码| 亚洲av成人不卡在线观看播放网| 欧美在线一区亚洲| 国产成人av激情在线播放| 自线自在国产av| 丝袜美腿诱惑在线| 99热这里只有精品一区 | 欧美一级a爱片免费观看看 | 免费女性裸体啪啪无遮挡网站| 91麻豆av在线| 欧美日韩黄片免| 成人免费观看视频高清| 色av中文字幕| 午夜两性在线视频| 成在线人永久免费视频| 中出人妻视频一区二区| 亚洲专区国产一区二区| 精品久久久久久久毛片微露脸| 亚洲一区高清亚洲精品| 欧美三级亚洲精品| 两个人视频免费观看高清| 欧美国产日韩亚洲一区| 国产精品影院久久| 久久精品91无色码中文字幕| 亚洲av成人一区二区三| 国产91精品成人一区二区三区| 一进一出抽搐动态| 在线观看免费视频日本深夜| 精品国产乱码久久久久久男人| 级片在线观看| 人人妻人人澡欧美一区二区| 精品欧美国产一区二区三| 亚洲av片天天在线观看| 精品乱码久久久久久99久播| 日日干狠狠操夜夜爽| 国产免费男女视频| 自线自在国产av| 日本精品一区二区三区蜜桃| 国内毛片毛片毛片毛片毛片| 精品无人区乱码1区二区| 免费看日本二区| 一本综合久久免费| 中文亚洲av片在线观看爽| 在线观看一区二区三区| 午夜亚洲福利在线播放| 精品欧美一区二区三区在线| 亚洲午夜精品一区,二区,三区| 国产精品98久久久久久宅男小说| 日韩欧美国产在线观看| 少妇 在线观看| 国产主播在线观看一区二区| 免费看美女性在线毛片视频| 国产欧美日韩一区二区精品| 国产亚洲欧美98| 麻豆一二三区av精品| 久久久久久免费高清国产稀缺| 国产又爽黄色视频| av有码第一页| 国产区一区二久久| 国产熟女xx| 亚洲成人久久性| 久久亚洲精品不卡| 国产精品久久视频播放| 成年免费大片在线观看| 久久久久久久久中文| 亚洲成人免费电影在线观看| 久久精品国产亚洲av香蕉五月| 亚洲性夜色夜夜综合| 国产熟女午夜一区二区三区| 国产片内射在线| 少妇熟女aⅴ在线视频| 成人国产一区最新在线观看| 丰满的人妻完整版| 免费观看人在逋| 亚洲成a人片在线一区二区| 欧美另类亚洲清纯唯美| 一边摸一边抽搐一进一小说| 亚洲国产中文字幕在线视频| 不卡av一区二区三区| 久久人人精品亚洲av| 亚洲精品美女久久久久99蜜臀| 禁无遮挡网站| 一本精品99久久精品77| 又黄又爽又免费观看的视频| 亚洲真实伦在线观看| 久久久国产精品麻豆| 久99久视频精品免费| 亚洲男人的天堂狠狠| 国产1区2区3区精品| 女同久久另类99精品国产91| av在线播放免费不卡| 日本a在线网址| 91麻豆av在线| 亚洲精品一卡2卡三卡4卡5卡| 淫秽高清视频在线观看| 久久国产精品人妻蜜桃| 在线观看一区二区三区| 国产亚洲欧美98| 亚洲中文字幕一区二区三区有码在线看 | 黄色毛片三级朝国网站| 香蕉av资源在线| e午夜精品久久久久久久| 一级黄色大片毛片| 国内毛片毛片毛片毛片毛片| 精品乱码久久久久久99久播| 成人三级做爰电影| 在线视频色国产色| 亚洲成人久久爱视频| 又紧又爽又黄一区二区| 满18在线观看网站| 中文资源天堂在线| 女性生殖器流出的白浆| 欧美久久黑人一区二区| 午夜福利一区二区在线看| 免费在线观看亚洲国产| 婷婷精品国产亚洲av| 久久久久久大精品| 级片在线观看| 日韩精品免费视频一区二区三区| aaaaa片日本免费| 欧美成人午夜精品| 性色av乱码一区二区三区2| 中文字幕久久专区| 香蕉av资源在线| 国产成人一区二区三区免费视频网站| 一区二区三区激情视频| 亚洲国产精品成人综合色| 精品一区二区三区av网在线观看| 精品国产一区二区三区四区第35| 国产亚洲欧美98| 久久婷婷成人综合色麻豆| 两个人视频免费观看高清| 国产成人精品久久二区二区免费| 亚洲av成人av| 夜夜躁狠狠躁天天躁| av欧美777| 午夜老司机福利片| 日韩免费av在线播放| 中国美女看黄片| 久久久久久久久中文| 国产精品二区激情视频| 亚洲国产精品久久男人天堂| 国产又爽黄色视频| 亚洲第一欧美日韩一区二区三区| av天堂在线播放| 亚洲色图 男人天堂 中文字幕| 免费无遮挡裸体视频| 嫩草影院精品99| 精品久久久久久久久久久久久 | 操出白浆在线播放| 久久香蕉精品热| 亚洲黑人精品在线| 欧美乱色亚洲激情| 99国产综合亚洲精品| 欧美最黄视频在线播放免费| 88av欧美| 久久国产精品人妻蜜桃| 欧美激情 高清一区二区三区| 成人三级做爰电影| 亚洲国产看品久久| 婷婷丁香在线五月| 午夜福利18| 亚洲成人久久爱视频| 久久香蕉精品热| 99国产精品一区二区蜜桃av| 超碰成人久久| 亚洲性夜色夜夜综合| 99精品在免费线老司机午夜| 国产精品一区二区三区四区久久 | 村上凉子中文字幕在线| 99久久国产精品久久久| 亚洲成人久久性| 又大又爽又粗| 久久香蕉精品热| 免费搜索国产男女视频| 欧美国产精品va在线观看不卡| 天天添夜夜摸| 亚洲午夜理论影院| 亚洲九九香蕉| 女人爽到高潮嗷嗷叫在线视频| 美女高潮到喷水免费观看| xxx96com| 国产成年人精品一区二区| 99热这里只有精品一区 | 久久久久国产精品人妻aⅴ院| videosex国产| 国产亚洲精品综合一区在线观看 | 真人一进一出gif抽搐免费| 亚洲精品一卡2卡三卡4卡5卡| 国产成人精品无人区| 美国免费a级毛片| 久久久国产精品麻豆| 人妻丰满熟妇av一区二区三区| 久久天堂一区二区三区四区| 国产片内射在线| 久久精品aⅴ一区二区三区四区| 狂野欧美激情性xxxx| 午夜福利在线在线| 最新在线观看一区二区三区| 久久人人精品亚洲av| 国产视频内射| 村上凉子中文字幕在线| 亚洲一区高清亚洲精品| 国产在线观看jvid| www国产在线视频色| 日本五十路高清| bbb黄色大片| 每晚都被弄得嗷嗷叫到高潮| 亚洲色图 男人天堂 中文字幕| 国产亚洲精品久久久久久毛片| 欧美黑人巨大hd| 99国产精品一区二区三区| 国产精品九九99| 一级毛片女人18水好多| 99在线人妻在线中文字幕| 欧美一级a爱片免费观看看 | 亚洲一卡2卡3卡4卡5卡精品中文| 黄色 视频免费看| 亚洲成av人片免费观看| 不卡一级毛片| 好男人在线观看高清免费视频 | 国产单亲对白刺激| 97人妻精品一区二区三区麻豆 | 久久精品人妻少妇| 18禁黄网站禁片午夜丰满| 黄色 视频免费看| 国产色视频综合| 精品国产超薄肉色丝袜足j| 18禁裸乳无遮挡免费网站照片 | 最近最新中文字幕大全免费视频| 欧美绝顶高潮抽搐喷水| 欧美成人性av电影在线观看| 亚洲一区中文字幕在线| 欧美在线一区亚洲| 亚洲精品一卡2卡三卡4卡5卡| av超薄肉色丝袜交足视频| 亚洲午夜精品一区,二区,三区| 亚洲国产精品成人综合色| 岛国在线观看网站| av在线天堂中文字幕| 搡老熟女国产l中国老女人| 天天添夜夜摸| 熟妇人妻久久中文字幕3abv| 国产精品久久久久久人妻精品电影| 欧美精品啪啪一区二区三区| 啪啪无遮挡十八禁网站| 黄网站色视频无遮挡免费观看| 俺也久久电影网| 亚洲中文字幕日韩| 好男人在线观看高清免费视频 | 日韩一卡2卡3卡4卡2021年| 亚洲精品在线观看二区| 欧美一级毛片孕妇| 国产主播在线观看一区二区| 久久久久精品国产欧美久久久| 18禁国产床啪视频网站| 欧美久久黑人一区二区| 国产一区二区三区视频了| 90打野战视频偷拍视频| av电影中文网址| 成人亚洲精品一区在线观看| 91九色精品人成在线观看| 国产精品自产拍在线观看55亚洲| 黄色丝袜av网址大全| 少妇被粗大的猛进出69影院| 国产高清videossex| 丰满的人妻完整版| 亚洲在线自拍视频| 久久香蕉国产精品| 亚洲狠狠婷婷综合久久图片| 成人一区二区视频在线观看| 日本撒尿小便嘘嘘汇集6| 男女午夜视频在线观看| 欧美成人免费av一区二区三区| 国产不卡一卡二| 欧洲精品卡2卡3卡4卡5卡区| 国产精品免费一区二区三区在线| 啦啦啦观看免费观看视频高清| 日韩欧美三级三区| 一级毛片高清免费大全| 中文字幕另类日韩欧美亚洲嫩草| 成人国产综合亚洲| 成人手机av| 免费在线观看影片大全网站| 午夜精品久久久久久毛片777| 亚洲国产欧美日韩在线播放| 国产麻豆成人av免费视频| 午夜免费成人在线视频| 91麻豆av在线| 免费av毛片视频| 91老司机精品| 欧美性猛交黑人性爽| 国产亚洲精品综合一区在线观看 | 国产单亲对白刺激| av欧美777| 伦理电影免费视频| 黄色视频不卡| 一级毛片高清免费大全| 国产精品自产拍在线观看55亚洲| 美女国产高潮福利片在线看| 中国美女看黄片| 久久精品91蜜桃| 亚洲成人久久爱视频| 大型黄色视频在线免费观看| 很黄的视频免费| 精华霜和精华液先用哪个| 亚洲第一欧美日韩一区二区三区| 国产免费av片在线观看野外av| 男女那种视频在线观看| 欧美性猛交黑人性爽| 天天一区二区日本电影三级| 日韩欧美国产一区二区入口| 黄色 视频免费看| 久久中文字幕一级| 成人一区二区视频在线观看| 两个人免费观看高清视频| 日本撒尿小便嘘嘘汇集6| 亚洲欧美精品综合一区二区三区| 波多野结衣高清作品| √禁漫天堂资源中文www| 亚洲自拍偷在线| 日韩有码中文字幕| 日本成人三级电影网站| 51午夜福利影视在线观看| 一级毛片精品| av欧美777| 成年免费大片在线观看| 亚洲精品在线美女| 18美女黄网站色大片免费观看| netflix在线观看网站| 亚洲av成人av| 正在播放国产对白刺激| 欧美日本亚洲视频在线播放| 亚洲成人久久爱视频| 一边摸一边做爽爽视频免费| 亚洲七黄色美女视频| 可以在线观看毛片的网站| 1024香蕉在线观看| 欧美成人免费av一区二区三区| 美女免费视频网站| www.熟女人妻精品国产| 美女高潮喷水抽搐中文字幕| 国产亚洲精品综合一区在线观看 | 99在线视频只有这里精品首页| 亚洲 国产 在线| 久久精品国产99精品国产亚洲性色| 免费av毛片视频| 一级毛片女人18水好多| 久久人妻福利社区极品人妻图片| 亚洲五月色婷婷综合| 别揉我奶头~嗯~啊~动态视频| 亚洲精品一区av在线观看| 校园春色视频在线观看| 久久精品aⅴ一区二区三区四区| 精品国内亚洲2022精品成人| 欧美日韩亚洲综合一区二区三区_| 亚洲av成人一区二区三| 视频在线观看一区二区三区| 99久久久亚洲精品蜜臀av| 亚洲免费av在线视频| 久久天堂一区二区三区四区| 一级毛片精品| 国产高清有码在线观看视频 | 国产av在哪里看| 国产精品久久电影中文字幕| 长腿黑丝高跟| 中文字幕精品免费在线观看视频| 大香蕉久久成人网| 午夜福利高清视频| 欧美黄色淫秽网站| 88av欧美| 女人爽到高潮嗷嗷叫在线视频| 精品免费久久久久久久清纯| 亚洲一区二区三区色噜噜| bbb黄色大片| 国产又爽黄色视频| 啦啦啦韩国在线观看视频| 欧美日韩乱码在线| 亚洲精品国产区一区二| 国产区一区二久久| 18禁国产床啪视频网站| 一本综合久久免费| 俺也久久电影网| 大型黄色视频在线免费观看| 日本在线视频免费播放| 美女高潮到喷水免费观看| 亚洲av五月六月丁香网| 欧美日韩一级在线毛片| 精华霜和精华液先用哪个| 精品国产乱子伦一区二区三区| 欧美日韩亚洲综合一区二区三区_| 侵犯人妻中文字幕一二三四区| 男人的好看免费观看在线视频 | 久久人妻福利社区极品人妻图片| 女同久久另类99精品国产91| 国产国语露脸激情在线看| 久热这里只有精品99| 人人澡人人妻人| 叶爱在线成人免费视频播放| 亚洲精品在线美女| 亚洲成国产人片在线观看| 日本精品一区二区三区蜜桃| 国产伦一二天堂av在线观看| 黄片大片在线免费观看| 成人三级黄色视频| 亚洲天堂国产精品一区在线| 久久久久久大精品| 中文亚洲av片在线观看爽| 国产日本99.免费观看| 免费av毛片视频| 9191精品国产免费久久| 一个人观看的视频www高清免费观看 | 日本撒尿小便嘘嘘汇集6| 国产精品久久久久久精品电影 | 亚洲精华国产精华精| 嫩草影视91久久| 亚洲国产精品久久男人天堂| 一二三四社区在线视频社区8| 欧美激情久久久久久爽电影| 欧美色视频一区免费| 日韩精品免费视频一区二区三区| 日日摸夜夜添夜夜添小说| 夜夜爽天天搞| 亚洲精品一区av在线观看| 一本精品99久久精品77| 制服丝袜大香蕉在线| 久久精品91蜜桃| 欧美中文日本在线观看视频| 久久久水蜜桃国产精品网| 婷婷亚洲欧美| 老司机午夜十八禁免费视频| 一进一出好大好爽视频| 丁香六月欧美| 日韩大码丰满熟妇| 久久久国产欧美日韩av| 亚洲 欧美一区二区三区| cao死你这个sao货| 欧美+亚洲+日韩+国产| 最近最新中文字幕大全电影3 | 看片在线看免费视频| 欧美在线一区亚洲| 亚洲 国产 在线| 级片在线观看| 51午夜福利影视在线观看| 午夜视频精品福利| 欧美另类亚洲清纯唯美| 久久久国产精品麻豆| 日本黄色视频三级网站网址| 可以免费在线观看a视频的电影网站| 国产欧美日韩精品亚洲av| 国产精品1区2区在线观看.| 热99re8久久精品国产| 性欧美人与动物交配| 国产精品久久久人人做人人爽| 亚洲一区二区三区不卡视频| 母亲3免费完整高清在线观看| 亚洲精品在线美女| 法律面前人人平等表现在哪些方面| 在线天堂中文资源库| 国产亚洲av高清不卡| 亚洲成人久久爱视频| 国产91精品成人一区二区三区| 欧美乱色亚洲激情| 久久久久九九精品影院| 国产又色又爽无遮挡免费看| 看黄色毛片网站| 久久午夜亚洲精品久久| 女人高潮潮喷娇喘18禁视频| 丰满人妻熟妇乱又伦精品不卡|