[發明專利]基于可執行元語言的電信領域建模方法

無效

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

技術領域

本發明屬于電信網絡管理的技術領域，具體涉及電信領域網絡設備、網絡性能、網絡故障的建模方法和模型正確性的驗證方法。

背景技術

隨著電信產業的飛速發展，各電信運營商之間的競爭日趨激烈，快速發展的用戶群、多樣化的業務以及經營競爭環境對電信企業的服務質量提出更高、更新的要求。面對市場挑戰，電信運營商需要提高管理效率，提高網絡管理水平。因而，建設一套跨平臺的網絡綜合管理系統勢在必行，該平臺能夠從全網的高度，直觀、綜合、快速地對運營商電信業務網運行質量進行分析評判，進行故障發現、定位與排除，分析業務和客戶影響性。在電信領域，網絡設備多樣化，網絡業務多樣化，領域建模的思想能夠從根本上解決目前電信網絡管理新業務、新設備不斷發展給建設網絡管理系統帶來的問題。

目前，流行的面向對象建模工具有Rational公司開發的Rational?Rose。國內的有北大青鳥面向對象建模工具。這些建模工具基于一個共同的建模語言——統一建模語言。統一建模語言是對象管理組織發起的一個面向對象建模語言標準，目前已經成為了面向對象建模的標準。統一建模語言通過類、對象、關系等描述系統的靜態結構信息，通過序列圖、狀態轉換圖等描述系統的動態行為。這種抽象化的對軟件系統地描述方便了開發人員之間思想的交流，也為文檔處理提供了方便。統一建模語言是一個非常成功的建模語言，為軟件過程的標準化、提高軟件開發的效率做出了巨大的貢獻。但是在實際應用的過程中也遇到了問題。最重要的問題就是統一建模語言目前還僅僅是應用在軟件過程中的分析、設計階段，使用該建模語言建立的模型是不可執行的，分析設計人員只能人工檢驗模型的正確性，這為模型的設計、代碼的實現都帶來了隱患。

發明內容：

本發明要解決的技術問題是，提供了一種基于可執行元語言的電信領域建模方法，并解決目前電信領域中領域模型建立后無法驗證的問題。

模型是本發明所構建的系統的功能、行為和結構的形式化表示，通過把領域模型表示成可執行模型，可以在領域層次測試模型的正確性，而不用考慮平臺相關的問題，這樣，領域模型永遠不會因為技術的變化而過時，從而做到了可不斷發展和可復用。

一種基于可執行元語言的電信領域建模方法，該方法包括以下步驟：

a)基于元對象設施(MOF)對統一建模語言進行擴展設計了一種適合電信領域的可執行元模型語言——xKL語言，并設計構建了基于xKL語言的建模工具和驗證工具。

b)收集電信領域相關信息，把它們整合成領域模型并用可視化的組件描述成類圖結構；用xKL填充類圖中的約束以及靜態語義部分，生成完整的圖形化領域模型。

c)將圖形化領域模型映射到完全基于xKL文本的電信領域模型。

d)從電信領域模型出發，根據需要解決的問題，選擇領域模型中的類進行實例化，生成基于xKL的內存動態可操作對象，并將領域模型中類之間關系實例化為xKL內存對象之間的關系，形成對象模型。

e)執行領域模型中基于xKL的約束，驗證對象模型中對象之間是否滿足應有的約束，若不滿足，則按照相應的約束動態修改模型，并返回修改的結果。

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

所述的xKL語言由靜態語法元模型和動態行為元模型組成，如圖1所示。靜態語法元模型是擴展了EMOF元模型，定義了表示模型所需的結構；動態行為元模型是對OCL做了外圍擴展，形成了xOCL語言，xOCL定義了對模型的操作。

從圖1可知，xKL語言的組成更具體的敘述是：

1、靜態語法元模型。EMOF是MOF2.0的基本核心，靜態語法元模型通過擴展EMOF元模型，形成了xKL語言的語法結構部分。為了適應平臺無關性的需求，它僅定義了一個模型所需要的結構，沒有給出任何模型行為的規范。

2、動態行為元模型。行為元模型對OCL作了外圍擴展，形成了xOCL語言。xOCL規范完全基于UML和MOF的核心定義，這使得它可以被應用到MOF和UML中。由于EMOF是不可執行的，因此需要添加一些行為元素，通過在OCL語言中添加對模型的一些操作形成行為元模型，結構模型和行為模型通過在類的操作體中書寫行為語句進行聯系。