基于Eclipse建?？蚣艿腟MP約束建模研究與實(shí)現(xiàn).pdf

1、SMP是歐航局（ESA）基于模型驅(qū)動(dòng)架構(gòu)（MDA）的思想提出的仿真模型規(guī)范，致力于實(shí)現(xiàn)仿真模型的可移植性和可重用性。模型設(shè)計(jì)對(duì)仿真應(yīng)用開發(fā)起到關(guān)鍵作用，而實(shí)現(xiàn)模型約束能夠增強(qiáng)模型的準(zhǔn)確性和語義完整性。本文針對(duì) SMP元模型對(duì)靜態(tài)語義的定義并不完善，且基于SMP開發(fā)的模型需要實(shí)現(xiàn)模型約束的問題，提出基于 Eclipse建模框架（EMF）和對(duì)象約束語言（OCL）的 SMP約束建模方法。包括SMP元模型和模型約束的定義，支持元模型約束驗(yàn)證的R

2、CP應(yīng)用開發(fā)，支持模型約束定義的方法與工具，基于FreeMarker的模型約束代碼生成等。主要體現(xiàn)在以下幾個(gè)方面：
　?。?）分析了SMP元模型待實(shí)現(xiàn)的靜態(tài)語義約束，運(yùn)用OCL實(shí)現(xiàn)SMP元模型靜態(tài)語義的形式化定義。
　　（2）基于Eclipse平臺(tái)，運(yùn)用EMF等插件實(shí)現(xiàn)EMF Ecore元模型的創(chuàng)建，并運(yùn)用Complete OCL實(shí)現(xiàn)SMP元模型的約束建模，同時(shí)開發(fā)了工具OCLModeling用于OCL約束的擴(kuò)展。