[發(fā)明專利]一種模型驅(qū)動的仿真驗證方法

在審

• 申請?zhí)枺?/td>: 202110289814.1
• 申請日: 2021-03-18
• 公開（公告）號: CN112989610A
• 公開（公告）日: 2021-06-18
• 發(fā)明（設(shè)計）人: 高暠;吳恩洋
• 申請（專利權(quán)）人: 南京仁谷系統(tǒng)集成有限公司
• 主分類號: G06F30/20
• 分類號: G06F30/20
• 代理公司: 江蘇長德知識產(chǎn)權(quán)代理有限公司 32478
• 代理人: 劉傳玉

1.一種模型驅(qū)動的仿真驗證方法，其特征在于，包括：

搭建包括多個視角視圖的體系設(shè)計模型，并獲取所述體系設(shè)計模型的元數(shù)據(jù)描述規(guī)范；

定義所述體系設(shè)計模型的系統(tǒng)功能元模型到仿真元模型的第一轉(zhuǎn)換規(guī)則，以及狀態(tài)遷移元模型到仿真規(guī)則元模型的第二轉(zhuǎn)換規(guī)則；

基于預(yù)設(shè)模型對所述第一轉(zhuǎn)換規(guī)則和所述第二轉(zhuǎn)換規(guī)則處理，生成系統(tǒng)功能元模型到仿真元模型的第一轉(zhuǎn)換規(guī)則模板，以及狀態(tài)遷移元模型到仿真規(guī)則元模型的第二轉(zhuǎn)換規(guī)則模版；

基于所述第一轉(zhuǎn)換規(guī)則模板和所述第二轉(zhuǎn)換規(guī)則模版對輸入輸出模型進行轉(zhuǎn)換，生成動態(tài)仿真模型庫。

2.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述多個視角視圖包括能力視角、作戰(zhàn)視角和系統(tǒng)視角的視圖；

所述能力視角包括能力結(jié)構(gòu)描述模型；

所述作戰(zhàn)視角包括作戰(zhàn)活動模型、作戰(zhàn)活動與能力映射模型；

所述系統(tǒng)視角包括頂層使命任務(wù)模型、高層概念模型、組織關(guān)系模型、系統(tǒng)組成模型、系統(tǒng)狀態(tài)轉(zhuǎn)移描述模型。

3.根據(jù)權(quán)利要求2所述的方法，其特征在于，所述搭建包括多個視角視圖的體系設(shè)計模型，包括：

搭建需求庫，所述需求庫包括能力結(jié)構(gòu)描述模型；

繪制任務(wù)設(shè)計模型，所述任務(wù)設(shè)計模型包括使命模型、使命任務(wù)模型和任務(wù)模型；

繪制作戰(zhàn)任務(wù)的高層概念模型，所述高層概念模型包括作戰(zhàn)對象模型和背景區(qū)域模型；

繪制作戰(zhàn)任務(wù)的作戰(zhàn)活動模型，所述作戰(zhàn)活動模型包括泳道模型、活動模型和能力模型；

在作戰(zhàn)活動模型中為泳道綁定高層概念，并為活動綁定需求，其中，作戰(zhàn)活動與能力映射模型包括作戰(zhàn)活動模型、能力模型及作戰(zhàn)活動與能力的映射關(guān)系；

繪制作戰(zhàn)任務(wù)的功能模塊模型，所述功能模塊模型包括系統(tǒng)組成模型；

在功能模塊模型中為功能模塊綁定高層概念，并為功能模塊添加接口定義；

繪制功能模塊的狀態(tài)跟蹤模型，所述狀態(tài)跟蹤模型包括系統(tǒng)狀態(tài)轉(zhuǎn)移描述模型；

在狀態(tài)跟蹤模型中為狀態(tài)機注入行為方程，搭建為包括多個視角視圖的體系設(shè)計模型。

4.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述獲取所述體系設(shè)計模型的元數(shù)據(jù)描述規(guī)范，包括：

采用輕量級擴展方式和重量級擴展方式擴展得到遵循XMI標(biāo)準(zhǔn)的所述體系設(shè)計模型的元數(shù)據(jù)描述規(guī)范。

5.根據(jù)權(quán)利要求2或4所述的方法，其特征在于，所述頂層使命任務(wù)模型、所述高層概念模型采用重量級擴展方式MOF進行擴展；

所述作戰(zhàn)活動模型、所述組織關(guān)系模型、所述系統(tǒng)組成模型、系統(tǒng)狀態(tài)遷移描述模型采用基于統(tǒng)一建模語言UML的輕量級擴展方式進行擴展。

6.根據(jù)權(quán)利要求5所述的方法，其特征在于，所述組織關(guān)系模型基于UML類圖元模型擴展，所述作戰(zhàn)活動模型基于UML活動圖元模型擴展，所述系統(tǒng)組成模型基于UML組合結(jié)構(gòu)圖元模型擴展，所述系統(tǒng)狀態(tài)遷移描述模型基于UML狀態(tài)圖元模型擴展。

7.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述預(yù)設(shè)模型為Acceleo模型；

所述基于預(yù)設(shè)模型對所述第一轉(zhuǎn)換規(guī)則和所述第二轉(zhuǎn)換規(guī)則處理，生成系統(tǒng)功能元模型到仿真元模型的第一轉(zhuǎn)換規(guī)則模板，以及狀態(tài)遷移元模型到仿真規(guī)則元模型的第二轉(zhuǎn)換規(guī)則模版，包括：

基于Acceleo模型轉(zhuǎn)換第一轉(zhuǎn)換規(guī)則和所述第二轉(zhuǎn)換規(guī)則，以.mtl格式的文件進行保存，生成對應(yīng)的第一轉(zhuǎn)換規(guī)則模板和第二轉(zhuǎn)換規(guī)則模板；

其中，所述文件中包含多個文件標(biāo)簽、模版標(biāo)簽以及入口點main模塊；

所述第一轉(zhuǎn)換規(guī)則模板包括功能模塊轉(zhuǎn)驅(qū)動要求模塊、要求轉(zhuǎn)接口模塊、要求的輸入?yún)?shù)轉(zhuǎn)接口的輸入?yún)?shù)模塊；

所述第二轉(zhuǎn)換規(guī)則模板包括簡單狀態(tài)模塊、組合狀態(tài)模塊、狀態(tài)行為模塊。