基于本體語義的模型轉(zhuǎn)換關(guān)鍵技術(shù)研究.pdf

1、模型驅(qū)動體系架構(gòu)(Model-Driven Architecture，MDA)是OMG組織于2001年3月提出的一種新的軟件體系結(jié)構(gòu)方法學(xué)，其核心思想是抽象出與實現(xiàn)技術(shù)無關(guān)的平臺無關(guān)模型(Platform Independent Model，PIM)，針對不同實現(xiàn)平臺制定轉(zhuǎn)換規(guī)則，通過模型轉(zhuǎn)換引擎將PIM轉(zhuǎn)換成與具體平臺及實現(xiàn)技術(shù)相關(guān)的的平臺相關(guān)模型(Platform Specification Model，PSM)，最終由代碼生成器將

2、PSM轉(zhuǎn)換成目標(biāo)代碼。MDA通過將業(yè)務(wù)邏輯與具體實現(xiàn)技術(shù)相分離，最大程度的降低用戶需求變更對實現(xiàn)技術(shù)的影響，借助模型復(fù)用和模型轉(zhuǎn)換，從而延長軟件生命周期，提高軟件開發(fā)的效率和質(zhì)量。
　　 模型轉(zhuǎn)換作為MDA的核心技術(shù)，始終貫穿于模型驅(qū)動開發(fā)的全過程。當(dāng)前，模型轉(zhuǎn)換方法大部分側(cè)重于模型語法轉(zhuǎn)換，而模型語義轉(zhuǎn)換特性描述的缺失是MDA發(fā)展的一個瓶頸，源于哲學(xué)范疇的本體論能有效地支撐領(lǐng)域模型的語義共享與重用。本體也是一種模型，它以顯式的

3、方式定義了特定領(lǐng)域中概念的含義。據(jù)此，本文提出MDA與本體論相結(jié)合的本體語義模型轉(zhuǎn)換方法，建立語義本體庫，用于存儲關(guān)于模型的本體，方便開發(fā)人員理解模型的精確語義，并制定基于此機制的模型轉(zhuǎn)換規(guī)則，從而兼顧語法、語義層的模型轉(zhuǎn)換。主要工作體現(xiàn)在如下幾個方面：
　　 (1)研究提出一種基于本體語義的模型轉(zhuǎn)換機制，該機制針對模型轉(zhuǎn)換語義特性描述缺失的現(xiàn)狀，提出一種基于本體語義的模型轉(zhuǎn)換方法，為模型驅(qū)動開發(fā)提供語義保證。
　　 (

4、2)研究建立了基于本體語義模型轉(zhuǎn)換方法的語義本體庫，整個語義本體庫分為抽象層、具體層和實例層，抽象層的基本概念是基本元素、結(jié)構(gòu)元素和特征元素。為了增強語義本體庫的可擴展性定義了特征元素的概念集，包含屬性及其約束等描述信息，從而為開發(fā)人員提供語義庫支持。
　　 (3)研究制定了基于本體語義模型轉(zhuǎn)換方法的規(guī)則，轉(zhuǎn)換規(guī)則定義了源模型模型元素到目標(biāo)模型模型元素之間的映射關(guān)系。依據(jù)基于本體語義的模型轉(zhuǎn)換機制，把模型轉(zhuǎn)換分為語法轉(zhuǎn)換、語義轉(zhuǎn)