技术领域Technical Field
本发明涉及模型驱动设计领域，具体涉及一种Simulink到SysML的模型生成方法和装置。The present invention relates to the field of model driven design, and in particular to a method and device for generating a model from Simulink to SysML.
背景技术Background technique
MOF用于定义、描述和管理元数据，它是模型驱动架构（MDA）标准的核心组成部分。MOF作为一种规范，通过它来描述和管理建模语言的元模型和模型可以有效降低平台引入新语言的难度和工作量，这些建模语言包括但不限于UML、SysML、业务流程建模符号（BPMN）和公共仓库元模型（CWM）。MOF is used to define, describe and manage metadata, and is a core component of the Model Driven Architecture (MDA) standard. As a specification, MOF can effectively reduce the difficulty and workload of introducing new languages into the platform by describing and managing the metamodels and models of modeling languages, including but not limited to UML, SysML, Business Process Modeling Notation (BPMN) and Common Warehouse Metamodel (CWM).
Simulink是由一种图形化编程环境，被广泛应用于控制理论、数字信号处理、仿真和模型设计等领域。它具有包括从简单的数据运算到复杂的系统动态模块等广泛的内置库，并且与MATLAB紧密集成，用户可以利用它生成可视化数据，是一款对工程师非常友好的建模和仿真工具，基于Simulink生成的模型为Simulink模型。Simulink is a graphical programming environment that is widely used in control theory, digital signal processing, simulation, and model design. It has a wide range of built-in libraries, from simple data operations to complex system dynamic modules, and is tightly integrated with MATLAB. Users can use it to generate visual data. It is a very friendly modeling and simulation tool for engineers. The model generated based on Simulink is a Simulink model.
SysML作为一种在系统工程应用程序中使用的通用图形建模语言，支持各种种类的系统设计，例如系统的流程、信息、软件、硬件、人员和设施等，都可以使用SysML进行设计、分析、规范、验证和确认。SysML以各种图表的形式，覆盖到系统的需求、结构、行为、状态和参数等，另外，该语言对于一个系统与其他工程的集成和仿真拥有很好的支持。As a general graphical modeling language used in system engineering applications, SysML supports various types of system designs, such as system processes, information, software, hardware, personnel and facilities, which can all be designed, analyzed, specified, verified and validated using SysML. SysML covers system requirements, structures, behaviors, states and parameters in the form of various diagrams. In addition, the language has good support for the integration and simulation of a system with other projects.
随着系统工程设计的系统越来越复杂，涉及的技术也越来越多，复杂系统的设计需要有大量的多学科团队参与，每个团队专注于系统的特定方面，并使用专用的语言和工具，这就使得不同团队之间以及同一系统的不同观点之间的协作变得极其困难，另一方面，保证代表同一观点的不同方面的一致性也变得越来越困难。因此，需要一种新的方法和途径来确保整个系统工程过程的协作性、连续性和一致性。As systems designed by systems engineering become more and more complex and involve more and more technologies, the design of complex systems requires the participation of a large number of multidisciplinary teams, each of which focuses on a specific aspect of the system and uses dedicated languages and tools. This makes collaboration between different teams and between different perspectives on the same system extremely difficult. On the other hand, it is also becoming increasingly difficult to ensure the consistency of different aspects representing the same perspective. Therefore, a new method and approach is needed to ensure the collaboration, continuity and consistency of the entire systems engineering process.
模型驱动工程是一种软件工程方法，强调使用模型来设计、分析和生成系统。它的核心思想是通过模型进行系统工程设计，然后利用工具和技术自动生成代码或其他系统实现。这种开发方式能够有效解决传统基于文档和手动编码的开发模式工作量大、易于出错、工件可维护性差等问题，因而能够显著提高开发效率、降低开发成本以及提高开发质量。Model-driven engineering is a software engineering method that emphasizes the use of models to design, analyze, and generate systems. Its core idea is to use models to perform system engineering design, and then use tools and techniques to automatically generate code or other system implementations. This development method can effectively solve the problems of traditional document-based and manual coding development models, such as heavy workload, prone to errors, and poor maintainability of artifacts. It can thus significantly improve development efficiency, reduce development costs, and improve development quality.
在模型驱动工程中，往往需要将Simulink语言构建的Simulink模型转换成SysML语言构建的SysML系统模型，便于SysML系统模型在各系统中的使用，因此，迫切地需要基于Simulink模型到SysML系统模型的生成方法。In model-driven engineering, it is often necessary to convert Simulink models built in Simulink language into SysML system models built in SysML language to facilitate the use of SysML system models in various systems. Therefore, there is an urgent need for a generation method based on Simulink models to SysML system models.
发明内容Summary of the invention
鉴于上述，本发明的目的是提供一种Simulink到SysML的模型生成方法和装置，以实现Simulink模型到SysML系统模型的自动生成。In view of the above, an object of the present invention is to provide a method and device for generating a model from Simulink to SysML, so as to realize automatic generation of a Simulink model to a SysML system model.
为实现上述发明目的，本发明实施例提供的一种Simulink到SysML的模型生成方法，包括以下步骤：To achieve the above-mentioned object of the invention, an embodiment of the present invention provides a method for generating a model from Simulink to SysML, comprising the following steps:
获取Simulink模型文本并解析获得Simulink模型实例以及实例组分，依据实例组分包含的Simulink模型层级结构创建SysML模型层级结构；Get the Simulink model text and parse it to obtain the Simulink model instance and instance components, and create the SysML model hierarchy structure according to the Simulink model hierarchy structure contained in the instance components;
依据SysML模型元素构建Simulink元模型，并基于Simulink到SysML的映射将实例组分填充到的Simulink元模型得到Simulink元模型实例；Construct a Simulink metamodel based on SysML model elements, and fill instance components into the Simulink metamodel based on the mapping from Simulink to SysML to obtain a Simulink metamodel instance;
验证Simulink元模型实例正确后，基于通过验证的Simulink元模型实例生成SysML模型实例，并将SysML模型实例填充到SysML模型层级结构中得到SysML系统模型。After verifying that the Simulink metamodel instance is correct, a SysML model instance is generated based on the verified Simulink metamodel instance, and the SysML model instance is filled into the SysML model hierarchy to obtain a SysML system model.
优选地，Simulink模型层级结构为由Simulink模型元素实例作为节点形成的第一节点树，每个Simulink模型元素实例拥有唯一标记SID；Preferably, the Simulink model hierarchical structure is a first node tree formed by Simulink model element instances as nodes, and each Simulink model element instance has a unique identifier SID;
依据Simulink模型层级结构创建SysML模型层级结构，包括：按照Simulink模型层级结构对应的第一节点树生成第二节点树作为SysML模型层级结构，其中，第二节点树具有与第一节点树相同的层级结构，但是第二节点树中每个节点的类型和内容均为空，并通过标记SID记录第二节点树中节点与对第一节点树中节点的对应关系。Creating a SysML model hierarchical structure according to a Simulink model hierarchical structure includes: generating a second node tree as a SysML model hierarchical structure according to a first node tree corresponding to the Simulink model hierarchical structure, wherein the second node tree has the same hierarchical structure as the first node tree, but the type and content of each node in the second node tree are empty, and recording the correspondence between the nodes in the second node tree and the nodes in the first node tree by marking SID.
优选地，Simulink模型实例的实例组分还包括属性及属性值、参数及参数值、代理端口及端口值、部件属性及部件属性值、引用属性及引用属性值、值属性及值属性值、以及图形信息，其中图形信息包括模型实例的显示大小、显示位置、以及显示层级，显示层级大的表示图形位于上层，会覆盖下层图形。Preferably, the instance components of the Simulink model instance also include attributes and attribute values, parameters and parameter values, proxy ports and port values, component attributes and component attribute values, reference attributes and reference attribute values, value attributes and value attribute values, and graphic information, wherein the graphic information includes the display size, display position, and display level of the model instance, wherein a larger display level indicates that the graphics are located in the upper layer and will cover the lower layer graphics.
优选地，依据SysML模型元素构建Simulink元模型，包括：Preferably, a Simulink metamodel is constructed based on SysML model elements, including:
为第一节点树中的每个Simulink模型元素实例构建多个Simulink元模型，并且通过标记SID记录Simulink元模型与Simulink模型元素实例的对应关系，创建的Simulink元模型同时，还标记Simulink元模型的属性类别是元素类别还是关系类别，并标记Simulink元模型的元素关系，通过标记SID能够查到属性为关系类别的Simulink元模型关联的两端模型；Construct multiple Simulink metamodels for each Simulink model element instance in the first node tree, and record the corresponding relationship between the Simulink metamodel and the Simulink model element instance by marking SID. When creating the Simulink metamodel, it also marks whether the attribute category of the Simulink metamodel is an element category or a relationship category, and marks the element relationship of the Simulink metamodel. By marking SID, the models at both ends of the Simulink metamodel with the attribute of the relationship category can be found.
创建Simulink元模型并利用Simulink模型元素类型标记Simulink元模型的功能类型，依据Simulink元模型的功能筛选实现功能的SysML模型元素集合组成至少一个部件，至少一个部件组成Simulink元模型。A Simulink metamodel is created and the functional type of the Simulink metamodel is marked by using the Simulink model element type. A set of SysML model elements that implement the function is screened according to the function of the Simulink metamodel to form at least one component, and at least one component forms the Simulink metamodel.
优选地，利用Simulink模型元素类型标记Simulink元模型的功能类型，包括：每个Simulink模型元素中有属性标记元素的类型，类型代表元素在整个模型中执行的功能，即功能类型。Preferably, the functional type of the Simulink metamodel is marked by using the Simulink model element type, including: each Simulink model element has an attribute marking the type of the element, the type represents the function performed by the element in the entire model, that is, the functional type.
优选地，Simulink到SysML的映射包括：Simulink模型元素到SysML模型元素的元素映射、以及Simulink模型元素关系到SysML模型元素关系的关系映射；Preferably, the mapping from Simulink to SysML includes: element mapping from Simulink model elements to SysML model elements, and relationship mapping from Simulink model element relationships to SysML model element relationships;
优选地，基于Simulink到SysML的映射将实例组分填充到的Simulink元模型得到Simulink元模型实例，包括：Preferably, the Simulink metamodel instance is obtained by filling the instance components into the Simulink metamodel based on the mapping from Simulink to SysML, including:
当Simulink元模型的属性类别为元素类别时，选择元素映射，并依据选择的元素映射确定组成Simulink元模型的SysML模型元素对应的Simulink模型元素，从实例组分中提取Simulink模型元素的元素值填充到Simulink元模型的SysML模型元素中，得到Simulink元模型实例；When the attribute category of the Simulink metamodel is the element category, an element mapping is selected, and the Simulink model elements corresponding to the SysML model elements constituting the Simulink metamodel are determined according to the selected element mapping, and the element values of the Simulink model elements are extracted from the instance components and filled into the SysML model elements of the Simulink metamodel to obtain a Simulink metamodel instance;
当Simulink元模型的属性类别为关系类别时，选择关系映射，依据Simulink元模型的标记SID确定关联的两端模型，依据选择的关系映射确定Simulink元模型的元素关系对应的SysML环境下的元素关系，并在SysML中创建与Simulink元模型对应的元素关系。When the attribute category of the Simulink metamodel is a relationship category, select relationship mapping, determine the associated end models according to the tag SID of the Simulink metamodel, determine the element relationship in the SysML environment corresponding to the element relationship of the Simulink metamodel according to the selected relationship mapping, and create the element relationship corresponding to the Simulink metamodel in SysML.
优选地，验证Simulink元模型实例正确，包括对Simulink元模型实例进行参数和属性校验，以及代理端口校验；Preferably, verifying that the Simulink metamodel instance is correct includes performing parameter and attribute verification and proxy port verification on the Simulink metamodel instance;
针对参数和属性校验，先对比Simulink元模型实例和Simulink模型的参数和/或属性是否一致，再判断在Simulink元模型实例中参数和/或属性是否都具备类型，若不具备类型则需要额外创建相应的值类型作为参数和/或属性的类型，然后判断每个参数和/或属性是否具备用途，若存在多余的参数和/或属性未使用则考虑建模错误的情况，需要对用户进行错误提示，当Simulink元模型实例中部件的参数和/或属性无法在Simulink元模型实例中找到时，要在Simulink元模型中为部件添加相应的参数作为修复，其中，部件由SysML模型元素构成；For parameter and attribute verification, first compare whether the parameters and/or attributes of the Simulink metamodel instance and the Simulink model are consistent, then determine whether the parameters and/or attributes in the Simulink metamodel instance have types. If they do not have types, it is necessary to create additional corresponding value types as the types of parameters and/or attributes, and then determine whether each parameter and/or attribute has a purpose. If there are redundant parameters and/or attributes that are not used, it is considered a modeling error and an error prompt needs to be given to the user. When the parameters and/or attributes of a component in the Simulink metamodel instance cannot be found in the Simulink metamodel instance, the corresponding parameters should be added to the component in the Simulink metamodel as a repair, where the component is composed of SysML model elements;
针对代理端口校验，检测代理端口的类型，当代理端口确实类型时，在与部件同一层级的地方创建一个接口模块作为代理端口的类型。For the proxy port verification, the type of the proxy port is detected. When the proxy port is indeed of the type, an interface module is created at the same level as the component as the type of the proxy port.
优选地，基于通过验证的Simulink元模型实例生成SysML模型实例，包括：Preferably, generating a SysML model instance based on the verified Simulink metamodel instance includes:
依据Simulink元模型实例的标记SID来生成SysML模型实例，具体根据标记SID判断关联同一Simulink模型元素实例的所有Simulink元模型实例来生成一个SysML模型实例。A SysML model instance is generated according to the tag SID of the Simulink metamodel instance. Specifically, all Simulink metamodel instances associated with the same Simulink model element instance are judged according to the tag SID to generate a SysML model instance.
优选地，将SysML模型实例填充到SysML模型层级结构中得到SysML系统模型，包括：Preferably, filling the SysML model instance into the SysML model hierarchy structure to obtain the SysML system model includes:
根据标记SID将每个SysML模型实例作为节点内容填充到SysML模型的层级结构对应的第二节点树的节点中，依据SysML模型实例确定节点的类型。Each SysML model instance is filled as node content into a node of a second node tree corresponding to the hierarchical structure of the SysML model according to the tag SID, and the type of the node is determined according to the SysML model instance.
为实现上述发明目的，本发明实施例提供了一种Simulink到SysML的模型生成装置，包括：To achieve the above-mentioned object of the invention, an embodiment of the present invention provides a model generation device from Simulink to SysML, comprising:
层级结构构建单元，用于获取Simulink模型文本并解析获得Simulink模型实例以及实例组分，依据实例组分包含的Simulink模型层级结构创建SysML模型层级结构；A hierarchical structure building unit is used to obtain the Simulink model text and parse it to obtain the Simulink model instance and instance components, and create a SysML model hierarchical structure according to the Simulink model hierarchical structure contained in the instance components;
Simulink元模型实例构建单元，用于依据SysML模型元素构建Simulink元模型，并基于Simulink到SysML的映射将实例组分填充到的Simulink元模型得到Simulink元模型实例；A Simulink metamodel instance construction unit is used to construct a Simulink metamodel according to SysML model elements, and to obtain a Simulink metamodel instance by filling the instance components into the Simulink metamodel based on a mapping from Simulink to SysML;
SysML系统模型生成单元，用于验证Simulink元模型实例正确后，基于通过验证的Simulink元模型实例生成SysML模型实例，并将SysML模型实例填充到SysML模型层级结构中得到SysML系统模型。The SysML system model generation unit is used to verify that the Simulink metamodel instance is correct, generate a SysML model instance based on the verified Simulink metamodel instance, and fill the SysML model instance into the SysML model hierarchical structure to obtain a SysML system model.
与现有技术相比，本发明具有的有益效果至少包括：Compared with the prior art, the present invention has the following beneficial effects:
预先构建Simulink到SysML的映射，并内置正确性检验机制，在获得Simulink模型实例后通过映射自动生成Simulink元模型实例，并对Simulink元模型实例通过正确性检验机制验证正确后，生成符合SysML规范的SysML系统模型，生成的SysML系统模型可以作为基础模型供用户进行更进一步的系统设计和开发，能够减轻开发人员的工作量并有助于提高设计的正确性。The Simulink to SysML mapping is pre-built with a built-in correctness verification mechanism. After obtaining the Simulink model instance, the Simulink metamodel instance is automatically generated through mapping. After the Simulink metamodel instance is verified to be correct through the correctness verification mechanism, a SysML system model that complies with the SysML specification is generated. The generated SysML system model can be used as a basic model for users to conduct further system design and development, which can reduce the workload of developers and help improve the correctness of the design.
附图说明BRIEF DESCRIPTION OF THE DRAWINGS
为了更清楚地说明本发明实施例或现有技术中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图做简单地介绍，显而易见地，下面描述中的附图仅仅是本发明的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动前提下，还可以根据这些附图获得其他附图。In order to more clearly illustrate the embodiments of the present invention or the technical solutions in the prior art, the drawings required for use in the embodiments or the description of the prior art will be briefly introduced below. Obviously, the drawings described below are only some embodiments of the present invention. For ordinary technicians in this field, other drawings can be obtained based on these drawings without creative work.
图1是实施例提供的Simulink到SysML的模型生成方法的流程图；FIG1 is a flow chart of a method for generating a model from Simulink to SysML according to an embodiment;
图2是实施例提供的Simulink元模型示例图；FIG. 2 is a diagram showing an example of a Simulink metamodel provided by an embodiment;
图3是实施例提供的Simulink模型关系示意图；FIG3 is a schematic diagram of a Simulink model relationship provided in an embodiment;
图4是实施例提供的Simulink到SysML的模型生成装置的结构示意图。FIG. 4 is a schematic diagram of the structure of a device for generating a model from Simulink to SysML provided in an embodiment.
具体实施方式Detailed ways
为使本发明的目的、技术方案及优点更加清楚明白，以下结合附图及实施例对本发明进行进一步的详细说明。应当理解，此处所描述的具体实施方式仅仅用以解释本发明，并不限定本发明的保护范围。In order to make the purpose, technical solution and advantages of the present invention more clearly understood, the present invention is further described in detail below in conjunction with the accompanying drawings and embodiments. It should be understood that the specific implementation methods described herein are only used to explain the present invention and do not limit the scope of protection of the present invention.
本发明的技术构思为：将Simulink模型文件作为输入，在依据SysML模型元素构建Simulink元模型的基础上，通过Simulink到SysML的映射推导出符合SysML规范的SysML系统模型，生成的SysML系统模型可以作为后续系统开发的基础服务于系统的详细设计及验证过程。因为整个转换过程是基于MOF实现的自动化模型转换，所以具有很强的通用性和可扩展新，并且可以减轻开发人员的工作量并有助于提高设计的正确性。The technical concept of the present invention is: taking the Simulink model file as input, on the basis of constructing the Simulink metamodel according to the SysML model elements, deriving the SysML system model that complies with the SysML specification through the mapping from Simulink to SysML, and the generated SysML system model can serve as the basis for subsequent system development and serve the detailed design and verification process of the system. Because the entire conversion process is an automated model conversion based on MOF, it has strong versatility and extensibility, and can reduce the workload of developers and help improve the correctness of the design.
基于上述发明构思，如图1所示，实施例提供给的一种Simulink到SysML的模型生成方法，包括以下步骤：Based on the above inventive concept, as shown in FIG1 , an embodiment provides a method for generating a model from Simulink to SysML, comprising the following steps:
S1，获取Simulink模型文本并解析获得Simulink模型实例以及实例组分，依据实例组分包含的Simulink模型层级结构创建SysML模型层级结构。S1, obtain the Simulink model text and parse it to obtain the Simulink model instance and instance components, and create a SysML model hierarchy structure according to the Simulink model hierarchy structure contained in the instance components.
为了在SysML系统模型中正确表示出Simulink模型，首先需要确定SysML模型层级结构。因为在不同层级中可能会对统一类型的模型创建不同的实例或者引用，如果不能创建正确的层级结构会导致后续描述的SysML系统模型出现错误。In order to correctly represent the Simulink model in the SysML system model, you first need to determine the SysML model hierarchy. This is because different instances or references may be created for the same type of model at different levels. Failure to create a correct hierarchy will lead to errors in the subsequent description of the SysML system model.
具体地，首先输入Simulink模型文本，然后解析Simulink模型文本得到Simulink模型实例及实例组成。其中，Simulink模型实例是指Simulink模型填充具体信息的模型，实例组成包括属性及属性值、参数及参数值、代理端口及端口值、Simulink模型层级结构、部件属性及部件属性值、引用属性及引用属性值、值属性及值属性值、以及图形信息，其中图形信息包括模型实例的显示大小、显示位置、以及显示层级，显示层级大的表示图形位于上层，会覆盖下层图形。Specifically, first input the Simulink model text, and then parse the Simulink model text to obtain the Simulink model instance and instance composition. Wherein, the Simulink model instance refers to the model filled with specific information of the Simulink model, and the instance composition includes attributes and attribute values, parameters and parameter values, proxy ports and port values, Simulink model hierarchy, component attributes and component attribute values, reference attributes and reference attribute values, value attributes and value attribute values, and graphic information, wherein the graphic information includes the display size, display position, and display level of the model instance, and a large display level indicates that the graphics are located in the upper layer and will cover the lower layer graphics.
Simulink模型层级结构为由Simulink模型元素实例作为节点形成的第一节点树。其中，每个Simulink模型元素实例拥有一个标记SID，这个标记SID在整个Simulink模型中是唯一的，以模型元素为模块（Block）作为举例如下：The hierarchical structure of a Simulink model is a first node tree formed by Simulink model element instances as nodes. Each Simulink model element instance has a tag SID, which is unique in the entire Simulink model. Take the model element as a module (Block) as an example as follows:
<Model SID=0><Model SID=0>
<Block SID=1><Block SID=1>
<Block SID=1_1><Block SID=1_1>
</Block></Block>
<Block SID=1_2><Block SID=1_2>
</Block></Block>
</Block></Block>
<Block SID=2><Block SID=2>
</Block></Block>
<Block SID=3><Block SID=3>
</Block></Block>
</Model></Model>
最后依据Simulink模型层级结构创建SysML模型层级结构，具体包括：按照Simulink模型层级结构对应的第一节点树生成第二节点树作为SysML模型层级结构，其中，第二节点树具有与第一节点树相同的层级结构，但是第二节点树中每个节点的类型和内容均为空，并通过标记SID记录第二节点树中节点与对第一节点树中节点的对应关系，便于后续层级结构对应第二节点树的填充。Finally, a SysML model hierarchical structure is created according to the Simulink model hierarchical structure, specifically including: generating a second node tree as a SysML model hierarchical structure according to the first node tree corresponding to the Simulink model hierarchical structure, wherein the second node tree has the same hierarchical structure as the first node tree, but the type and content of each node in the second node tree are empty, and the correspondence between the nodes in the second node tree and the nodes in the first node tree is recorded by marking SID, so as to facilitate the filling of the second node tree corresponding to the subsequent hierarchical structure.
S2，依据SysML模型元素构建Simulink元模型，并基于Simulink到SysML的映射将实例组分填充到的Simulink元模型得到Simulink元模型实例。S2, constructing a Simulink metamodel according to SysML model elements, and filling instance components into the Simulink metamodel based on the mapping from Simulink to SysML to obtain a Simulink metamodel instance.
Simulink模型是符合Simulink规范的，在使用Simulink进行建模时采用了领域相关的模型元素对系统模型进行表示。然而，由于SysML是通用的领域无关的建模语言，所以需要根据SysML的模型元素构建Simulink元模型以建立Simulink与SysML之间的关联关系。为第一节点树中的每个Simulink模型元素实例构建多个Simulink元模型，并且通过标记SID记录Simulink元模型与Simulink模型元素实例的对应关系，创建的Simulink元模型同时，还标记Simulink元模型的属性类别是元素类别还是关系类别，并标记Simulink元模型的元素关系，通过标记SID可以查到属性为关系类别的Simulink元模型关联的两端模型，这样便于后续构建SysML模型。例如节点中某个Simulink模型元素的标记SID为1，其对应的3个Simulink元模型的标记SID为1_1，1_2，1_3，其中，标记SID为1_2的Simulink元模型为关系类别，其两端的关联的模型为标记SID为1_1和1_3的Simulink元模型。The Simulink model complies with the Simulink specification. When using Simulink for modeling, domain-related model elements are used to represent the system model. However, since SysML is a general domain-independent modeling language, it is necessary to build a Simulink metamodel based on the SysML model elements to establish the association relationship between Simulink and SysML. Multiple Simulink metamodels are built for each Simulink model element instance in the first node tree, and the correspondence between the Simulink metamodel and the Simulink model element instance is recorded by marking SID. When creating the Simulink metamodel, it is also marked whether the attribute category of the Simulink metamodel is an element category or a relationship category, and the element relationship of the Simulink metamodel is marked. By marking SID, the two end models associated with the Simulink metamodel whose attributes are relationship categories can be found, which is convenient for the subsequent construction of the SysML model. For example, the tag SID of a Simulink model element in the node is 1, and the tag SIDs of its corresponding three Simulink metamodels are 1_1, 1_2, and 1_3. Among them, the Simulink metamodel with tag SID 1_2 is a relationship category, and the associated models at both ends are Simulink metamodels with tag SIDs 1_1 and 1_3.
具体构建过程为：创建Simulink元模型并利用Simulink模型元素类型标记Simulink元模型的功能类型，依据Simulink元模型的功能筛选实现功能的SysML模型元素集合组成至少一个部件，至少一个部件组成Simulink元模型。The specific construction process is as follows: create a Simulink metamodel and use the Simulink model element type to mark the functional type of the Simulink metamodel, select the SysML model element set that implements the function according to the function of the Simulink metamodel to form at least one component, and at least one component constitutes the Simulink metamodel.
其中，Simulink模型元素类型包括模块、系统、子系统、注释、参数、模型、库、连线、分支、状态流、子节点、状态、转换、连接点。利用Simulink模型元素类型标记Simulink元模型的功能类型，即每个元素中有属性标记该元素的类型，该类型代表元素在整个模型中执行的功能，例如该功能可以是输出常数、延迟器、积分器、运算放大器、乘法器、逻辑与或非、输入输出端口。Among them, the Simulink model element types include modules, systems, subsystems, annotations, parameters, models, libraries, wires, branches, state flows, subnodes, states, transitions, and connection points. The Simulink model element types are used to mark the functional types of the Simulink metamodel, that is, each element has an attribute to mark the type of the element, which represents the function performed by the element in the entire model. For example, the function can be an output constant, a delay, an integrator, an operational amplifier, a multiplier, a logic AND or NOT, or an input and output port.
Simulink元模型由部件组成，每个部件完成一个特定的小功能，多个部件结合到一起完成一个Simulink元模型的功能，例如通过组合多个逻辑与或非门及输入输出端口构建加法器。A Simulink metamodel is composed of components, each of which performs a specific small function. Multiple components are combined together to complete the function of a Simulink metamodel. For example, an adder is constructed by combining multiple logical AND/OR gates and input and output ports.
如图2所示，构建的元模型包括类型、模块、模型、数据对象、子系统、连接、端口、数据、信号、参数、总线、配置设置、以及状态流，具体的元模型之间的继承关系如图2所示。As shown in FIG2 , the constructed metamodel includes types, modules, models, data objects, subsystems, connections, ports, data, signals, parameters, buses, configuration settings, and state flows. The inheritance relationship between the specific metamodels is shown in FIG2 .
实施例中，还预先构建了符合Simuliink规范的Simulink到SysML的映射，具体包括Simulink模型元素到SysML模型元素的元素映射，以及Simulink模型元素关系到SysML模型元素关系的关系映射这2大类映射，每类映射中还详细描述了每条映射的定义及语法，以实现Simulink模型到SysML模型的元素之间的映射或关系之间的映射。In the embodiment, a Simulink to SysML mapping that complies with the Simulink specification is also pre-constructed, specifically including two major types of mappings: element mapping of Simulink model elements to SysML model elements, and relationship mapping of Simulink model element relationships to SysML model element relationships. The definition and syntax of each mapping are also described in detail in each type of mapping to achieve mapping between elements or relationships from Simulink models to SysML models.
构建的模型元素映射如表1所示：The constructed model element mapping is shown in Table 1:
表1Table 1
； ;
注：符号-表示没有定义及语法，即元素之间直接对应。Note: The symbol - indicates no definition and syntax, that is, the elements correspond directly to each other.
需要说明的是，模型元素是抽象概念，同属同一模型元素的多个模型元素实例组成仍能得到属于同一模型元素的另一模型元素实例，以模块这一模型元素为例，模块1和模块2组成得到模块3。It should be noted that model elements are abstract concepts. Multiple model element instances belonging to the same model element can still be combined to obtain another model element instance belonging to the same model element. Taking the module model element as an example, module 1 and module 2 can be combined to obtain module 3.
举例说明，表1的第一条映射中，Simulink中的模块元素对应SysM中的模块或者包元素，定义及语法为：根据模块代表模型还是用于表示层级结构创建模块或者包，即在填充Simulink元模型时按照语法进行实现。For example, in the first mapping of Table 1, the module element in Simulink corresponds to the module or package element in SysM, and the definition and syntax are: create a module or package based on whether the module represents a model or is used to represent a hierarchical structure, that is, implement it according to the syntax when filling the Simulink metamodel.
Simulink模型元素之间的元素关系如图3所示，基于该元素之间的元素关系构建的关系映射如表2所示：The element relationship between the elements of the Simulink model is shown in Figure 3, and the relationship mapping constructed based on the element relationship between the elements is shown in Table 2:
表2Table 2
； ;
注：符号-表示没有定义及语法，即元素之间直接对应。Note: The symbol - indicates no definition and syntax, that is, the elements correspond directly to each other.
举例说明，表2的第二条映射中，Simulink中的约束关系对应SysML中的约束模块关系，定义及语法为：约束用约束模块表示，即在填充Simulink元模型时按照语法进行实现。For example, in the second mapping of Table 2, the constraint relationship in Simulink corresponds to the constraint module relationship in SysML, and the definition and syntax are: constraints are represented by constraint modules, that is, they are implemented according to the syntax when filling the Simulink metamodel.
依据基于Simulink到SysML的映射将实例组分填充到的Simulink元模型得到Simulink元模型实例，包括：According to the mapping from Simulink to SysML, the instance components are filled into the Simulink metamodel to obtain the Simulink metamodel instance, including:
当Simulink元模型的属性类别为元素类别时，选择Simulink到SysML的元素映射，依据选择的元素映射确定组成Simulink元模型的SysML模型元素对应的Simulink模型元素，从实例组分中提取Simulink模型元素的元素值填充到Simulink元模型的SysML模型元素中，具体从实例组分中提取的Simulink模型元素的元素值包括元素的方程、初始化值、实例类型、值属性、部件属性等进行填充，得到Simulink元模型实例。When the attribute category of the Simulink metamodel is the element category, select the element mapping from Simulink to SysML, determine the Simulink model elements corresponding to the SysML model elements constituting the Simulink metamodel based on the selected element mapping, extract the element values of the Simulink model elements from the instance components and fill them into the SysML model elements of the Simulink metamodel, specifically, the element values of the Simulink model elements extracted from the instance components include the element's equations, initialization values, instance types, value attributes, component attributes, etc., which are filled to obtain a Simulink metamodel instance.
当Simulink元模型的属性类别为关系类别时，选择Simulink到SysML的关系映射，依据Simulink元模型的标记SID确定关联的两端模型，依据选择的关系映射确定Simulink元模型的元素关系对应的在SysML环境下的元素关系，并在SysML中创建与Simulink元模型对应的元素关系，如果元素关系是特殊关系时还需要创建约束，并在约束中添加不透明表达式表明关系。When the attribute category of the Simulink metamodel is a relationship category, select the relationship mapping from Simulink to SysML, determine the associated end models based on the tag SID of the Simulink metamodel, determine the element relationship in the SysML environment corresponding to the element relationship of the Simulink metamodel based on the selected relationship mapping, and create the element relationship corresponding to the Simulink metamodel in SysML. If the element relationship is a special relationship, you also need to create constraints and add opaque expressions in the constraints to indicate the relationship.
S3，验证Simulink元模型实例正确后，基于通过验证的Simulink元模型实例生成SysML模型实例，并将SysML模型实例填充到SysML模型层级结构中得到SysML系统模型。S3, after verifying that the Simulink metamodel instance is correct, a SysML model instance is generated based on the verified Simulink metamodel instance, and the SysML model instance is filled into the SysML model hierarchy to obtain a SysML system model.
实施例中，需要对生成的Simulink元模型实例进行正确性验证以验证Simulink元模型实例是否正确，包括对Simulink元模型实例进行参数和属性校验，以及代理端口校验，验证结束后生成验证记录并展示验证结果。In the embodiment, the generated Simulink metamodel instance needs to be verified for correctness to verify whether the Simulink metamodel instance is correct, including parameter and attribute verification of the Simulink metamodel instance, as well as proxy port verification. After the verification is completed, a verification record is generated and the verification result is displayed.
针对参数和属性校验，先对比Simulink元模型实例和Simulink模型的参数和/或属性是否一致，再判断在Simulink元模型实例中参数和/或属性是否都具备类型，若不具备类型则需要额外创建相应的值类型作为参数和/或属性的类型，然后判断每个参数和/或属性是否具备用途，若存在多余的参数和/或属性未使用则考虑建模错误的情况，需要对用户进行错误提示，当Simulink元模型实例中部件的参数和/或属性无法在Simulink元模型实例中找到时，要在Simulink元模型中为部件添加相应的参数作为修复。For parameter and attribute verification, first compare whether the parameters and/or attributes of the Simulink metamodel instance and the Simulink model are consistent, and then determine whether the parameters and/or attributes in the Simulink metamodel instance have types. If they do not have types, it is necessary to create corresponding value types as the types of parameters and/or attributes, and then determine whether each parameter and/or attribute has a purpose. If there are redundant parameters and/or attributes that are not used, it is considered a modeling error and an error prompt is required to the user. When the parameters and/or attributes of the components in the Simulink metamodel instance cannot be found in the Simulink metamodel instance, the corresponding parameters should be added to the components in the Simulink metamodel as a repair.
针对代理端口校验，检测代理端口的类型，当代理端口确实类型时，在与部件同一层级的地方创建一个接口模块作为代理端口的类型。For the proxy port verification, the type of the proxy port is detected. When the proxy port is indeed of the type, an interface module is created at the same level as the component as the type of the proxy port.
验证的Simulink元模型实例验证通过后，验证通过的Simulink元模型实例生成SysML模型实例，具体依据Simulink元模型实例的标记SID来生成SysML模型实例，即根据标记SID判断关联同一Simulink模型元素实例的所有Simulink元模型实例生成一个SysML模型实例。After the verified Simulink metamodel instance passes the verification, the verified Simulink metamodel instance generates a SysML model instance, specifically generating the SysML model instance according to the tag SID of the Simulink metamodel instance, that is, all Simulink metamodel instances associated with the same Simulink model element instance are judged according to the tag SID to generate a SysML model instance.
在构建SysML系统模型时，将SysML模型实例填充到SysML模型层级结构中得到SysML系统模型，具体包括：根据标记SID将每个SysML模型实例作为节点内容填充到SysML模型的层级结构对应的第二节点树的节点中，依据SysML模型实例确定节点的类型。When constructing a SysML system model, the SysML model instance is filled into the SysML model hierarchical structure to obtain the SysML system model, specifically including: filling each SysML model instance as a node content into a node of a second node tree corresponding to the hierarchical structure of the SysML model according to the tag SID, and determining the type of the node according to the SysML model instance.
经过内部元素的填充和关系的确立，SysML系统模型已经构建完毕，完整的模型包括类型、层级结构和各元素之间的关系。以该SysML系统模型为基础，设计人员可以在其上进一步开展设计与开发。由于SysML是与领域无关的建模语言，设计者可以在原有模型基础上设计其他领域的系统，可用该模型作为验证的基础，对该设计的正确性进行仿真。After filling in the internal elements and establishing the relationships, the SysML system model has been constructed. The complete model includes types, hierarchical structures, and relationships between elements. Based on the SysML system model, designers can further carry out design and development. Since SysML is a domain-independent modeling language, designers can design systems in other fields based on the original model, and use the model as a basis for verification to simulate the correctness of the design.
基于同样的发明构思，如图4所示，本发明实施例还提供了一种Simulink到SysML的模型生成装置40，包括层级结构构建单元41、Simulink元模型实例构建单元42、SysML系统模型生成单元43，其中，层级结构构建单元41用于获取Simulink模型文本并解析获得Simulink模型实例以及实例组分，依据实例组分包含的Simulink模型层级结构创建SysML模型层级结构；Simulink元模型实例构建单元42用于依据SysML模型元素构建Simulink元模型，并基于Simulink到SysML的映射将实例组分填充到的Simulink元模型得到Simulink元模型实例；SysML系统模型生成单元43用于验证Simulink元模型实例正确后，基于通过验证的Simulink元模型实例生成SysML模型实例，并将SysML模型实例填充到SysML模型层级结构中得到SysML系统模型。Based on the same inventive concept, as shown in FIG4 , an embodiment of the present invention further provides a Simulink to SysML model generation device 40, comprising a hierarchical structure construction unit 41, a Simulink metamodel instance construction unit 42, and a SysML system model generation unit 43, wherein the hierarchical structure construction unit 41 is used to obtain a Simulink model text and parse it to obtain a Simulink model instance and an instance component, and to create a SysML model hierarchical structure according to the Simulink model hierarchical structure contained in the instance component; the Simulink metamodel instance construction unit 42 is used to construct a Simulink metamodel according to SysML model elements, and to fill the instance component into the Simulink metamodel based on the mapping from Simulink to SysML to obtain a Simulink metamodel instance; the SysML system model generation unit 43 is used to verify that the Simulink metamodel instance is correct, generate a SysML model instance based on the verified Simulink metamodel instance, and fill the SysML model instance into the SysML model hierarchical structure to obtain a SysML system model.
需要说明的是，上述实施例提供的Simulink到SysML的模型生成装置在进行模型生成时，应以上述各功能模块的划分进行举例说明，可以根据需要将上述功能分配由不同的功能单元完成，即在终端或服务器的内部结构划分成不同的功能单元，以完成以上描述的全部或者部分功能。另外，上述实施例提供的Simulink到SysML的模型生成装置与Simulink到SysML的模型生成方法实施例属于同一构思，其具体实现过程详见Simulink到SysML的模型生成方法实施例，这里不再赘述。It should be noted that the Simulink to SysML model generation device provided in the above embodiment should be illustrated by the division of the above functional modules when performing model generation. The above functional allocation can be completed by different functional units as needed, that is, the internal structure of the terminal or server is divided into different functional units to complete all or part of the functions described above. In addition, the Simulink to SysML model generation device provided in the above embodiment and the Simulink to SysML model generation method embodiment belong to the same concept. The specific implementation process is detailed in the Simulink to SysML model generation method embodiment, which will not be repeated here.
以上所述的具体实施方式对本发明的技术方案和有益效果进行了详细说明，应理解的是以上所述仅为本发明的最优选实施例，并不用于限制本发明，凡在本发明的原则范围内所做的任何修改、补充和等同替换等，均应包含在本发明的保护范围之内。The specific implementation methods described above have described in detail the technical solutions and beneficial effects of the present invention. It should be understood that the above is only the most preferred embodiment of the present invention and is not intended to limit the present invention. Any modifications, supplements and equivalent substitutions made within the scope of the principles of the present invention should be included in the protection scope of the present invention.
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202410122926.1ACN117648833B (en) | 2024-01-30 | 2024-01-30 | Simulink to SysML model generation method and device |
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202410122926.1ACN117648833B (en) | 2024-01-30 | 2024-01-30 | Simulink to SysML model generation method and device |
| Publication Number | Publication Date |
|---|---|
| CN117648833A CN117648833A (en) | 2024-03-05 |
| CN117648833Btrue CN117648833B (en) | 2024-05-17 |
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202410122926.1AActiveCN117648833B (en) | 2024-01-30 | 2024-01-30 | Simulink to SysML model generation method and device |
| Country | Link |
|---|---|
| CN (1) | CN117648833B (en) |
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN118377481B (en)* | 2024-06-24 | 2024-09-03 | 浩神科技(北京)有限公司 | Language model automatic development method based on element proxy technology |
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6711734B1 (en)* | 2000-06-27 | 2004-03-23 | Unisys Corporation | Method for translating MOF metamodels to UML models |
| KR20050063404A (en)* | 2003-12-22 | 2005-06-28 | 한국전자통신연구원 | Metamodel-based model transformation apparatus |
| CN103514331A (en)* | 2013-09-30 | 2014-01-15 | 西北工业大学 | Method for converting Simulink model into UML model |
| US8745537B1 (en)* | 2008-02-15 | 2014-06-03 | The Mathworks, Inc. | Graphical interface for managing and monitoring the status of a graphical model |
| CN106502676A (en)* | 2016-10-30 | 2017-03-15 | 合肥微匠信息科技有限公司 | A kind of method that is changed based on simulink models to uml model |
| CN111176639A (en)* | 2019-12-30 | 2020-05-19 | 南京航空航天大学 | An automated model conversion method from SysML to AltaRica |
| CN111176658A (en)* | 2019-12-17 | 2020-05-19 | 西北工业大学 | Automatic conversion method of AADL to Simulink model based on meta-object mechanism |
| CN114647401A (en)* | 2020-12-18 | 2022-06-21 | 北京航空航天大学 | Model verification method suitable for distributed system of SysML, Simulink and AADL |
| CN115358200A (en)* | 2022-07-27 | 2022-11-18 | 浙江大学 | A Method for Automatically Generating Templated Documents Based on SysML Metamodel |
| CN115391173A (en)* | 2022-07-06 | 2022-11-25 | 北京交通大学 | Method for converting Simulink-Stateflow model into NuSMV model |
| CN115758789A (en)* | 2022-12-01 | 2023-03-07 | 金航数码科技有限责任公司 | Software architecture design and architecture transmission method of complex real-time embedded system |
| JP2023076222A (en)* | 2021-11-22 | 2023-06-01 | パナソニックＩｐマネジメント株式会社 | Model conversion device, model equivalence verification device, model conversion method, and model conversion program |
| CN116304192A (en)* | 2023-04-10 | 2023-06-23 | 南京航空航天大学 | An Automatic Conversion Method from SysML Model to SLIM Model Based on ATL |
| CN116415430A (en)* | 2023-03-27 | 2023-07-11 | 中国科学院国家空间科学中心 | A Customized SysML Model Transformation Method for Space Science Mission Demonstration |
| CN116719601A (en)* | 2023-05-08 | 2023-09-08 | 上海丰蕾信息科技有限公司 | Simulation method, device, equipment and storage medium of electronic equipment control system |
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20060036799A1 (en)* | 2004-08-13 | 2006-02-16 | National Instruments Corporation | Multi-platform development and execution of graphical programs |
| US7934194B2 (en)* | 2006-10-17 | 2011-04-26 | The Mathworks, Inc. | User-defined hierarchies of user-defined classes of graphical objects in a graphical modeling environment |
| DE102008047578A1 (en)* | 2008-09-17 | 2010-04-15 | Siemens Aktiengesellschaft | Method and apparatus for tracking requests in a number of models of a system |
| US8655636B2 (en)* | 2010-06-23 | 2014-02-18 | Iowa State University Research Foundation, Inc. | Semantic translation of time-driven simulink diagrams using input/output extended finite automata |
| US10339488B2 (en)* | 2015-12-16 | 2019-07-02 | Sap Se | Method and system for the definition of a model |
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US6711734B1 (en)* | 2000-06-27 | 2004-03-23 | Unisys Corporation | Method for translating MOF metamodels to UML models |
| KR20050063404A (en)* | 2003-12-22 | 2005-06-28 | 한국전자통신연구원 | Metamodel-based model transformation apparatus |
| US8745537B1 (en)* | 2008-02-15 | 2014-06-03 | The Mathworks, Inc. | Graphical interface for managing and monitoring the status of a graphical model |
| CN103514331A (en)* | 2013-09-30 | 2014-01-15 | 西北工业大学 | Method for converting Simulink model into UML model |
| CN106502676A (en)* | 2016-10-30 | 2017-03-15 | 合肥微匠信息科技有限公司 | A kind of method that is changed based on simulink models to uml model |
| CN111176658A (en)* | 2019-12-17 | 2020-05-19 | 西北工业大学 | Automatic conversion method of AADL to Simulink model based on meta-object mechanism |
| CN111176639A (en)* | 2019-12-30 | 2020-05-19 | 南京航空航天大学 | An automated model conversion method from SysML to AltaRica |
| CN114647401A (en)* | 2020-12-18 | 2022-06-21 | 北京航空航天大学 | Model verification method suitable for distributed system of SysML, Simulink and AADL |
| JP2023076222A (en)* | 2021-11-22 | 2023-06-01 | パナソニックＩｐマネジメント株式会社 | Model conversion device, model equivalence verification device, model conversion method, and model conversion program |
| CN115391173A (en)* | 2022-07-06 | 2022-11-25 | 北京交通大学 | Method for converting Simulink-Stateflow model into NuSMV model |
| CN115358200A (en)* | 2022-07-27 | 2022-11-18 | 浙江大学 | A Method for Automatically Generating Templated Documents Based on SysML Metamodel |
| CN115758789A (en)* | 2022-12-01 | 2023-03-07 | 金航数码科技有限责任公司 | Software architecture design and architecture transmission method of complex real-time embedded system |
| CN116415430A (en)* | 2023-03-27 | 2023-07-11 | 中国科学院国家空间科学中心 | A Customized SysML Model Transformation Method for Space Science Mission Demonstration |
| CN116304192A (en)* | 2023-04-10 | 2023-06-23 | 南京航空航天大学 | An Automatic Conversion Method from SysML Model to SLIM Model Based on ATL |
| CN116719601A (en)* | 2023-05-08 | 2023-09-08 | 上海丰蕾信息科技有限公司 | Simulation method, device, equipment and storage medium of electronic equipment control system |
| Title |
|---|
| Integrating SysML with simulation environments (Simulink) by model transformation approach;Chabibi, Bassim等;2016 IEEE 25TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE);20161231;全文* |
| SysML:一种新的系统建模语言;蒋彩云;王维平;李群;;系统仿真学报;20060620(第06期);全文* |
| 元对象机制驱动的复杂系统开放式顶层建模;王西超;曹云峰;丁萌;庄丽葵;王彪;杨斌;;电子科技大学学报;20120730(第04期);全文* |
| 基于ATL引擎的UML到Simulink模型转换方法研究;郭鹏;李亚晖;李明娟;韩伟;;航空计算技术;20150325(第02期);全文* |
| 基于SysML的多域复杂机电产品系统层建模与仿真集成研究;曹悦;中国优秀硕士学位论文全文数据库 工程科技Ⅱ辑;20110715;全文* |
| 基于SysML的系统设计-仿真模型可视化转换;李新光;刘继红;;计算机辅助设计与图形学学报;20161115(第11期);全文* |
| 面向信息物理融合系统的异构模型转换方法;王宇英;周兴社;梁东方;;西安电子科技大学学报;20150228(第02期);全文* |
| 面向嵌入式软件开发的UML到Simulink模型转换方法;郭鹏;李亚晖;孙磊;蔡晓乐;;计算机科学;20160215(第02期);全文* |
| Publication number | Publication date |
|---|---|
| CN117648833A (en) | 2024-03-05 |
| Publication | Publication Date | Title |
|---|---|---|
| CN114625353B (en) | Model framework code generation system and method | |
| Paige et al. | Rigorous identification and encoding of trace-links in model-driven engineering | |
| US8875039B2 (en) | Propagation of characteristics in a graphical model environment | |
| JP2006526209A (en) | Software development method and development system using metadata extended under component-based environment | |
| US7721252B2 (en) | Apparatus and method for product-line architecture description and verification | |
| CN115935872B (en) | Extensible FPGA simulation verification automation method | |
| CN101236574A (en) | Method for simulation processing in data processing system and said data processing system | |
| JP2009238229A (en) | Software development method using metadata expanded under component base environment and its development system | |
| Cirilo et al. | A product derivation tool based on model-driven techniques and annotations. | |
| CN113608734A (en) | Automatic generation method of domain-driven design model code | |
| CN115712420B (en) | Architecture design and architecture conversion method based on complex real-time embedded system | |
| CN117648833B (en) | Simulink to SysML model generation method and device | |
| CN104899037A (en) | Intrusive type grey box assembly validation method based on model | |
| CN104317559A (en) | Visual modeling platform based on GMF | |
| Zhang | Software Visualization: From Theory to Practice | |
| CN118331660A (en) | Interface calling method, device, equipment and storage medium | |
| Tauscher et al. | A modular graph transformation rule set for IFC‐to‐CityGML conversion | |
| CN101055521B (en) | Mapping rule visualized generation method and system | |
| CN117632093A (en) | Software design method and system based on business layering | |
| Jiang et al. | UML-based modeling and validity checking of web service descriptions | |
| Bucchiarone | Dynamic software architectures for global computing system | |
| CN118760423B (en) | Method and device for generating functional simulation unit of simulation platform | |
| CN116679910B (en) | Engineering scaffold generation method, device and equipment based on field driving design | |
| US7890911B2 (en) | Skeleton generation apparatus and method | |
| KR100395498B1 (en) | Method and Apparatus for Building an Open Domain Architecture Modeler |
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant |