[發明專利]數控系統的模型轉換形式化語義集成框架的實現方法

有效

• 申請號: 201210135292.0
• 申請日: 2012-05-04
• 公開（公告）號: CN102722601A
• 公開（公告）日: 2012-10-10
• 發明（設計）人: 李迪;李方
• 申請（專利權）人: 華南理工大學
• 主分類號: G06F17/50
• 分類號: G06F17/50
• 代理公司: 廣州粵高專利商標代理有限公司 44102
• 代理人: 何淑珍

1.數控系統的模型轉換形式化語義集成框架的實現方法，其特征是實現計算機數控系統的形式化描述與模型自動轉換仿真驗證，包括以下步驟：

1）通過分析數控系統的行為特征，構建一組計算模型描述數控系統的不同方面，本系統中將該組計算機模型稱為語義模塊；

2）基于步驟1）的語義模塊，采用類UML語言構建數控系統的形式化元模型；根據數控系統形式化元模型與一組數控系統領域元模型，構建系統的形式化語義轉換規則；

3）基于數控系統形式化元模型和相關仿真驗證工具，構建系統形式化仿真驗證解釋器；基于數控系統的形式化應用模型與仿真驗證解釋器，對數控系統進行形式化仿真驗證，在Matlab軟件中仿真其軌跡，在UPPAAL中驗證其實時性和狀態可達性。

2.根據權利要求1所述的數控系統的模型轉換形式化語義集成框架的實現方法，其特征是步驟1）所構建的數控系統形式化語義模塊能從不同方面描述系統的不同行為。

3.根據權利要求2所述的數控系統的模型轉換形式化語義集成框架的實現方法，其特征是步驟1）所述描述數控系統的不同方面包括：采用有限狀態機語義模塊，描述數控系統中與狀態轉換相關的語義行為；采用同步數據流語義模塊，描述數控系統中的數據流動；采用同步數據流與有限狀態機兩種計算組合而成的語義模塊，描述數控系統中狀態轉換和數據流動的混合行為；采用時間自動機與時間多任務兩種MOC組合而成的語義模塊，描述數控系統中與實時相關的狀態轉換和任務執行方式。

4.根據權利要求3所述的數控系統的模型轉換形式化語義集成框架的實現方法，其特征是步驟2）所構建的系統的形式化語義轉換規則是基于步驟1）所構建的語義模塊，并通過分析其系統結構與對應關系而獲得的。

5.根據權利要求3所述的數控系統的模型轉換形式化語義集成框架的實現方法，其特征是所構建的數控系統形式化元模型是基于數控系統的多方面形式化語義，并將不同方面的形式化元模型集成為數控系統統一的語義域；在數控系統領域建模環境下構建一組領域應用模型，利用系統形式化轉換規則與形式化元模型，通過模型轉換，自動生成系統的形式化應用模型。

6.根據權利要求3所述的數控系統的模型轉換形式化語義集成框架的實現方法，其特征是所構造的形式化仿真驗證解釋器最終實現數控系統的形式化模型的自動驗證仿真，保證系統的功能與性能。