Document
拖动滑块完成拼图
个人中心

预订订单
服务订单
发布专利 发布成果 人才入驻 发布商标 发布需求

在线咨询

联系我们

龙图腾公众号
首页 专利交易 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索
当前位置 : 首页 > 专利喜报 > 恭喜通用电气公司任立凌获国家专利权

恭喜通用电气公司任立凌获国家专利权

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

龙图腾网恭喜通用电气公司申请的专利用于任意软件逻辑建模的系统和方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN114398030B

龙图腾网通过国家知识产权局官网在2025-05-09发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202210046986.0,技术领域涉及:G06F8/30;该发明授权用于任意软件逻辑建模的系统和方法是由任立凌;郁涵;G.R.赛克斯;M.R.杜尔林;萧洁恩;S.A.斯塔西设计研发完成,并于2018-02-26向国家知识产权局提交的专利申请。

用于任意软件逻辑建模的系统和方法在说明书摘要公布了:根据一些实施例,任意软件逻辑建模(“ASLM”)数据源可以存储与单元相关联的电子记录,各电子记录包括单元标识符、一个或更多个识别标签、上下文数据、单元参数、单元变量以及内部逻辑。ASLM平台可以表达逻辑块等级下的系统要求,并且,根据系统要求而建立作为自包含实体和连接的逻辑块(所建立的逻辑块用图形表示系统逻辑)。然后,ASLM平台可以自动地对系统逻辑显式地进行转换,以输出与语言无关的公共设计信息交换模型信息。ASLM平台还可以转化且维持系统要求、公共设计信息交换模型信息以及所生成的代码之间的可追踪性。

本发明授权用于任意软件逻辑建模的系统和方法在权利要求书中公布了:1.一种促进任意软件逻辑建模ASLM处理的系统,包含:ASLM数据源,其存储与单元相关联的电子记录,各电子记录包括单元标识符、一个或多个识别标签、上下文数据、单元参数、单元变量以及内部逻辑;以及ASLM平台,其耦合至所述ASLM数据源,包括计算机,所述计算机被编程为:i表达逻辑块等级下的系统需求;ii根据所述系统需求而建立作为自包含实体和连接的所述逻辑块,所建立的所述逻辑块用图形表示系统逻辑;iii自动地对所述系统逻辑显式地进行转换,以输出与语言无关的公共设计信息交换模型信息;iv转化且维持所述系统需求、公共设计信息交换模型信息以及所生成的代码之间的可追踪性;以及v运行合并过程,所述合并过程包括:识别引用待合并的单元的组合的单元中的块实体;使父块实体的块变量扩展,以包括来自所述待合并的单元的单元变量;将所述待合并的单元的内部逻辑转移至所述父块实体的嵌套子逻辑;针对合并至所述嵌套子逻辑中的块实体和控制节点而对变元进行重新映射;在转移所述待合并的单元的内部逻辑并且扩展块变量之后,对嵌套的所述父块实体的识别标签进行更新,且对高到低的可追踪性的映射中的父块标识符的注册进行更新,并且,针对所述组合的单元而更新所述识别标签和可追踪性的映射;将所述待合并的单元的识别标签从所述可追踪性的映射注销;将所述待合并的单元的单元标识符从数据字典注销;以及释放待合并的所述单元。

如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人通用电气公司,其通讯地址为:美国纽约州;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。