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

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

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