買專利賣專利找龍圖騰，真高效！ 查專利查商標用IPTOP,全免費！專利年費監控用IP管家,真方便！

龍圖騰網恭喜南京航空航天大學申請的專利一種基于自然語言需求的AADL模型組合驗證性質自動生成方法獲國家發明授權專利權，本發明授權專利權由國家知識產權局授予，授權公告號為：CN114035785B 。

龍圖騰網通過國家知識產權局官網在2025-04-15發布的發明授權授權公告中獲悉：該發明授權的專利申請號/專利號為：202111226642.X，技術領域涉及：G06F8/35；該發明授權一種基于自然語言需求的AADL模型組合驗證性質自動生成方法是由楊志斌;李曉劼;張澤倫;周勇;薛壘;李維設計研發完成，并于2021-10-21向國家知識產權局提交的專利申請。

本一種基于自然語言需求的AADL模型組合驗證性質自動生成方法在說明書摘要公布了：本發明公開了一種基于自然語言需求的AADL模型組合驗證性質自動生成方法，在以AADL為建模語言建立的軟件模型驗證階段，通過該方法將輸入的自然語言需求文本自動生成為形式化契約，該形式化契約插入原模型中，從而方便基于驗證工具AGREE對AADL模型進行組合驗證。

本發明授權一種基于自然語言需求的AADL模型組合驗證性質自動生成方法在權利要求書中公布了：1.一種基于自然語言需求的AADL模型組合驗證性質自動生成方法，其特征在于：包括以下步驟：S100：擴展AADL模型驗證工具AGREE支持的構件子集，使其能夠完成異步通信的組合驗證，擴展的構件包括異步通信構件；S200：根據需要添加AGREE語句的AADL模型，通過如式1所示的契約模式定義語言CPL將其在安全關鍵軟件系統中相應的自然語言需求文檔進行規約，實現將自然語言需求轉化為基于契約模式定義語言表達的需求文檔；CPL::＝Component,Pattern,Type,Structure1式中，Component為AADL構件集合，表示需要添加AGREE語句的AADL模型的構件；Pattern為需求模式集合；Type表示AGREEANNEX中的語句類型；Structure表示各需求模式Pattern中的常用句型；S300：將基于契約模式定義語言表達的需求文檔轉換為AGREEANNEX契約；S400：將AGREEANNEX契約插入到已有AADL模型中；S500：通過插入有AGREEANNEX契約的AADL模型，完成該AADL模型的需求驗證、架構設計和架構驗證；其中，S300包括以下步驟：根據用戶需要添加契約的AADL模型，獲取該AADL模型內的System類型組件和其通信端口；獲取用戶的同步或異步通信處理選擇，若為同步通信處理，則根據用戶選擇的需求模式、語句類型和常用句型，生成AGREEANNEX語句，將生成的AGREEANNEX語句插入到相關組件描述下；若為異步通信處理，則根據用戶選擇的發送構件、發送端口、接收構件、接收端口及輸入的隊列大小生成異步通信線程，而后進入同步通信處理，根據用戶選擇的需求模式、語句類型和常用句型，生成AGREEANNEX語句，將該生成的AGREEANNEX語句插入文件末。

如需購買、轉讓、實施、許可或投資類似專利技術，可聯系本專利的申請人或專利權人南京航空航天大學，其通訊地址為：210016 江蘇省南京市秦淮區御道街29號；或者聯系龍圖騰網官方客服，聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。