买专利卖专利找龙图腾，真高效！ 查专利查商标用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或微信搜索“龙图腾网”。