[发明专利]用于任意软件逻辑建模的系统和方法有效
申请号: | 201810159559.7 | 申请日: | 2018-02-26 |
公开(公告)号: | CN108509185B | 公开(公告)日: | 2021-11-30 |
发明(设计)人: | 任立凌;郁涵;G.R.赛克斯;M.R.杜尔林;萧洁恩;S.A.斯塔西 | 申请(专利权)人: | 通用电气公司 |
主分类号: | G06F8/30 | 分类号: | G06F8/30 |
代理公司: | 中国专利代理(香港)有限公司 72001 | 代理人: | 李啸;张金金 |
地址: | 美国*** | 国省代码: | 暂无信息 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 根据一些实施例,任意软件逻辑建模(“ASLM”)数据源可以存储与单元相关联的电子记录,各电子记录包括单元标识符、一个或更多个识别标签、上下文数据、单元参数、单元变量以及内部逻辑。ASLM平台可以表达逻辑块等级下的系统要求,并且,根据系统要求而建立作为自包含实体和连接的逻辑块(所建立的逻辑块用图形表示系统逻辑)。然后,ASLM平台可以自动地对系统逻辑显式地进行转换,以输出与语言无关的公共设计信息交换模型信息。ASLM平台还可以转化且维持系统要求、公共设计信息交换模型信息以及所生成的代码之间的可追踪性。 | ||
搜索关键词: | 用于 任意 软件 逻辑 建模 系统 方法 | ||
【主权项】:
1.一种促进任意软件建模逻辑(“ASLM”)处理的系统,包含:ASLM数据源,其存储与单元相关联的电子记录,各电子记录包括单元标识符、一个或更多个识别标签、上下文数据、单元参数、单元变量以及内部逻辑;以及ASLM平台,其耦合至所述ASLM数据源,包括计算机,所述计算机被编程为:(i)表达逻辑块等级下的系统要求;(ii)根据系统要求而建立作为自包含实体和连接的所述逻辑块,所述所建立的逻辑块用图形表示系统逻辑;(iii)自动地对所述系统逻辑显式地进行转换,以输出与语言无关的公共设计信息交换模型信息;以及(iv)转化且维持所述系统要求、公共设计信息交换模型信息以及所生成的代码之间的可追踪性。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于通用电气公司,未经通用电气公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201810159559.7/,转载请声明来源钻瓜专利网。