浪潮通用軟件有限公司張政馗獲國家專利權
買專利賣專利找龍圖騰,真高效! 查專利查商標用IPTOP,全免費!專利年費監控用IP管家,真方便!
龍圖騰網獲悉浪潮通用軟件有限公司申請的專利一種基于合約框架模型的生成式軟件自動組裝方法及系統獲國家發明授權專利權,本發明授權專利權由國家知識產權局授予,授權公告號為:CN120122919B 。
龍圖騰網通過國家知識產權局官網在2025-09-09發布的發明授權授權公告中獲悉:該發明授權的專利申請號/專利號為:202510615838.X,技術領域涉及:G06F8/10;該發明授權一種基于合約框架模型的生成式軟件自動組裝方法及系統是由張政馗;孫立新;鄭偉波;周祥國;李兆銳;柳增運;丁一凡;王家琦;徐雅迪設計研發完成,并于2025-05-14向國家知識產權局提交的專利申請。
本一種基于合約框架模型的生成式軟件自動組裝方法及系統在說明書摘要公布了:本發明涉及軟件組裝技術領域,公開了一種基于合約框架模型的生成式軟件自動組裝方法及系統,包括:獲取用戶需求數據,基于語言模型將用戶需求數據分解為需求規約;基于歷史軟件數據構建軟件資料庫,并生成合約框架模型;基于需求規約,通過語言模型檢索軟件資料庫,并生成軟件相似度候選列表;基于組裝引擎對軟件相似度候選列表進行適配性篩查,并生成軟件相似度推薦列表;基于軟件相似度推薦列表對軟件進行組裝,生成組裝PBC;將組裝PBC輸入到語言模型中確定其需求匹配度;基于需求匹配度,確定組裝結果。本申請提高了對需求的理解度,減少了手動編碼的工作量。
本發明授權一種基于合約框架模型的生成式軟件自動組裝方法及系統在權利要求書中公布了:1.一種基于合約框架模型的生成式軟件自動組裝方法,其特征在于,包括: 獲取用戶需求數據,基于語言模型將所述用戶需求數據分解為需求規約; 基于歷史軟件數據構建軟件資料庫,并生成合約框架模型; 基于所述需求規約,通過語言模型檢索所述軟件資料庫,并生成軟件相似度候選列表; 基于組裝引擎對所述軟件相似度候選列表進行適配性篩查,并生成軟件相似度推薦列表; 基于所述軟件相似度推薦列表對軟件進行組裝,生成組裝PBC; 將所述組裝PBC輸入到所述語言模型中確定其需求匹配度; 基于所述需求匹配度,確定組裝結果; 所述需求規約包括:功能需求、接口要求、性能指標、依賴關系、業務規則、非功能性需求和約束條件; 基于組裝引擎對所述軟件相似度候選列表進行適配性篩查,并生成軟件相似度推薦列表時,包括: 基于需求規約對所述軟件相似度候選列表進行篩查; 所述篩查包括接口兼容性檢查、前置條件與后置條件驗證、依賴關系解析、性能指標匹配和邏輯沖突檢測; 當篩查不合格時,從所述軟件相似度候選列表中剔除不合格篩選對象; 當所述軟件相似度候選列表中的軟件均不合格時,生成詳細日志并進行報錯; 當篩選合格時,保留合格篩選對象并生成軟件相似度推薦列表; 基于所述軟件相似度推薦列表對軟件進行組裝,生成組裝PBC時,包括: 基于所述相似度推薦列表選取適配軟件作為組裝主干,對存在軟性風險的軟件標注為備選; 統一組裝軟件的通訊協議和數據格式,并確定輸入輸出參數的對應關系; 對進行組裝的軟件進行加載,并初始化運行環境,同時配置共享資源; 合并配置文件,并設置全局環境變量; 當進行組裝的所有軟件同時滿足所述前置條件時,對進行組裝的所有軟件的后置條件進行聯合,并繼承進行組裝的所有軟件的不變量; 新增組裝后的業務規則,并基于求解器驗證合約條件是否滿足; 當驗證所述合約條件不滿足時,更換備選軟件,并觸發告警; 當驗證所述合約條件滿足時,對生成的所述組裝PBC生成PBC框架描述。
如需購買、轉讓、實施、許可或投資類似專利技術,可聯系本專利的申請人或專利權人浪潮通用軟件有限公司,其通訊地址為:250101 山東省濟南市歷下區浪潮路1036號;或者聯系龍圖騰網官方客服,聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。
1、本報告根據公開、合法渠道獲得相關數據和信息,力求客觀、公正,但并不保證數據的最終完整性和準確性。
2、報告中的分析和結論僅反映本公司于發布本報告當日的職業理解,僅供參考使用,不能作為本公司承擔任何法律責任的依據或者憑證。