[發明專利]一種面向SIMSCRIPT語言的離散事件仿真圖形化建模方法

有效

• 申請號: 202010780798.1
• 申請日: 2020-08-06
• 公開（公告）號: CN111880784B
• 公開（公告）日: 2022-10-11
• 發明（設計）人: 方旭東;師磊;唐宇波;吳高潔;沈弼龍;黃海燕;王海波;張珊;司光亞;吳琳
• 申請（專利權）人: 中國人民解放軍國防大學聯合作戰學院
• 主分類號: G06F8/34
• 分類號: G06F8/34;G06F30/20
• 代理公司: 中國兵器工業集團公司專利中心 11011
• 代理人: 祁恒

1.一種面向SIMSCRIPT語言的離散事件仿真圖形化建模方法，其特征在于，所述建模方法包括如下步驟：

步驟S1、初始化工程，構建離散建模系統運行所需的兩個資源文件，所述資源文件包括全局聲明文件和主例程文件；其中，所述全局聲明文件用于聲明所有全局變量，所述主例程文件用于整個仿真應用的入口；針對所述全局聲明文件和主例程文件，生成全局聲明文件畫布和主例程文件畫布；

步驟S2、將包括實體、事件和進程的圖元拖拽到全局聲明文件畫布中，實現新增圖元的聲明功能；編輯各圖元的屬性值；

步驟S3、將仿真過程需要調用的基本圖元、邏輯圖元和功能圖元拖拽到主例程文件畫布中；在畫布中構建基本圖元間的邏輯關系；

步驟S4、基于畫布間的父子層級關系，通過雙擊方式跳轉至基本圖元的子畫布中，通過拖拽方式將邏輯圖元拖拽到子畫布中，完成子畫布的繪制；

步驟S5、將步驟S2-S4中的畫布保存為工程文件；

步驟S6、對工程文件進行規則校驗；

步驟S7、使用語法映射規則，將生成的工程文件轉換為可執行的SIMSCRIPT代碼。

2.如權利要求1所述的建模方法，其特征在于，步驟S2中，實體是系統的組成部分，分為臨時實體和永久實體，臨時實體是系統中活動的部分，在系統中停留一段時間后離開系統，永久實體是系統中固定的部分，永久停留在系統中；事件是引起系統狀態發生變化的行為；例程是系統對外提供的功能接口或服務的集合；進程是描述實體在系統中經歷的完整過程。

3.如權利要求1所述的建模方法，其特征在于，步驟S3中，所述基本圖元代表SIMSCRIPT語言中包括實體、事件、進程、例程和隊列的語法單元，每個基本圖元具有名稱和屬性，圖元屬性包括屬性名稱、屬性類型和屬性注釋；所述邏輯圖元代表SIMSCRIPT語言中包括循環、判斷和分支的語法單元；所述功能圖元代表SIMSCRIPT語言中包括打印、仿真時間操作的語法單元。

4.如權利要求1所述的建模方法，其特征在于，步驟S3中，基本圖元間的邏輯關系包括順序關系、從屬關系和調度關系；每種關系通過不同的線形和箭頭進行標記，通過連接兩個圖元間的錨點新增圖元關系，通過雙擊圖元連線修改或刪除圖元間的關系。

5.如權利要求1所述的建模方法，其特征在于，執行步驟S5后，每個畫布都存儲為JSON數據，畫布中的圖元保存在節點數組中，每個節點包含節點ID、節點名稱、節點位置和節點屬性數組；圖元關系保存在邊數組中，每條邊包括源節點ID，目標節點ID和邊的類型。

6.如權利要求1所述的建模方法，其特征在于，步驟S6中，所述規則校驗包括屬性校驗和調用關系校驗。

7.如權利要求6所述的建模方法，其特征在于，步驟S6中，屬性校驗的內容包括不同永久實體是否包含同名屬性、同一實體中是否包含同名屬性、永久實體和系統是否包含同名屬性；調用關系校驗的內容包括例程、事件和進程的調用關系是否正確。

8.如權利要求6所述的建模方法，其特征在于，步驟S6中，當出現校驗錯誤時，顯示錯誤列表。

9.如權利要求1所述的建模方法，其特征在于，步驟S7中，包括生成全局聲明文件的代碼、主例程文件的代碼和子例程文件的代碼。

10.如權利要求9所述的建模方法，其特征在于，步驟S7中，所述全局聲明文件的代碼包括臨時實體聲明代碼、永久實體聲明代碼、進程聲明代碼、隊列聲明代碼、事件聲明代碼；所述主例程文件的代碼包括主例程的框架代碼，事件、進程和例程的調度代碼，分支、循環、判斷語句代碼；所述子例程文件的代碼包括事件、進程、例程和函數的框架代碼、輸入輸出代碼、調度關系代碼、分支、循環、判斷語句代碼。