本發明屬于模型驅動開發，具體涉及一種sysml模型到代碼的生成方法和裝置。
背景技術：
1、現代系統（如航空航天系統、智能汽車、醫療設備等）通常是集機械、電子、軟件、信息與控制于一體的復雜有機整體。這類系統由多個高度耦合的子系統構成，其本身又是某個更大系統的組成部分。為了應對這種復雜性，系統工程作為一門綜合性學科，提供了一套科學的方法論來指導系統的設計、分析、管理和驗證。然而，在傳統的基于文檔的系統工程中，系統需求、設計、分析和驗證信息分散在大量的文字報告、圖紙和表格中，存在信息不一致，追溯困難等諸多弊端。因此，基于模型的系統工程（model-based?systemsengineering，mbse）便應運而生，它具有知識表示的無二義性、便于交流和傳播、支持信息的轉換、支持模型的集成等優點。
2、在mbse中，系統設計開發過程中的所有信息均是以模型來表示，系統層建模成為了mbse研究的一個主要問題。為此，國際系統工程學會和對象管理組聯合制定了系統建模語言（systems?modeling?language，sysml）。sysml是一種通用的、圖形化的建模語言，它擴展自統一建模語言，并針對系統工程的需求進行了定制和簡化。sysml通過其九種主要的圖元：模塊定義圖、內部模塊塊圖、活動圖、狀態機圖、序列圖等，為描述復雜系統的結構、行為、需求和參數提供了強大而全面的支持。
3、盡管sysml模型在系統層級提供了精確且無二義性的設計藍圖，但其真正的工程價值，最終必須通過轉化為可執行軟件代碼來實現。然而，當前從sysml模型到代碼的轉換實踐存在顯著瓶頸，嚴重制約了mbse效能的充分發揮。現有轉換過程往往缺乏嚴謹的、分層級的架構設計。這導致模型校驗不充分、轉換過程不可靠、生成的代碼質量難以保證，且當轉換出錯時，無法將問題有效定位回源模型的相應元素，增加了調試和維護的難度。并且現有方法多依賴于簡單的結構映射規則（如將模塊映射為類），生成的代碼多為不具備業務邏輯的“骨架”代碼。這些方法難以處理sysml模型與目標編程語言（如c++）在深層語義上的不匹配，例如對并發、內存管理、虛函數、友元關系、類型修飾等關鍵語言特性的支持缺失，導致生成代碼的可用性低，仍需大量人工編碼。此外，現有的代碼生成對于定義系統動態行為的關鍵視圖，如狀態機、活動圖等支持非常薄弱或完全缺失，難以將復雜控制流、狀態轉移邏輯自動轉化為等價的、可執行的程序邏輯。
4、因此，研究和開發一種能夠深度理解sysml模型語義、支持分層架構設計、并能自動生成高質量可執行代碼的轉換框架，成為突破mbse應用瓶頸、實現系統工程全流程數字化的關鍵。
技術實現思路
1、鑒于上述，本發明的目的是提供一種sysml模型到代碼的生成方法和裝置，通過模型語義擴展、基于唯一標識的實例化校驗、語法樹映射與驗證以及代碼填充流程，實現從sysml設計模型到高質量、可執行代碼的自動化生成與全流程錯誤精準追溯，適用于航空航天、智能汽車等對系統可靠性與開發一致性要求嚴苛的復雜工程應用場景。
2、為實現上述發明目的，本發明提供的技術方案如下：
3、第一方面，本發明實施例提供的一種sysml模型到代碼的生成方法，包括以下步驟：
4、擴展sysml模型，將目標代碼的生成配置參數以及目標編程語言的語義結構補充至模型語義中；
5、解析擴展后的sysml模型，構建包含模型元素實例及其關聯關系的模型元素實例倉庫，并依據sysml規范對模型元素實例進行有效性校驗；
6、通過轉換器依據模型元素實例的類型執行轉換規則，將通過校驗的模型元素實例轉換為代碼語法樹節點，得到目標編程語言的抽象語法樹；
7、對抽象語法樹進行語義語法驗證，驗證通過后提取節點信息作為上下文數據輸入模板引擎，通過填充預設的代碼模板生成最終的可執行代碼。
8、優選地，將目標代碼的生成配置參數以及目標編程語言的語義結構補充至模型語義中，包括：
9、通過sysml構造型定義目標代碼的生成配置參數以及目標編程語言的語義結構，補充至模型語義中，實現sysml模型的擴展，其中，目標代碼的生成配置參數至少包括目標代碼類型、代碼文件存儲位置、轉換目標模型元素實例、是否自動生成屬性訪問器中的一種或多種屬性，目標編程語言的語義結構至少包括目標編程語言的友元、虛函數、類型修飾符中的一種或多種涵蓋代碼語義的模型元素。
10、優選地，所述依據sysml規范對模型元素實例進行有效性校驗，包括：
11、基于模型元素實例倉庫，依據sysml規范定義的模型屬性約束及模型關系約束，校驗模型元素實例的靜態語義完整性，并依據sysml規范定義的可執行統一建模語言約束，校驗模型元素實例的行為語義可執行性；
12、在校驗過程中，通過為每個模型元素實例賦予唯一的標記instanceid，以支持將校驗結果精確定位并回溯至源sysml模型中的具體元素實例。
13、優選地，所述通過轉換器依據模型元素實例的類型執行轉換規則，將通過校驗的模型元素實例轉換為代碼語法樹節點，包括：
14、設置轉換器工廠，根據模型元素實例的類型創建并調用對應的轉換器，所述轉換器至少包括結構模型轉換器、行為模型轉換器及其子轉換器；
15、所述結構模型轉換器用于將模型中的結構元素實例映射為目標編程語言中結構類型對應的語法樹節點，以生成代碼骨架；
16、所述行為模型轉換器用于將模型中的行為邏輯元素實例映射為目標編程語言中函數執行流程對應的語法樹節點，以生成可執行的業務邏輯代碼語法樹節點；
17、所述子轉換器用于在結構模型轉換器和行為模型轉換器下對模型元素實例進行細粒度、類型化的精準轉換。
18、優選地，所述行為模型轉換器在執行活動圖映射時，基于對活動模型元素實例的語義解析，通過識別控制節點與動作節點間的拓撲關系，生成與之邏輯等價的目標代碼塊語法樹節點，所述代碼塊包括循環、條件或并發代碼塊；
19、所述行為模型轉換器在執行狀態機圖映射時，基于預構建的運行時狀態管理框架，將sysml狀態機圖中的狀態、轉移及行為語義元素實例轉化為面向目標編程語言的可執行邏輯代碼語法樹節點，所述運行時狀態管理框架包括用于封裝狀態節點信息及其關聯的行為邏輯的狀態類、用于封裝多個互斥的狀態類實例并管理所述狀態類實例間的轉移邏輯的區域類。
20、優選地，所述方法還包括通信通道的構建，包括：
21、預定義主動對象框架基類，所述基類封裝了包括線程執行、消息隊列、事件分發及事件處理的通信機制；當轉換器識別到模型元素實例中的交互或事件語義時，將其轉換為對應的消息結構體以及消息路由代碼語法樹節點，從而構建線程間基于消息的異步通信數據通路。
22、優選地，所述對抽象語法樹進行語義語法驗證，包括：
23、依據目標編程語言的語法與語義規則，遍歷抽象語法樹，檢測其類型定義、變量聲明及控制流程的語義完整性；
24、當檢測到錯誤或缺失時進行報錯，并將錯誤信息定位回溯至源sysml模型中的對應模型元素實例。
25、第二方面，本發明實施例還提供了一種sysml模型到代碼的生成裝置，利用上述的一種sysml模型到代碼的生成方法實現，包括：模型擴展模塊、模型解析模塊、模型轉換模塊和代碼生成模塊；
26、所述模型擴展模塊用于擴展sysml模型，將目標代碼的生成配置參數以及目標編程語言的語義結構補充至模型語義中；
27、所述模型解析模塊用于解析擴展后的sysml模型，構建包含模型元素實例及其關聯關系的模型元素實例倉庫，并依據sysml規范對模型元素實例進行有效性校驗；
28、所述模型轉換模塊用于通過轉換器依據模型元素實例的類型執行轉換規則，將通過校驗的模型元素實例轉換為代碼語法樹節點，得到目標編程語言的抽象語法樹；
29、所述代碼生成模塊用于對抽象語法樹進行語義語法驗證，驗證通過后提取節點信息作為上下文數據輸入模板引擎，通過填充預設的代碼模板生成最終的可執行代碼。
30、第三方面，本發明實施例還提供了一種電子設備，包括存儲器和一種或多種處理器，所述存儲器用于存儲計算機程序，所述處理器用于當執行計算機程序時，實現上述的sysml模型到代碼的生成方法。
31、第四方面，本發明實施例還提供了一種計算機可讀的存儲介質，所述存儲介質上存儲有計算機程序，當所述計算機程序被計算機執行時，實現上述的sysml模型到代碼的生成方法。
32、與現有技術相比，本發明具有的有益效果至少包括：
33、本發明通過擴展sysml模型語義并建立基于唯一實例標識instanceid的全流程可追溯機制，實現了從模型元素到代碼節點的精確映射與錯誤定位；通過設計分層、細粒度的轉換器（包括結構、行為與通信通道），不僅生成了代碼骨架，更將并發、狀態機等動態行為語義轉化為可執行邏輯，顯著提升了生成代碼的完整性和可用性；通過在轉換前對模型進行結構、行為兩個層面的可執行性校驗，確保了生成代碼的正確性與可靠性。最終，該方法能夠輸出高質量、可直接用于進一步開發的基礎代碼，有效減輕開發負擔，提升復雜系統軟件的開發效率與質量。