CN115048780A - Logic behavior modeling method, device, equipment and medium based on entity activity diagram - Google Patents
Logic behavior modeling method, device, equipment and medium based on entity activity diagram Download PDFInfo
- Publication number
- CN115048780A CN115048780A CN202210617020.8A CN202210617020A CN115048780A CN 115048780 A CN115048780 A CN 115048780A CN 202210617020 A CN202210617020 A CN 202210617020A CN 115048780 A CN115048780 A CN 115048780A
- Authority
- CN
- China
- Prior art keywords
- activity
- diagram
- node
- graph
- architecture attribute
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/20—Design optimisation, verification or simulation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/36—Software reuse
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- General Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Computer Hardware Design (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- Stored Programmes (AREA)
- Programmable Controllers (AREA)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
Abstract
本申请涉及基于实体活动图的逻辑行为建模方法、装置、设备和介质,方法包括:根据建模任务,建立逻辑行为的实体活动图;实体活动图的基本要素包括节点、节点标签、连线和布局要素;实体活动图的类型包括活动模板图和活动实现图;根据实体活动图的基本要素,对活动模板图和活动实现图进行建模,得到第一节点架构属性图、第一节点标签架构属性图、第一连线架构属性图、第一布局要素架构属性图、第二节点架构属性图、第二节点标签架构属性图、第二连线架构属性图和第二布局要素架构属性图;根据活动模板图和活动实现图的结果,对逻辑行为进行建模。采用本方法能够实现多粒度逻辑行为模型的图形化快速敏捷构建。
The present application relates to a logical behavior modeling method, device, device and medium based on entity activity diagram. The method includes: establishing an entity activity diagram of logical behavior according to a modeling task; the basic elements of the entity activity diagram include nodes, node labels, and connections. and layout elements; the types of entity activity diagrams include activity template diagram and activity realization diagram; according to the basic elements of entity activity diagram, the activity template diagram and activity realization diagram are modeled, and the first node architecture attribute diagram and the first node label are obtained. Architecture Attribute Diagram, First Connection Architecture Attribute Diagram, First Layout Element Architecture Attribute Diagram, Second Node Architecture Attribute Diagram, Second Node Label Architecture Attribute Diagram, Second Link Architecture Attribute Diagram, and Second Layout Element Architecture Attribute Diagram ; Model the logical behavior based on the results of the activity template diagram and the activity realization diagram. The method can realize the rapid and agile construction of the multi-granularity logic behavior model.
Description
技术领域technical field
本申请涉及系统建模与仿真技术领域,特别是涉及基于实体活动图的逻辑行为建模方法、装置、设备和介质。The present application relates to the technical field of system modeling and simulation, and in particular, to a method, apparatus, device and medium for logical behavior modeling based on entity activity diagrams.
背景技术Background technique
建模与仿真是一门新兴学科,建模是将现实中的数据、过程、限制等抽象为各种模型,而仿真则是模型的执行。Modeling and simulation is an emerging discipline. Modeling is the abstraction of real data, processes, constraints, etc. into various models, while simulation is the execution of models.
仿真建模按照大类可分为实体建模和行为建模。行为是指对内部或外部状态的影响,行为具有持续性,是具有一定时间周期的,具有发生、影响、结束三个大的阶段。逻辑行为是行为的一种类型,主要刻画的是行为和实体、行为和行为之间的逻辑关系,包括影响关系、因果关系、依赖关系等。实体和实体之间的逻辑关系不在逻辑行为建模刻画。Simulation modeling can be divided into solid modeling and behavior modeling according to the main categories. Behavior refers to the influence on the internal or external state. Behavior is continuous and has a certain period of time. It has three major stages: occurrence, influence and end. Logical behavior is a type of behavior, which mainly depicts the logical relationship between behavior and entity, behavior and behavior, including influence relationship, causal relationship, dependency relationship, etc. The logical relationship between entities and entities is not characterized by logical behavior modeling.
目前的图形化逻辑行为建模方法主要有以下几种:有限状态机、行为树、活动图、业务流程图和Petri网图。The current graphical logic behavior modeling methods mainly include the following: finite state machine, behavior tree, activity diagram, business flow diagram and Petri net diagram.
然而,上述方法均存在一定的问题,无法满足更多元化的需求;However, the above methods all have certain problems and cannot meet more diversified needs;
1.缺少无代码可执行建模能力。目前的建模方法主要采取图形化建模的技术能够自动生成代码框架,在实现逻辑内部填入代码实现,是一种低代码建模的支持,没有代码实现的模型图不具备可执行的能力,因此没有做到无代码化图形化可执行建模。1. Lack of code-free executable modeling capabilities. The current modeling method mainly adopts the technology of graphical modeling, which can automatically generate the code framework, and fill in the code implementation in the implementation logic, which is a kind of low-code modeling support. The model diagram without code implementation does not have the ability to execute , so there is no code-free graphical executable modeling.
2.缺少对于复杂并发逻辑的表达能力。行为树为树状结构,是网状结构的一种特化结构,树结构的描述能力相比网状结构受限,只能描述动作空间有限的行为。有限状态机面对复杂行为描述时虽然能够进行分层解耦,采用不同层次的状态图表示状态迁移,但仍然存在状态空间爆炸、状态转移连线复杂混乱的问题。活动图只针对活动流转关系进行了描述,缺乏对数值对象的操作描述。业务流程图与Petri网图采用网状结构,描述能力有所提升,但两种建模方式中基本图形元素的类型较为简单,背后缺乏逻辑封装,对复杂逻辑的描述受限。2. Lack of expressive ability for complex concurrent logic. The behavior tree is a tree structure, which is a special structure of the mesh structure. Compared with the mesh structure, the description ability of the tree structure is limited, and it can only describe the behavior with limited action space. Although the finite state machine can perform hierarchical decoupling in the face of complex behavior description and use different levels of state diagrams to represent state transitions, there are still problems of state space explosion and complex and chaotic state transition connections. The activity diagram only describes the flow relationship of activities, and lacks the operation description of the numerical objects. The business flow chart and Petri net diagram use a mesh structure, which improves the description ability. However, the types of basic graphic elements in the two modeling methods are relatively simple, and there is a lack of logic encapsulation behind them, and the description of complex logic is limited.
3.缺少实体与行为关系的图形化描述。行为建模的根本需求是刻画行为触发规律以及行为对于实体状态的影响规律,目前主流的逻辑行为建模方法一般采用“黑板机制”,数据流转、状态更改等行为采用读写黑板的方式进行,没有进行图形化显式表示,同一个行为在不同场景或条件下,对于数值的操作也可能不同,因此需要对实体与行为的关系进行图形化描述,补全行为节点内部封装的逻辑行为信息。3. Lack of graphical description of the relationship between entities and behaviors. The fundamental requirement of behavior modeling is to describe behavior triggering rules and behaviors’ influence on entity state. Currently, the mainstream logical behavior modeling methods generally use the “blackboard mechanism”, and data flow, state changes and other behaviors are carried out by reading and writing blackboards. Without explicit graphical representation, the same behavior may have different operations on values in different scenarios or conditions. Therefore, it is necessary to graphically describe the relationship between entities and behaviors, and complete the logical behavior information encapsulated inside the behavior node.
发明内容SUMMARY OF THE INVENTION
基于此,有必要针对上述技术问题,提供基于实体活动图的逻辑行为建模方法,能够实现多粒度逻辑行为模型的图形化快速敏捷构建。Based on this, it is necessary to provide a logical behavior modeling method based on entity activity diagrams for the above technical problems, which can realize the rapid and agile construction of multi-granularity logical behavior models.
基于实体活动图的逻辑行为建模方法,包括:Logical behavior modeling method based on entity activity diagram, including:
根据建模任务,建立逻辑行为的实体活动图;所述实体活动图的基本要素包括节点、节点标签、连线和布局要素;所述实体活动图的类型包括活动模板图和活动实现图;According to the modeling task, an entity activity diagram of logical behavior is established; the basic elements of the entity activity diagram include nodes, node labels, connections and layout elements; the types of the entity activity diagram include an activity template diagram and an activity realization diagram;
根据所述实体活动图的基本要素,对所述活动模板图进行建模,得到第一节点架构属性图、第一节点标签架构属性图、第一连线架构属性图和第一布局要素架构属性图;According to the basic elements of the entity activity diagram, the activity template diagram is modeled to obtain the first node architecture attribute diagram, the first node label architecture attribute diagram, the first connection architecture attribute diagram and the first layout element architecture attribute picture;
根据所述实体活动图的基本要素,对所述活动实现图进行建模,得到第二节点架构属性图、第二节点标签架构属性图、第二连线架构属性图和第二布局要素架构属性图;According to the basic elements of the entity activity diagram, the activity realization diagram is modeled to obtain the second node architecture attribute diagram, the second node label architecture attribute diagram, the second connection architecture attribute diagram and the second layout element architecture attribute picture;
根据第一节点架构属性图、第一节点标签架构属性图、第一连线架构属性图、第一布局要素架构属性图、第二节点架构属性图、第二节点标签架构属性图、第二连线架构属性图和第二布局要素架构属性图,对建模任务的逻辑行为进行建模。According to the first node structure attribute map, the first node label structure attribute map, the first connection structure attribute map, the first layout element structure attribute map, the second node structure attribute map, the second node label structure attribute map, the second connection structure attribute map The line architecture attribute diagram and the second layout element architecture attribute diagram model the logical behavior of the modeling task.
在其中一个实施例中,所述节点包括:引用节点、常值节点、实体节点、属性节点、活动节点、非活动节点和接口节点。In one embodiment, the nodes include: reference nodes, constant value nodes, entity nodes, attribute nodes, active nodes, inactive nodes and interface nodes.
在其中一个实施例中,所述节点标签包括:接口标签、名称标签、描述标签、活动触发标签、默认标签、属性类型标签、数据类型标签和作用范围标签。In one embodiment, the node labels include: interface label, name label, description label, activity trigger label, default label, attribute type label, data type label and scope label.
在其中一个实施例中,所述连线包括:引用连线、控制连线、数据连线、赋值连线、组合连线和实例连线。In one embodiment, the wires include: reference wires, control wires, data wires, assignment wires, combination wires, and instance wires.
在其中一个实施例中,所述布局要素包括:组合框、分割线和注释框。In one of the embodiments, the layout elements include: a combo box, a dividing line and a comment box.
在其中一个实施例中,所述活动节点包括:组合活动和原子活动;所述原子活动包括:控制活动、判断活动、变值活动、延时活动和同步活动。In one embodiment, the activity node includes: a combination activity and an atomic activity; the atomic activity includes: a control activity, a judgment activity, a variable value activity, a delay activity, and a synchronization activity.
在其中一个实施例中,所述控制连线包括:触发连线、暂停连线、停止连线和继续连线。In one embodiment, the control connection includes: trigger connection, pause connection, stop connection and continue connection.
基于实体活动图的逻辑行为建模装置,包括:A logical behavior modeling device based on entity activity diagram, including:
实体活动图建立模块,用于根据建模任务,建立逻辑行为的实体活动图;所述实体活动图的基本要素包括节点、节点标签、连线和布局要素;所述实体活动图的类型包括活动模板图和活动实现图;The entity activity diagram building module is used to establish an entity activity diagram of logical behavior according to the modeling task; the basic elements of the entity activity diagram include nodes, node labels, connections and layout elements; the types of the entity activity diagram include activities Template diagram and activity realization diagram;
活动模板图建立模块,用于根据所述实体活动图的基本要素,对所述活动模板图进行建模,得到第一节点架构属性图、第一节点标签架构属性图、第一连线架构属性图和第一布局要素架构属性图;The activity template diagram establishment module is used to model the activity template diagram according to the basic elements of the entity activity diagram to obtain the first node architecture attribute diagram, the first node label architecture attribute diagram, and the first connection architecture attribute diagram and the first layout element schema attribute diagram;
活动实现图建立模块,用于根据所述实体活动图的基本要素,对所述活动实现图进行建模,得到第二节点架构属性图、第二节点标签架构属性图、第二连线架构属性图和第二布局要素架构属性图;The activity realization diagram establishment module is used to model the activity realization diagram according to the basic elements of the entity activity diagram, and obtain the second node architecture attribute diagram, the second node label architecture attribute diagram, and the second connection architecture attribute diagram and the second layout element architecture attribute diagram;
建模模块,用于根据第一节点架构属性图、第一节点标签架构属性图、第一连线架构属性图、第一布局要素架构属性图、第二节点架构属性图、第二节点标签架构属性图、第二连线架构属性图和第二布局要素架构属性图,对建模任务的逻辑行为进行建模。The modeling module is used for the first node structure attribute map, the first node label structure attribute map, the first connection structure attribute map, the first layout element structure attribute map, the second node structure attribute map and the second node label structure map according to the first node structure attribute map The attribute graph, the second wiring architecture attribute graph, and the second layout element architecture attribute graph model the logical behavior of the modeling task.
一种计算机设备,包括存储器和处理器,所述存储器存储有计算机程序,所述处理器执行所述计算机程序时实现以下步骤:A computer device includes a memory and a processor, the memory stores a computer program, and the processor implements the following steps when executing the computer program:
根据建模任务,建立逻辑行为的实体活动图;所述实体活动图的基本要素包括节点、节点标签、连线和布局要素;所述实体活动图的类型包括活动模板图和活动实现图;According to the modeling task, an entity activity diagram of logical behavior is established; the basic elements of the entity activity diagram include nodes, node labels, connections and layout elements; the types of the entity activity diagram include an activity template diagram and an activity realization diagram;
根据所述实体活动图的基本要素,对所述活动模板图进行建模,得到第一节点架构属性图、第一节点标签架构属性图、第一连线架构属性图和第一布局要素架构属性图;According to the basic elements of the entity activity diagram, the activity template diagram is modeled to obtain the first node architecture attribute diagram, the first node label architecture attribute diagram, the first connection architecture attribute diagram and the first layout element architecture attribute picture;
根据所述实体活动图的基本要素,对所述活动实现图进行建模,得到第二节点架构属性图、第二节点标签架构属性图、第二连线架构属性图和第二布局要素架构属性图;According to the basic elements of the entity activity diagram, the activity realization diagram is modeled to obtain the second node architecture attribute diagram, the second node label architecture attribute diagram, the second connection architecture attribute diagram and the second layout element architecture attribute picture;
根据第一节点架构属性图、第一节点标签架构属性图、第一连线架构属性图、第一布局要素架构属性图、第二节点架构属性图、第二节点标签架构属性图、第二连线架构属性图和第二布局要素架构属性图,对建模任务的逻辑行为进行建模。According to the first node structure attribute map, the first node label structure attribute map, the first connection structure attribute map, the first layout element structure attribute map, the second node structure attribute map, the second node label structure attribute map, the second connection structure attribute map The line architecture attribute diagram and the second layout element architecture attribute diagram model the logical behavior of the modeling task.
一种计算机可读存储介质,其上存储有计算机程序,所述计算机程序被处理器执行时实现以下步骤:A computer-readable storage medium on which a computer program is stored, and when the computer program is executed by a processor, the following steps are implemented:
根据建模任务,建立逻辑行为的实体活动图;所述实体活动图的基本要素包括节点、节点标签、连线和布局要素;所述实体活动图的类型包括活动模板图和活动实现图;According to the modeling task, an entity activity diagram of logical behavior is established; the basic elements of the entity activity diagram include nodes, node labels, connections and layout elements; the types of the entity activity diagram include an activity template diagram and an activity realization diagram;
根据所述实体活动图的基本要素,对所述活动模板图进行建模,得到第一节点架构属性图、第一节点标签架构属性图、第一连线架构属性图和第一布局要素架构属性图;According to the basic elements of the entity activity diagram, the activity template diagram is modeled to obtain the first node architecture attribute diagram, the first node label architecture attribute diagram, the first connection architecture attribute diagram and the first layout element architecture attribute picture;
根据所述实体活动图的基本要素,对所述活动实现图进行建模,得到第二节点架构属性图、第二节点标签架构属性图、第二连线架构属性图和第二布局要素架构属性图;According to the basic elements of the entity activity diagram, the activity realization diagram is modeled to obtain the second node architecture attribute diagram, the second node label architecture attribute diagram, the second connection architecture attribute diagram and the second layout element architecture attribute picture;
根据第一节点架构属性图、第一节点标签架构属性图、第一连线架构属性图、第一布局要素架构属性图、第二节点架构属性图、第二节点标签架构属性图、第二连线架构属性图和第二布局要素架构属性图,对建模任务的逻辑行为进行建模。According to the first node structure attribute map, the first node label structure attribute map, the first connection structure attribute map, the first layout element structure attribute map, the second node structure attribute map, the second node label structure attribute map, the second connection structure attribute map The line architecture attribute diagram and the second layout element architecture attribute diagram model the logical behavior of the modeling task.
上述基于实体活动图的逻辑行为建模方法、装置、设备和介质,通过人性化、图形化的方式进行逻辑行为建模,将实体、实体属性与活动融合为一张视图,定义了实体活动视图的基本要素及其含义,重点刻画了活动与活动、实体与活动之间的动态关系,通过要素之间的不同组合,能够实现灵活、便捷的并行活动建模,更能有效的展示和编辑并发行为。同时在控制复杂度的同时尽可能展示关联信息,在逻辑行为图形化建模的灵活度和效率上,相比以往方法有了较大的提升。采用本方法建立的实体活动图,可以搭建可执行建模的框架,具备可执行建模需要的所有信息量和能力,为无代码可执行建模提供基础,即支持可执行建模,在此基础上建立的逻辑行为模型能够包含所有执行信息,因此再经过可执行转换等步骤(可以使用现有技术实现该步骤)就可以实现无代码可执行建模。该建模方法为领域无关建模技术,该技术及系统能够在体系仿真、系统仿真等领域得到广泛应用,发挥社会和经济价值。The above-mentioned logical behavior modeling method, device, equipment and medium based on entity activity diagram, through a humanized and graphical way to model logical behavior, integrate entity, entity attribute and activity into a view, and define entity activity view The basic elements and their meanings, focusing on describing the dynamic relationship between activities and activities, entities and activities, through different combinations of elements, can achieve flexible and convenient parallel activity modeling, more effective display and editing concurrent Behavior. At the same time, the related information is displayed as much as possible while controlling the complexity. Compared with the previous methods, the flexibility and efficiency of graphical modeling of logical behavior have been greatly improved. The entity activity diagram established by this method can build a framework for executable modeling, has all the information and capabilities required for executable modeling, and provides a basis for code-free executable modeling, that is, supports executable modeling. The logical behavior model established on the basis can contain all the execution information, so the codeless executable modeling can be realized after steps such as executable transformation (this step can be realized by using the existing technology). The modeling method is a domain-independent modeling technology, and the technology and system can be widely used in system simulation, system simulation and other fields to exert social and economic value.
附图说明Description of drawings
图1为一个实施例中基于实体活动图的逻辑行为建模方法的流程示意图;1 is a schematic flowchart of a method for modeling logical behavior based on an entity activity diagram in one embodiment;
图2为一个实施例中的架构属性示意图;2 is a schematic diagram of an architecture attribute in one embodiment;
图3为一个实施例中的节点架构属性示意图;3 is a schematic diagram of a node architecture attribute in one embodiment;
图4为一个实施例中的节点标签架构属性示意图;4 is a schematic diagram of a node label architecture attribute in one embodiment;
图5为一个实施例中的连线架构属性示意图;FIG. 5 is a schematic diagram of a connection structure attribute in one embodiment;
图6为一个实施例中的布局要素架构属性示意图;6 is a schematic diagram of a layout element architecture attribute in one embodiment;
图7为一个实施例中的基本要素的样式约定示意图;7 is a schematic diagram of a style convention of basic elements in one embodiment;
图8为一个实施例中的实体活动视图的总体架构示意图;8 is a schematic diagram of the overall architecture of an entity activity view in one embodiment;
图9为一个实施例中的资源使用活动模板示意图;9 is a schematic diagram of a resource usage activity template in one embodiment;
图10为一个实施例中的可用资源集合属性引用示意图;FIG. 10 is a schematic diagram of an available resource set attribute reference in one embodiment;
图11为一个实施例中的消耗可用资源活动引用示意图;11 is a schematic diagram of an activity reference for consuming available resources in one embodiment;
图12为一个实施例中的补充可用资源活动引用示意图;Figure 12 is a schematic diagram of supplementing available resource activity references in one embodiment;
图13为一个实施例中的资源可用性判断活动引用示意图;FIG. 13 is a schematic diagram of resource availability judgment activity reference in one embodiment;
图14为一个实施例中的基于资源使用活动模板的主活动示意图;14 is a schematic diagram of a main activity based on a resource usage activity template in one embodiment;
图15为一个实施例中基于实体活动图的逻辑行为建模装置的结构框图;15 is a structural block diagram of an apparatus for modeling logical behavior based on entity activity diagrams in one embodiment;
图16为一个实施例中计算机设备的内部结构图。Figure 16 is a diagram of the internal structure of a computer device in one embodiment.
具体实施方式Detailed ways
为了使本申请的目的、技术方案及优点更加清楚明白,以下结合附图及实施例,对本申请进行进一步详细说明。应当理解,此处描述的具体实施例仅仅用以解释本申请,并不用于限定本申请。In order to make the purpose, technical solutions and advantages of the present application more clearly understood, the present application will be described in further detail below with reference to the accompanying drawings and embodiments. It should be understood that the specific embodiments described herein are only used to explain the present application, but not to limit the present application.
如图1所示,本申请提供的一种基于实体活动图的逻辑行为建模方法,在一个实施例中,包括以下步骤:As shown in FIG. 1 , a method for modeling logical behavior based on entity activity diagram provided by the present application, in one embodiment, includes the following steps:
步骤102,根据建模任务,建立逻辑行为的实体活动图;实体活动图的基本要素包括节点、节点标签、连线和布局要素;实体活动图的类型包括活动模板图和活动实现图。
步骤104,根据实体活动图的基本要素,对活动模板图进行建模,得到第一节点架构属性图、第一节点标签架构属性图、第一连线架构属性图和第一布局要素架构属性图。Step 104: Model the activity template diagram according to the basic elements of the entity activity diagram, and obtain the first node architecture attribute diagram, the first node label architecture attribute diagram, the first connection architecture attribute diagram and the first layout element architecture attribute diagram .
步骤106,根据实体活动图的基本要素,对活动实现图进行建模,得到第二节点架构属性图、第二节点标签架构属性图、第二连线架构属性图和第二布局要素架构属性图。Step 106: Model the activity realization diagram according to the basic elements of the entity activity diagram, and obtain the second node architecture attribute diagram, the second node label architecture attribute diagram, the second connection architecture attribute diagram, and the second layout element architecture attribute diagram .
步骤108,根据第一节点架构属性图、第一节点标签架构属性图、第一连线架构属性图、第一布局要素架构属性图、第二节点架构属性图、第二节点标签架构属性图、第二连线架构属性图和第二布局要素架构属性图,对建模任务的逻辑行为进行建模。Step 108, according to the first node structure attribute map, the first node label structure attribute map, the first connection structure attribute map, the first layout element structure attribute map, the second node structure attribute map, the second node label structure attribute map, The second wiring architecture attribute diagram and the second layout element architecture attribute diagram model the logical behavior of the modeling task.
本方法采用架构属性图对实体活动图基本要素进行描述,基本要素为四种类型,分别为节点、节点标签、连线和布局要素,其架构属性如图2所示。This method uses the architecture attribute diagram to describe the basic elements of the entity activity diagram. There are four types of basic elements, namely nodes, node labels, connections and layout elements. The architecture attributes are shown in Figure 2.
对基本要素进行说明如下:The basic elements are explained as follows:
节点:组成实体活动图最基本的要素,能够代表实体、活动、属性的类型或实例,具备多种节点类型。Nodes: The most basic elements that make up an entity activity diagram, which can represent types or instances of entities, activities, and attributes, and have multiple types of nodes.
节点标签:是对节点的系统化、离散化描述,一个节点可附加多种标签,其中数据类型标签暂时不支持集合操作和Map映射对象操作,简化数据类型描述。Node label: It is a systematic and discretized description of a node. A node can be attached with multiple labels. The data type label temporarily does not support set operations and map mapping object operations, which simplifies the description of data types.
连线:描述节点与节点之间的关系,具备多种连线类型。Connection: Describes the relationship between nodes, with multiple connection types.
布局要素:便于提升人机交互性引入的辅助元素。Layout elements: Auxiliary elements introduced to facilitate human-computer interaction.
如图3至图6所示为每个要素的架构属性的详细说明图。Figures 3 to 6 are detailed illustrations of the architectural properties of each element.
如图7所示为基本要素的样式约定进行说明图。Figure 7 is an explanatory diagram of the style convention of the basic elements.
表1连线的类型Table 1 Types of Wiring
为便于连线识别,实体活动图中的连线类型采取连接起始节点的类型进行判断,为避免二义性,对节点与连线的映射关系明确如表2所示。In order to facilitate the identification of the connection, the connection type in the entity activity diagram is judged by the type of the connection starting node. In order to avoid ambiguity, the mapping relationship between the node and the connection is clearly shown in Table 2.
表2节点与连线的映射关系Table 2 Mapping relationship between nodes and connections
在基本要素的基础上,建立活动模板图和活动实现图;On the basis of basic elements, establish activity template diagram and activity realization diagram;
活动模板图:活动模板图是实体活动图的一种,主要描述对象是节点要素的类型,如飞机、车辆等。活动模板图在建模中具备接口节点,由于具备接口,因此能够在建模过程中实现与其他模型的组合,从而实现模板复用。Activity template diagram: Activity template diagram is a kind of entity activity diagram, which mainly describes the types of node elements, such as airplanes, vehicles, etc. Active template diagram has interface nodes in modeling. Because of the interface, it can be combined with other models in the modeling process, so as to realize template reuse.
活动实现图:活动实现图是实体活动图的一种,主要描述对象是节点要素的实例,也就是具体的类型,如一架飞机1、一架飞机2等。活动实现图没有对外的接口节点,能够运用活动模板图进行组合模型复用,并传入具体的模型实例,实现实体活动图建模。Activity realization diagram: Activity realization diagram is a kind of entity activity diagram. The main description objects are instances of node elements, that is, specific types, such as an
上述基于实体活动图的逻辑行为建模方法、装置、设备和介质,通过人性化、图形化的方式进行逻辑行为建模,将实体、实体属性与活动融合为一张视图,定义了实体活动视图的基本要素及其含义,重点刻画了活动与活动、实体与活动之间的动态关系,通过要素之间的不同组合,能够实现灵活、便捷的并行活动建模,更能有效的展示和编辑并发行为。同时在控制复杂度的同时尽可能展示关联信息,在逻辑行为建模的灵活度和效率上,相比以往方法有了较大的提升。所建立的逻辑行为模型能够包含所有执行信息,因此实现了无代码可执行建模。该建模方法为领域无关建模技术,该技术及系统能够在体系仿真、系统仿真等领域得到广泛应用,发挥社会和经济价值。The above-mentioned logical behavior modeling method, device, equipment and medium based on entity activity diagram, through a humanized and graphical way to model logical behavior, integrate entity, entity attribute and activity into a view, and define entity activity view The basic elements and their meanings, focusing on describing the dynamic relationship between activities and activities, entities and activities, through different combinations of elements, can achieve flexible and convenient parallel activity modeling, more effective display and editing concurrent Behavior. At the same time, the related information is displayed as much as possible while controlling the complexity. Compared with the previous methods, the flexibility and efficiency of logical behavior modeling have been greatly improved. The established logical behavior model can contain all the execution information, thus realizing the codeless executable modeling. The modeling method is a domain-independent modeling technology, and the technology and system can be widely used in system simulation, system simulation and other fields to exert social and economic value.
应该理解的是,虽然图1的流程图中的各个步骤按照箭头的指示依次显示,但是这些步骤并不是必然按照箭头指示的顺序依次执行。除非本文中有明确的说明,这些步骤的执行并没有严格的顺序限制,这些步骤可以以其它的顺序执行。而且,图1中的至少一部分步骤可以包括多个子步骤或者多个阶段,这些子步骤或者阶段并不必然是在同一时刻执行完成,而是可以在不同的时刻执行,这些子步骤或者阶段的执行顺序也不必然是依次进行,而是可以与其它步骤或者其它步骤的子步骤或者阶段的至少一部分轮流或者交替地执行。It should be understood that although the various steps in the flowchart of FIG. 1 are shown in sequence according to the arrows, these steps are not necessarily executed in the sequence shown by the arrows. Unless explicitly stated herein, the execution of these steps is not strictly limited to the order, and these steps may be performed in other orders. Moreover, at least a part of the steps in FIG. 1 may include multiple sub-steps or multiple stages. These sub-steps or stages are not necessarily executed and completed at the same time, but may be executed at different times. The execution of these sub-steps or stages The sequence is also not necessarily sequential, but may be performed alternately or alternately with other steps or sub-steps of other steps or at least a portion of a phase.
在一个实施例中,所述节点包括:引用节点、常值节点、实体节点、属性节点、活动节点、非活动节点和接口节点。In one embodiment, the nodes include: reference nodes, constant nodes, entity nodes, attribute nodes, active nodes, inactive nodes, and interface nodes.
在一个实施例中,所述节点标签包括:接口标签、名称标签、描述标签、活动触发标签、默认标签、属性类型标签、数据类型标签和作用范围标签。In one embodiment, the node labels include: an interface label, a name label, a description label, an activity trigger label, a default label, an attribute type label, a data type label, and a scope label.
在一个实施例中,所述连线包括:引用连线、控制连线、数据连线、赋值连线、组合连线和实例连线。In one embodiment, the wires include reference wires, control wires, data wires, assignment wires, combination wires, and instance wires.
在一个实施例中,所述布局要素包括:组合框、分割线和注释框。In one embodiment, the layout elements include: a combo box, a dividing line, and a comment box.
在一个实施例中,所述活动节点包括:组合活动和原子活动;所述原子活动包括:控制活动、判断活动、变值活动、延时活动和同步活动。In one embodiment, the activity node includes: a combination activity and an atomic activity; the atomic activity includes: a control activity, a judgment activity, a variable value activity, a delay activity, and a synchronization activity.
在一个实施例中,所述控制连线包括:触发连线、暂停连线、停止连线和继续连线。In one embodiment, the control connection includes: trigger connection, pause connection, stop connection and continue connection.
在一个具体的实施例中,展示实体活动图建模的方法过程。In a specific embodiment, a method process for entity activity diagram modeling is presented.
以在一个车辆总装厂,对于车辆组装的活动为背景进行逻辑行为建模,参与的实体为车辆、车辆组装活动的保障人员、保障组织、保障场所和保障设备等,建立组装活动图。为了说明具体方法,对车辆组装活动简化为车架组装和发动机组装两个子活动,并简化了所需的保障资源种类。Based on the background of vehicle assembly activities in a vehicle assembly plant, the logic behavior modeling is carried out. The participating entities are vehicles, support personnel, support organizations, support sites and support equipment, etc., to establish an assembly activity diagram. To illustrate the specific method, the vehicle assembly activity is simplified into two sub-activities, frame assembly and engine assembly, and the types of support resources required are simplified.
如图8所示,所建立实体活动视图的总体架构,实体活动图包括:活动模板图和活动实现图。As shown in Figure 8, the overall architecture of the established entity activity view, the entity activity diagram includes: an activity template diagram and an activity realization diagram.
活动模板图主要是指资源使用活动模板图,具体如图9所示。The activity template diagram mainly refers to the resource usage activity template diagram, as shown in Figure 9.
活动实现图中,以组装车架活动实现图为例,进行建模说明。组装车架活动图内部有四个子图,分别为:可用资源集合属性引用图、消耗可用资源活动引用图、补充可用资源活动引用图和资源可用性判断活动引用图,具体如图10至图13所示。基于资源使用活动模板的主活动图如图14所示。In the activity realization diagram, take the assembly frame activity realization diagram as an example to illustrate the modeling. There are four sub-graphs in the frame assembly activity diagram, namely: available resource collection attribute reference diagram, available resource consumption activity reference diagram, supplement available resource activity reference diagram and resource availability judgment activity reference diagram, as shown in Figure 10 to Figure 13. Show. The main activity diagram of the resource-based activity template is shown in Figure 14.
如图15所示,在一个实施例中,提供了一种基于实体活动图的逻辑行为建模装置,包括:实体活动图建立模块1502、活动模板图建立模块1504、活动实现图建立模块1506和建模模块1508,其中:As shown in FIG. 15, in one embodiment, a logical behavior modeling device based on entity activity diagram is provided, including: entity activity diagram establishment module 1502, activity template diagram establishment module 1504, activity realization diagram establishment module 1506 and Modeling module 1508, where:
实体活动图建立模块1502用于根据建模任务,建立逻辑行为的实体活动图;所述实体活动图的基本要素包括节点、节点标签、连线和布局要素;所述实体活动图的类型包括活动模板图和活动实现图;The entity activity diagram building module 1502 is used to establish an entity activity diagram of logical behavior according to the modeling task; the basic elements of the entity activity diagram include nodes, node labels, connections and layout elements; the type of the entity activity diagram includes activities Template diagram and activity realization diagram;
活动模板图建立模块1504用于根据所述实体活动图的基本要素,对所述活动模板图进行建模,得到第一节点架构属性图、第一节点标签架构属性图、第一连线架构属性图和第一布局要素架构属性图;The activity template diagram establishment module 1504 is configured to model the activity template diagram according to the basic elements of the entity activity diagram, and obtain the first node architecture attribute diagram, the first node label architecture attribute diagram, and the first connection architecture attribute diagram and the first layout element schema attribute diagram;
活动实现图建立模块1506用于根据所述实体活动图的基本要素,对所述活动实现图进行建模,得到第二节点架构属性图、第二节点标签架构属性图、第二连线架构属性图和第二布局要素架构属性图;The activity realization diagram establishing module 1506 is configured to model the activity realization diagram according to the basic elements of the entity activity diagram, and obtain the second node architecture attribute diagram, the second node label architecture attribute diagram, and the second connection architecture attribute diagram and the second layout element architecture attribute diagram;
建模模块1508用于根据第一节点架构属性图、第一节点标签架构属性图、第一连线架构属性图、第一布局要素架构属性图、第二节点架构属性图、第二节点标签架构属性图、第二连线架构属性图和第二布局要素架构属性图,对建模任务的逻辑行为进行建模。The modeling module 1508 is configured to use the first node structure attribute map, the first node label structure attribute map, the first connection structure attribute map, the first layout element structure attribute map, the second node structure attribute map, and the second node label structure map according to the first node structure attribute map. The attribute graph, the second wiring architecture attribute graph, and the second layout element architecture attribute graph model the logical behavior of the modeling task.
在一个实施例中,实体活动图建立模块1502还用于所述节点包括:引用节点、常值节点、实体节点、属性节点、活动节点、非活动节点和接口节点。In one embodiment, the entity activity graph establishment module 1502 is further configured for the nodes to include: reference nodes, constant nodes, entity nodes, attribute nodes, active nodes, inactive nodes and interface nodes.
在一个实施例中,实体活动图建立模块1502还用于所述节点标签包括:接口标签、名称标签、描述标签、活动触发标签、默认标签、属性类型标签、数据类型标签和作用范围标签。In one embodiment, the entity activity diagram building module 1502 is further configured to include: interface label, name label, description label, activity trigger label, default label, attribute type label, data type label and scope label.
在一个实施例中,实体活动图建立模块1502还用于所述连线包括:引用连线、控制连线、数据连线、赋值连线、组合连线和实例连线。In one embodiment, the entity activity diagram establishing module 1502 is further configured to include the wirings including: reference wiring, control wiring, data wiring, assignment wiring, combination wiring and instance wiring.
在一个实施例中,实体活动图建立模块1502还用于所述布局要素包括:组合框、分割线和注释框。In one embodiment, the entity activity diagram building module 1502 is also used for the layout elements including: a combo box, a dividing line and a comment box.
在一个实施例中,实体活动图建立模块1502还用于所述活动节点包括:组合活动和原子活动;所述原子活动包括:控制活动、判断活动、变值活动、延时活动和同步活动。In one embodiment, the entity activity diagram building module 1502 is further configured for the activity node to include: combination activity and atomic activity; the atomic activity includes: control activity, judgment activity, variable value activity, delay activity and synchronization activity.
在一个实施例中,实体活动图建立模块1502还用于所述控制连线包括:触发连线、暂停连线、停止连线和继续连线。In one embodiment, the entity activity diagram establishing module 1502 is further used for the control connection including: trigger connection, pause connection, stop connection and continue connection.
关于基于实体活动图的逻辑行为建模装置的具体限定可以参见上文中对于基于实体活动图的逻辑行为建模方法的限定,在此不再赘述。上述基于实体活动图的逻辑行为建模装置中的各个模块可全部或部分通过软件、硬件及其组合来实现。上述各模块可以硬件形式内嵌于或独立于计算机设备中的处理器中,也可以以软件形式存储于计算机设备中的存储器中,以便于处理器调用执行以上各个模块对应的操作。For the specific definition of the logical behavior modeling device based on the entity activity diagram, reference may be made to the above definition of the logical behavior modeling method based on the entity activity diagram, which will not be repeated here. Each module in the above-mentioned entity activity diagram-based logical behavior modeling apparatus may be implemented in whole or in part by software, hardware, and combinations thereof. The above modules can be embedded in or independent of the processor in the computer device in the form of hardware, or stored in the memory in the computer device in the form of software, so that the processor can call and execute the operations corresponding to the above modules.
在一个实施例中,提供了一种计算机设备,该计算机设备可以是终端,其内部结构图可以如图16所示。该计算机设备包括通过系统总线连接的处理器、存储器、网络接口、显示屏和输入装置。其中,该计算机设备的处理器用于提供计算和控制能力。该计算机设备的存储器包括非易失性存储介质、内存储器。该非易失性存储介质存储有操作系统和计算机程序。该内存储器为非易失性存储介质中的操作系统和计算机程序的运行提供环境。该计算机设备的网络接口用于与外部的终端通过网络连接通信。该计算机程序被处理器执行时以实现一种基于实体活动图的逻辑行为建模方法。该计算机设备的显示屏可以是液晶显示屏或者电子墨水显示屏,该计算机设备的输入装置可以是显示屏上覆盖的触摸层,也可以是计算机设备外壳上设置的按键、轨迹球或触控板,还可以是外接的键盘、触控板或鼠标等。该计算机设备可以是仿真设备,输入装置将相关的信息输入给仿真设备,处理器执行存储器中的程序进行组合仿真,显示屏显示相关的仿真结果。In one embodiment, a computer device is provided, and the computer device may be a terminal, and its internal structure diagram may be as shown in FIG. 16 . The computer equipment includes a processor, memory, a network interface, a display screen, and an input device connected by a system bus. Among them, the processor of the computer device is used to provide computing and control capabilities. The memory of the computer device includes a non-volatile storage medium, an internal memory. The nonvolatile storage medium stores an operating system and a computer program. The internal memory provides an environment for the execution of the operating system and computer programs in the non-volatile storage medium. The network interface of the computer device is used to communicate with an external terminal through a network connection. The computer program, when executed by the processor, implements a logical behavior modeling method based on an entity activity diagram. The display screen of the computer equipment may be a liquid crystal display screen or an electronic ink display screen, and the input device of the computer equipment may be a touch layer covered on the display screen, or a button, a trackball or a touchpad set on the shell of the computer equipment , or an external keyboard, trackpad, or mouse. The computer device can be a simulation device, the input device inputs relevant information to the simulation device, the processor executes the program in the memory to perform combined simulation, and the display screen displays the relevant simulation results.
本领域技术人员可以理解,图16中示出的结构,仅仅是与本申请方案相关的部分结构的框图,并不构成对本申请方案所应用于其上的计算机设备的限定,具体的计算机设备可以包括比图中所示更多或更少的部件,或者组合某些部件,或者具有不同的部件布置。Those skilled in the art can understand that the structure shown in FIG. 16 is only a block diagram of a part of the structure related to the solution of the present application, and does not constitute a limitation on the computer equipment to which the solution of the present application is applied. Include more or fewer components than shown in the figures, or combine certain components, or have a different arrangement of components.
在一个实施例中,提供了一种计算机设备,包括存储器和处理器,该存储器存储有计算机程序,该处理器执行计算机程序时实现上述实施例中方法的步骤。In one embodiment, a computer device is provided, including a memory and a processor, where the memory stores a computer program, and the processor implements the steps of the method in the above embodiment when the processor executes the computer program.
在一个实施例中,提供了一种计算机可读存储介质,其上存储有计算机程序,计算机程序被处理器执行时实现上述实施例中方法的步骤。In one embodiment, a computer-readable storage medium is provided, on which a computer program is stored, and when the computer program is executed by a processor, implements the steps of the method in the above-mentioned embodiment.
本领域普通技术人员可以理解实现上述实施例方法中的全部或部分流程,是可以通过计算机程序来指令相关的硬件来完成,所述的计算机程序可存储于一非易失性计算机可读取存储介质中,该计算机程序在执行时,可包括如上述各方法的实施例的流程。其中,本申请所提供的各实施例中所使用的对存储器、存储、数据库或其它介质的任何引用,均可包括非易失性和/或易失性存储器。非易失性存储器可包括只读存储器(ROM)、可编程ROM(PROM)、电可编程ROM(EPROM)、电可擦除可编程ROM(EEPROM)或闪存。易失性存储器可包括随机存取存储器(RAM)或者外部高速缓冲存储器。作为说明而非局限,RAM以多种形式可得,诸如静态RAM(SRAM)、动态RAM(DRAM)、同步DRAM(SDRAM)、双数据率SDRAM(DDRSDRAM)、增强型SDRAM(ESDRAM)、同步链路(Synchlink)DRAM(SLDRAM)、存储器总线(Rambus)直接RAM(RDRAM)、直接存储器总线动态RAM(DRDRAM)、以及存储器总线动态RAM(RDRAM)等。Those of ordinary skill in the art can understand that all or part of the processes in the methods of the above embodiments can be implemented by instructing relevant hardware through a computer program, and the computer program can be stored in a non-volatile computer-readable storage In the medium, when the computer program is executed, it may include the processes of the above-mentioned method embodiments. Wherein, any reference to memory, storage, database or other medium used in the various embodiments provided in this application may include non-volatile and/or volatile memory. Nonvolatile memory may include read only memory (ROM), programmable ROM (PROM), electrically programmable ROM (EPROM), electrically erasable programmable ROM (EEPROM), or flash memory. Volatile memory may include random access memory (RAM) or external cache memory. By way of illustration and not limitation, RAM is available in various forms such as static RAM (SRAM), dynamic RAM (DRAM), synchronous DRAM (SDRAM), double data rate SDRAM (DDRSDRAM), enhanced SDRAM (ESDRAM), synchronous chain Road (Synchlink) DRAM (SLDRAM), memory bus (Rambus) direct RAM (RDRAM), direct memory bus dynamic RAM (DRDRAM), and memory bus dynamic RAM (RDRAM), etc.
以上实施例的各技术特征可以进行任意的组合,为使描述简洁,未对上述实施例中的各个技术特征所有可能的组合都进行描述,然而,只要这些技术特征的组合不存在矛盾,都应当认为是本说明书记载的范围。The technical features of the above embodiments can be combined arbitrarily. In order to make the description simple, all possible combinations of the technical features in the above embodiments are not described. However, as long as there is no contradiction in the combination of these technical features It is considered to be the range described in this specification.
以上所述实施例仅表达了本申请的几种实施方式,其描述较为具体和详细,但并不能因此而理解为对发明专利范围的限制。应当指出的是,对于本领域的普通技术人员来说,在不脱离本申请构思的前提下,还可以做出若干变形和改进,这些都属于本申请的保护范围。因此,本申请专利的保护范围应以所附权利要求为准。The above-mentioned embodiments only represent several embodiments of the present application, and the descriptions thereof are specific and detailed, but should not be construed as a limitation on the scope of the invention patent. It should be pointed out that for those skilled in the art, without departing from the concept of the present application, several modifications and improvements can be made, which all belong to the protection scope of the present application. Therefore, the scope of protection of the patent of the present application shall be subject to the appended claims.
Claims (10)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202210617020.8A CN115048780B (en) | 2022-06-01 | 2022-06-01 | Logical behavior modeling method, device, equipment and medium based on entity activity diagram |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202210617020.8A CN115048780B (en) | 2022-06-01 | 2022-06-01 | Logical behavior modeling method, device, equipment and medium based on entity activity diagram |
Publications (2)
Publication Number | Publication Date |
---|---|
CN115048780A true CN115048780A (en) | 2022-09-13 |
CN115048780B CN115048780B (en) | 2025-06-20 |
Family
ID=83159784
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202210617020.8A Active CN115048780B (en) | 2022-06-01 | 2022-06-01 | Logical behavior modeling method, device, equipment and medium based on entity activity diagram |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN115048780B (en) |
Citations (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6154684A (en) * | 1997-06-14 | 2000-11-28 | Rockwell Technologies, Llc | Template language for industrial controller programming |
US20140282384A1 (en) * | 2013-03-13 | 2014-09-18 | Microsoft Corporation | Graph-based model for type systems |
CN106227527A (en) * | 2016-07-19 | 2016-12-14 | 南京国电南自城乡电网自动化工程有限公司 | A kind of human-computer interface automatic based on entity object relatedness generates method |
CN109144511A (en) * | 2018-08-16 | 2019-01-04 | 北京应用物理与计算数学研究所 | Numerical simulation graphic user interface automatic generation method and system |
CN112464341A (en) * | 2020-11-25 | 2021-03-09 | 北京构力科技有限公司 | Method and electronic device for arranging component subgraphs based on definable layout templates |
CN114237573A (en) * | 2021-12-20 | 2022-03-25 | 中国科学院计算技术研究所 | Method and system for automatically constructing compiler back-end code |
CN114240382A (en) * | 2021-12-21 | 2022-03-25 | 中国建设银行股份有限公司 | Flow instance generation method and device based on structured flow template |
CN114417638A (en) * | 2022-03-28 | 2022-04-29 | 湖南高至科技有限公司 | Graphical concept modeling method and device and computer equipment |
-
2022
- 2022-06-01 CN CN202210617020.8A patent/CN115048780B/en active Active
Patent Citations (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6154684A (en) * | 1997-06-14 | 2000-11-28 | Rockwell Technologies, Llc | Template language for industrial controller programming |
US20140282384A1 (en) * | 2013-03-13 | 2014-09-18 | Microsoft Corporation | Graph-based model for type systems |
CN106227527A (en) * | 2016-07-19 | 2016-12-14 | 南京国电南自城乡电网自动化工程有限公司 | A kind of human-computer interface automatic based on entity object relatedness generates method |
CN109144511A (en) * | 2018-08-16 | 2019-01-04 | 北京应用物理与计算数学研究所 | Numerical simulation graphic user interface automatic generation method and system |
CN112464341A (en) * | 2020-11-25 | 2021-03-09 | 北京构力科技有限公司 | Method and electronic device for arranging component subgraphs based on definable layout templates |
CN114237573A (en) * | 2021-12-20 | 2022-03-25 | 中国科学院计算技术研究所 | Method and system for automatically constructing compiler back-end code |
CN114240382A (en) * | 2021-12-21 | 2022-03-25 | 中国建设银行股份有限公司 | Flow instance generation method and device based on structured flow template |
CN114417638A (en) * | 2022-03-28 | 2022-04-29 | 湖南高至科技有限公司 | Graphical concept modeling method and device and computer equipment |
Non-Patent Citations (1)
Title |
---|
王波兴;王一波;黄运保;: "基于模板技术的汽车多体动力学建模研究", 计算机工程与设计, no. 07, 16 July 2012 (2012-07-16) * |
Also Published As
Publication number | Publication date |
---|---|
CN115048780B (en) | 2025-06-20 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US9600241B2 (en) | Unified state transition table describing a state machine model | |
Tatibouët et al. | Formalizing execution semantics of UML profiles with fUML models | |
US9514413B1 (en) | Framework for finding one or more solutions to a problem | |
CN114417638B (en) | Graphical concept modeling method and device and computer equipment | |
CN111061475A (en) | Software code generation method and device, computer equipment and storage medium | |
Liu et al. | Formal modeling and discovery of hierarchical business processes: A Petri net-based approach | |
Bonhomme | Scheduling and control of real-time systems based on a token player approach | |
CN111045707B (en) | Mini-program updating method, device, computer equipment and storage medium | |
Cruz et al. | On the decomposition of use cases for the refinement of software requirements | |
Tribastone et al. | Automatic translation of UML sequence diagrams into PEPA models | |
Kalvit | Application of an innovative MBSE (SysML-1D) co-simulation in healthcare | |
CN115048780B (en) | Logical behavior modeling method, device, equipment and medium based on entity activity diagram | |
CN116126295B (en) | System architecture model and construction method of aircraft axiomatic design based on MBSE | |
Wang et al. | Computational system architecture development using a holistic modeling approach | |
CN115033212B (en) | Avionics system graphic element model integrated construction method, device, and computer equipment | |
CN114385866B (en) | Executable model storage system and method based on graph database | |
Sharma et al. | Comparison of the formal specification languages based upon various parameters | |
CN115017696A (en) | An executable view architecture modeling method, apparatus, device and medium | |
Grangel et al. | Transformation of decisional models into UML: application to GRAI grids | |
Kheldoun et al. | Transformation BPEL processes to recatnet for analysing web services compositions | |
CN113256161B (en) | Method and device for modeling flow model, electronic equipment and storage medium | |
Prange et al. | From algebraic graph transformation to adhesive HLR categories and systems | |
Bădică et al. | Polynomial Algorithms for Synthesizing Specific Classes of Optimal Block-Structured Processes | |
Hamlaoui et al. | A model-driven approach for industry 4.0 | |
Prasad et al. | SLDG: a metamodel for Simulink/Stateflow models and its applications |
Legal Events
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 |