CN114398030B 用于任意软件逻辑建模的系统和方法 （通 用电气公司）

201810159559.72018.02.26根据一些实施例，任意软件逻辑建模2(iii)自动地对所述系统逻辑显式地进行转换，以输出与语言无关的公将所述待合并的单元的内部逻辑转移至所述父块实体的针对合并至所述嵌套子逻辑中的块实体和控制节点而对变元在转移所述待合并的单元的内部逻辑并且扩展块变量之后针对所述组合的单元而更新所述识别标签和可2.根据权利要求1所述的系统，其中，系统需求包含低级需求和高级需求中的至少一针对嵌套子逻辑中的块实体和控制节点而对变元使嵌套子逻辑的进入节点和退出节点与单元内部逻辑中的将父块识别标签从高到低的可追踪性的映射注3将所述新的块实体连接至其中逻辑的所述子区段起初将所述嵌套块实体的所述嵌套子逻辑转移至所对所述嵌套块实体的识别标签进行更新，并且，对所述高到低的经由ASLM平台的计算机处理器而表达逻辑根据所述系统需求而建立作为自包含实体和连接的所述逻辑块，转化且维持所述系统需求、公共设计信息交换模型信息以及所生成将所述待合并的单元的内部逻辑转移至所述父块实体的针对合并至所述嵌套子逻辑中的块实体和控制节点而对变元在转移所述待合并的单元的内部逻辑并且扩展块变量之后4针对所述组合的单元而更新所述识别标签和可将所述待合并的单元的识别标签从所述可追踪性的映射注15.根据权利要求11所述的方法，其中，所述ASLM平台进一步运行以下项中的至少一促使所述计算机处理器执行用于促进任意软件逻辑建模ASLM处理的方法，所述方法包含：经由ASLM平台的计算机处理器而表达逻辑根据所述系统需求而建立作为自包含实体和连接的所述逻辑块，所转化且维持所述系统需求、公共设计信息交换模型信息以及所生成将所述待合并的单元的内部逻辑转移至所述父块实体的针对合并至所述嵌套子逻辑中的块实体和控制节点而对变元在转移所述待合并的单元的内部逻辑并且扩展块变量之后针对所述组合的单元而更新所述识别标签和可520.根据权利要求16所述的介质，其中，所述ASLM平台进一步运行以下项中的至少一6数学运算那么简单的低级功能性和对大型系统的构件进行控制的高级功能性。如本文中所且昂贵的任务。此外，可能难以保持对高级要求和低级要求以及那些要求如何映射到各种的成本。杂的长期使用的安全关键系统中来自过去的知识的积累及积累和针对未来几年内的将来7[0006]本文中所公开的一些实施例的一些技术优势是以自动且准确的方式促进任意软89[0096]图1是根据一些实施例的系统100的高级体系结构。系统100包括任意软件逻辑建他装置）可以经由可以作为以下的通信网络中的一个或更多个的任何通信网络而交换信个或更多个这样的通信网络而通信。[0099]ASLM平台150可以将信息存储至诸如计算机ASLM数据源110和/或用户平台170之功能。[0102]在S220，系统可以经由ASLM平台的计算机处理器而表达逻辑块等级下的系统要据系统要求而建立作为自包含实体和连接的逻辑块，所建立的逻辑块用图形表示系统逻体来在单个编程单元内且/或跨多个编程单元对任意软件逻辑进行建模。块实体是基本软[0105]本文中所描述的一些实施例可以与诸如图3中所图示的单元300之类的单元相关[0106]单元标识符310可以表示用于显式地识别单元300的预期的功能性的描述性名只要针对单元的单元标识符310在将当前单元封装的体系结构元素的范围内是唯一的，则更多个识别标签320可以显式地维持单元标识符310及单元300本身对更高级的要求（包括范围内唯一（如果如此指定在定义的软件设计标准中）。单元300还可以包括上下文数据包括单元所属的类别或包的数据成员或变量或地维持单元标识符310对更高级的要求的可追踪性的方式类似的方式对本体追踪（未示表示仅旨在用于在单元300内使用的变量。单元变量334可以在以下这点上与单元参数332[0109]本文中所描述的一些实施例可以与诸如图4中所图示的块实体400之类的块实体期的功能性的描述性名称。针对块单元的块标识符410只要在将当前单元封装的体系结构[0111]块实体400可以包括一个或更多个识别标签420,识别标签420用于显式地维持块示传递至块实体400和从块实体400传递的具体数据项。具体数据项是实质上从单元上下中的语句不能整体地被包括在退出节点590中。参数返回功能性可能代之而作为常规块实够针对具体应用而使用的未示出的注释之类的任何传统元素之外，还在图5的左边以钻石形实体示出可以组成控制节点的元素。虽然许多不同种类的决策控制动作可能是可用的，但具体应用可能根据在定义的软件设计标准下指定的规则而限制能够使用的决策控制动实体。Issue_Ind_Pass730和Issue_Grp_Pass750使所有的元素作为显式。另外四个块实体具有隐式空动作元素。这四个块实体被命名为Null_Block_0、Null_Block_2、Null_Block_4以及Null_Block_5。[0119]根据一些实施例，封装于各实体内的动作细节的细化可以反映出实现方案细下游控制节点相符之外，还通过将常规块实体连接的控制流网络而对嵌套块实体进行建分抽象化且将其封装至嵌套块实体中的过程也可能不对由模型表达的低级要求或对软件[0121]注意可以如何使用图7的Issue_Pass单元700的识别标签来维持对更高级的要求样的具有隐式空动作元素的块实体还将允许模型覆盖和结构覆盖仪器将并入所生成的代节点的所有的识别标签的引用。对由待封装至嵌套逻辑中的块实体和控制节点所维持的可追踪性作出证可以基于组策略，因而可能没必要区分是否应当根据其个体分类而区别对待组里的个嵌套子逻辑中的块实体和控制节点的各元素以及父块实体的各元素。该转换的主要作用由起初由父块实体的块参数维持的关系而直接地将那些变元连接至现有的单元参数和单上游控制节点合并。使嵌套子逻辑的退出节点与父块实体的最接近的下游控制节点合并。变量。由于与降级后的块变量相对应的嵌套块的块变元和块变量实体不再满足任何目的，可以使用用于以并行或序列的方式将单个单元建模为单独的过程的相同方法来对多个单象化的方法而构建的另外的步骤来实现分裂Area_of_Window则单元标识符能够是计算矩形面积（Calculate_Area_of_Rect这意指针对新的单元的所转移的内部逻辑中的块实体和控制节点，而对识别标签进行重新映射，对特定于已被去识别化的环境上下文的更高级的要求的引用。如果已通过充分1利用块变S1314，通过对内部逻辑中的块实体和控制节点的识别标签的引用而建立新的单元的识别S1408，将嵌套子逻辑中的块实体和控制节点的变元重新映射到父块实体的现有的块参数及S1408可能仅涉及与第一单元中的逻辑流网络的部分相关的那些项。软件设计决策可以为在实时建模过程期间的中间数据或作为将在网络化分布式建模环境中交换的消息而存路的一个问题是与自动化模型转换相关联的额外开销。注意到，仅存在一个块变量Pass_[0172]用于将模型表示为元类和软件代码的方法可以提供维持表示为元类和软件代码[0174]对于块实体和控制节点的形式参数与实际变元之间的区分允许在单元中改变变在仍然需要维持的生产线的整个历史中释放的多个产品差异的长期13以及图14中所描绘的用于对多个单元进行建模的方法能够在模型提取和代码生成的期为硬件系统中的计算机软件）。然而，描述在这个问题上不必划分为构件的具体的实现方案。注意到，本文中所描述的实施例可以实现为由单个计算机或通过网络互连的分布算机托管的基于模型的软件设计计算机系统。在一些实施例中，方法提供基于模型的（未在图16中示出）而通信。可以使用通信装置1620来与例如一个或更多个远程管些实施例的ASLM平台1600处。表格可以包括例如识别与电功率网格相关联的构件的条目。