[發(fā)明專利]基于可執(zhí)行元語言的電信領(lǐng)域建模方法

無效

• 申請?zhí)枺?/td>: 200810050834.8
• 申請日: 2008-06-18
• 公開（公告）號: CN101303646A
• 公開（公告）日: 2008-11-12
• 發(fā)明（設(shè)計）人: 劉淑芬;王曉燕;彭君;張俊;韓璐
• 申請（專利權(quán)）人: 吉林大學
• 主分類號: G06F9/44
• 分類號: G06F9/44
• 代理公司: 長春吉大專利代理有限責任公司
• 代理人: 王恩遠

1.一種基于可執(zhí)行元語言的電信領(lǐng)域建模方法，該方法包括以下步驟：

a)基于元對象設(shè)施對統(tǒng)一建模語言進行擴展設(shè)計了一種適合電信領(lǐng)域的可執(zhí)行元模型語言——xKL語言，并設(shè)計構(gòu)建了基于xKL語言的建模工具和驗證工具；所述的xKL語言由靜態(tài)語法元模型和動態(tài)行為元模型組成；靜態(tài)語法元模型是擴展了EMOF元模型，定義了表示模型所需的結(jié)構(gòu)；動態(tài)行為元模型是對OCL做了外圍擴展，形成xOCL語言，xOCL定義了對模型的操作；

b)收集電信領(lǐng)域相關(guān)信息，把它們整合成領(lǐng)域模型并用可視化的組件描述成類圖結(jié)構(gòu)；用xKL填充類圖中的約束以及靜態(tài)語義部分，生成完整的圖形化領(lǐng)域模型；

c)將圖形化領(lǐng)域模型映射到完全基于xKL文本的電信領(lǐng)域模型；

d)從電信領(lǐng)域模型出發(fā)，根據(jù)需要解決的問題，選擇領(lǐng)域模型中的類進行實例化，生成基于xKL的內(nèi)存動態(tài)可操作對象，并將領(lǐng)域模型中類之間關(guān)系實例化為xKL內(nèi)存對象之間的關(guān)系，形成對象模型；

e)執(zhí)行領(lǐng)域模型中基于xKL的約束，驗證對象模型中對象之間是否滿足應(yīng)有的約束，若不滿足，則按照相應(yīng)的約束動態(tài)修改模型，并返回修改的結(jié)果；

f)向模型中特定的對象發(fā)送指令，使其執(zhí)行相應(yīng)的方法，檢驗方法執(zhí)行的效果。

2.按照權(quán)利要求1所述的基于可執(zhí)行元語言的電信領(lǐng)域建模方法，其特征在于，所述的領(lǐng)域模型，包括從電信領(lǐng)域內(nèi)抽象出來的概念，即類和類之間的關(guān)系；類之間的關(guān)系包括繼承、關(guān)聯(lián)、聚合；其中，繼承關(guān)系是一般類與特殊類的關(guān)系，父類可以描述所有子類之間所有共同的屬性和操作；關(guān)聯(lián)關(guān)系是類之間的連接關(guān)系，使一個關(guān)聯(lián)端知道另一個關(guān)聯(lián)端的屬性和方法，分為單向和雙向關(guān)聯(lián)；聚合關(guān)系表示一個關(guān)聯(lián)端擁有另一個關(guān)聯(lián)端。

3.按照權(quán)利要求1所述的基于可執(zhí)行元語言的電信領(lǐng)域建模方法，其特征在于，所述的類圖中的約束，包括類中的約束和方法中的約束，類中的約束描述為類中的成員，方法中的約束描述為方法中的前置條件和后置條件。

4.按照權(quán)利要求1所述的基于可執(zhí)行元語言的電信領(lǐng)域建模方法，其特征在于，所述的將圖形化領(lǐng)域模型映射到完全基于xKL文本的電信領(lǐng)域模型，是一種圖文法到文本文法的靜態(tài)映射，包括：圖文法中的類元素映射到xKL中的class；聚合映射到xKL中的attribute；關(guān)聯(lián)映射到xKL中的reference；繼承映射到xKL中的inherits關(guān)系；約束和方法直接原始映射到xKL文法中。

5.按照權(quán)利要求1所述的基于可執(zhí)行元語言的電信領(lǐng)域建模方法，其特征在于，所述的類之間關(guān)系，是實例化為xKL內(nèi)存對象之間的關(guān)系，即，是將原有的關(guān)聯(lián)關(guān)系實例化為xKL內(nèi)存對象之間的引用關(guān)系，將原有的聚合關(guān)系實例化為xKL內(nèi)存對象之間的屬性關(guān)系。

6.按照權(quán)利要求1所述的基于可執(zhí)行元語言的電信領(lǐng)域建模方法，其特征在于，所述的驗證，是驗證對象模型中對象之間是否滿足應(yīng)有的約束，即語法映射、約束檢查和方法執(zhí)行。