[发明专利]用于任意软件逻辑建模的系统和方法

说明书

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

背景技术

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

注意到，没有单个现有的基于模型的设计系统能有效地解决这些问题和挑战。一般而言，基于模型的设计工具分成两大类：1）用于反应式系统（诸如，实时控制系统）的工具和2）用于常规系统的工具。用于反应式系统的工具针对特定种类的应用。它们倾向于具有极其受约束和限制的建模构造，且因而，可能不适合用于复杂的交互式信息系统。用于常规系统的工具通常能够处置交互式系统，但其设计原理一般专注于面向对象的设计。因此，用于常规系统的工具缺乏全面地、高效地且有效地支持复杂的长期使用的安全关键系统的能力。注意到，复杂的长期使用的安全关键系统可以具有如下的特征：严格的认证要求和在生产线的整个寿命期间释放的变形，其在初始释放之后的多年仍然需要被维护。不存在为复杂的长期使用的安全关键系统中来自过去的知识的积累及积累和针对未来几年内的将来产品的变革性再创新搭建桥梁的能力。如常在基于统一建模语言（“UML”）的建模中使用的活动图仅在使用高度分散的类别来从头开始设计新的软件系统时才有用，并且，对于现有的任意逻辑，可能没有帮助。

因此，以自动且准确的方式促进任意软件逻辑建模将会是期望的。

发明内容

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

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

本文中所公开的一些实施例的一些技术优势是以自动且准确的方式促进任意软件逻辑建模的改进的系统和方法。

本发明提供一组技术方案，如下：