基于本體語義映射的MDA模型轉換方法＊

崔玲玲,周桂鑫

(濰坊學院,山東 濰坊 261061)

基于本體語義映射的MDA模型轉換方法＊

崔玲玲,周桂鑫

(濰坊學院,山東 濰坊 261061)

模型轉換是MDA的一項關鍵技術,模型轉換的正確性問題是MDA研究的核心問題。模型轉換的正確性包括語法正確性、語義正確性等,而目前國內外存在的大多數模型轉換方法都是在語法層次進行的,缺乏語義正確性的驗證,針對該問題,本文提出了基于本體語義映射機制的模型轉換方法,給出了一系列的轉換規則,以UML模型到C語言模型的映射為例,進一步討論了不同抽象層次模型之間映射關系的建立過程以及所應遵循的基本原則。本方法用本體實現語義層的模型轉換,提高了模型自動變換的效率,還為驗證模型之間映射規則的可行性和正確性提供了依據。

模型驅動體系結構;模型轉換;本體語義映射;轉換規則

0 引言

模型驅動體系結構(model driven architecture,MDA)是國際標準組織OMG于2001年提出的一種基于模型的軟件開發框架性標準。它的關鍵之處是模型在軟件開發過程中扮演了非常重要的角色,在MDA中,軟件開發過程是由對軟件系統的建模行為驅動的。MDA的核心思想是抽象出與實現技術無關、完整描述業務功能的平臺無關模型(Platform Independent Model,PIM),針對不同實現技術制定多個變換規則,然后通過這些變換規則及輔助工具將PIM變換成與具體實現技術相關的平臺相關模型(Platform Special Model,PSM),最后在一定程度上將PSM自動轉換成代碼[1]。

目前國內外對MDA中模型變換的研究很多,主要的轉換方法有以下幾種[2]：