用于任意软件逻辑建模的系统和方法技术方案

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

【技术实现步骤摘要】
用于任意软件逻辑建模的系统和方法

技术介绍

[0001]在软件设计中，通常使用诸如函数、程序或例行程序之类的软件源代码来实现功能性。对于程序设计和面向对象的设计两者都是正确的，然而，在后者中，这些通常被称为“方法”。如本文中所使用的，这些实体统称为“函数”。可以使用函数，例如，以实现像单一的数学运算那么简单的低级功能性和对大型系统的构件进行控制的高级功能性。如本文中所使用的，术语“单元”可以指与函数相似的软件单元。注意到，单元不一定基于源代码，而是可能代之而基于模型，以表示类似的范围的功能性的分区。对单个单元和/或大量单元的任何给定的任意结构的内部逻辑（例如，算法）手动地进行建模的过程可能是耗时、易于出错且昂贵的任务。此外，可能难以保持对高级要求和低级要求以及那些要求如何映射到各种函数和/或单元的追踪。因此，存在对复杂的长期使用的系统（例如，诸如安全关键航空电子设备和地面系统软件）进行维持、逐步改进、增强、转换以及再创新的显著的困难及相关联的成本。
[0002]注意到，没有单个现有的基于模型的设计系统能有效地解决这些问题和挑战。一般而言，基于模型的设计工具分成两本文档来自技高网...

【技术保护点】

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

【专利技术属性】
技术研发人员：任立凌，郁涵，GR赛克斯，MR杜尔林，萧洁恩，SA斯塔西，
申请(专利权)人：通用电气公司，
类型：发明
国别省市：