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

权利要求书

1.一种促进任意软件逻辑建模“ASLM”处理的系统，包含：

ASLM数据源，其存储与单元相关联的电子记录，各电子记录包括单元标识符、一个或多个识别标签、上下文数据、单元参数、单元变量以及内部逻辑；以及

ASLM平台，其耦合至所述ASLM数据源，包括计算机，所述计算机被编程为：

（i）表达逻辑块等级下的系统需求；

（ii）根据所述系统需求而建立作为自包含实体和连接的所述逻辑块，所建立的所述逻辑块用图形表示系统逻辑；

（iii）自动地对所述系统逻辑显式地进行转换，以输出与语言无关的公共设计信息交换模型信息；

（iv）转化且维持所述系统需求、公共设计信息交换模型信息以及所生成的代码之间的可追踪性；以及

（v）运行分裂过程，所述分裂过程包括：

使嵌套块实体抽象化，以用于分裂成新的单元；

创建所述新的单元，并且，在数据字典中注册单元标识符；

针对所述新的单元而建立单元参数；

针对所述新的单元而建立单元变量；

将所述嵌套块实体的嵌套子逻辑转移至所述新的单元；

使封装于所述新的单元中的块实体和控制节点一般化；

针对所述新的单元而建立识别标签，并且，在包含层级的可追踪性的映射中，注册所述新的单元；

引用所述新的单元而对所述嵌套块实体进行更新；以及

对所述嵌套块实体的识别标签进行更新，并且，对所述可追踪性的映射中的所述嵌套块实体进行更新，并且，针对原始单元而重复所述识别标签和可追踪性的映射的更新。

2.根据权利要求1所述的系统，其中，系统需求包含低级需求和高级需求中的至少一个，并且，所述单元参数定义外部单元接口和对本体的追踪，以允许软件构件接口的自动转换，其中所述低级需求低于层级中的所述高级需求。

3.根据权利要求1所述的系统，其中，所述ASLM数据源中的至少一个电子记录表示块实体，所述块实体包括块标识符、一个或多个识别标签、变元、块参数、块变量以及动作。

4.根据权利要求1所述的系统，其中，所述系统逻辑包括以下项中的至少一项：控制节点、循环节点、合并节点、进入节点、退出节点以及空节点。

5.根据权利要求1所述的系统，其中，所述ASLM平台进一步运行扩展过程。

6.根据权利要求5所述的系统，其中，所述扩展过程包括：

将父块实体的父块变量提升至单元变量；

针对嵌套子逻辑中的块实体和控制节点而对变元进行重新映射；

使嵌套子逻辑的进入节点和退出节点与单元内部逻辑中的控制节点合并；

将父块识别标签从包含层级的可追踪性的映射注销；

将父块标识符从数据字典注销；以及

释放所述父块实体。

7.根据权利要求1所述的系统，其中，所述ASLM平台进一步运行抽象化过程。

8.根据权利要求7所述的系统，其中，所述抽象化过程包括：

识别待抽象化的逻辑的子区段；

创建新的块实体，并且，在数据字典中注册块标识符；

对逻辑的所述子区段进行嵌套，而作为所述新的块实体的动作；

将所述新的块实体连接至其中逻辑的所述子区段起初所连接的位置；

利用逻辑的嵌套的所述子区段针对所述新的块实体而建立变元；

针对所述嵌套块实体而建立块参数；

针对所述嵌套块实体而建立块变量；以及

针对所述嵌套块实体而建立识别标签，并且，在包含层级的可追踪性的映射中，注册所述嵌套块实体。

9.根据权利要求1所述的系统，其中，所述ASLM平台进一步运行合并过程。