CN110221815B - 一种基于本体的控制软件模型的自动生成方法 - Google Patents
一种基于本体的控制软件模型的自动生成方法 Download PDFInfo
- Publication number
- CN110221815B CN110221815B CN201910458320.4A CN201910458320A CN110221815B CN 110221815 B CN110221815 B CN 110221815B CN 201910458320 A CN201910458320 A CN 201910458320A CN 110221815 B CN110221815 B CN 110221815B
- Authority
- CN
- China
- Prior art keywords
- ontology
- model
- design
- control software
- software
- 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.)
- Active
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/20—Software design
- G06F8/22—Procedural
Landscapes
- Engineering & Computer Science (AREA)
- Software Systems (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Stored Programmes (AREA)
Abstract
本发明公开了一种基于本体的控制软件模型的自动生成方法:(1)基于SysML扩展包,构建系统设计模型并进行语义强化;(2)基于系统设计模型的系统设计知识进行分布式控制软件自动设计,生成平台无关软件设计;(3)基于本体映射,将平台无关软件设计自动转换生成平台相关控制软件设计并导出控制软件模型。本发明提供的自动生成方法能够有效提高软件开发效率及正确性,减轻软件开发人员工作量,生成的控制软件模型可以作为后续软件开发的基础服务于软件的详细设计及验证过程。
Description
技术领域
本发明涉及模型驱动设计领域,具体涉及一种基于本体的控制软件模型的自动生成方法。
背景技术
SysML(Systems Modeling Language)是基于模型的系统工程的标准建模语言。SysML为系统的结构模型、行为模型、需求模型和参数模型提供了通用的建模方法。结构模型强调系统的层次以及对象之间的相互连接关系。行为模型强调系统中对象的行为,包括它们的活动、交互和状态历史。需求模型强调需求之间的追溯关系以及设计对需求的满足关系。参数模型强调系统或部件的属性之间的约束关系。SysML为模型表示法提供了完整的语义。SysML的语言结构遵循四层元模型结构:元-元模型、元模型、模型和用户对象。元-元模型层具有最高抽象层次,是定义元模型描述语言的模型,为定义元模型的元素提供最基本的概念和机制。元模型是元-元模型的实例,是定义模型描述语言的模型。模型是元模型的实例,是基于模型描述语言对目标系统的描述。用户对象是模型的实例。任何复杂系统在用户看来都是相互通信的具体对象,目的是实现复杂系统的功能和性能。
为应对消费需求的快速更新和升级,软件逐渐在分布式自动化加工系统中扮演越来越重要的角色。模型驱动开发是软件开发的一种主流开发范式,它是指通过模型以及模型之间的转换实现软件开发过程,具体方法为:首先确立实体模型Entity Model,以及它们之间的关系,进而可以交由程序员分别实现表现层、业务服务层和持久层,通过使用JdonFramework等模型驱动框架,结合FDD等模型驱动的工程方法,从而正确无误地、且快速高质量地完成一个软件开发过程。这种开发方式能够有效解决传统基于文档和手动编码的软件开发模式工作量大、易于出错、工件可维护性差等问题,因而能够显著提高软件开发效率、降低开发成本以及提高开发质量。
分布式自动化软件与通用软件的不同在于,它与其所控制的加工装备关系密切,二者的开发过程必须协同进行。因此,分布式自动化软件的模型驱动开发必须能够从描述软件及其受控加工装备的系统模型自动生成目标开发语言所描述的软件模型,从而作为后续软件开发的基础。然而,现有的模型驱动开发方法仅支持手动实现这一转换过程,或在对系统模型赋予软件开发语言相关约束后才能自动实现转换,因此,均无法有效解决这一问题。
发明内容
本发明的目的在于提供一种基于本体的控制软件模型的自动生成方法,本发明提供的自动生成方法基于本体推理自动实现,可以减轻软件开发人员的工作量并有助于提高软件设计的正确性。
本发明提供如下技术方案:
一种基于本体的控制软件模型的自动生成方法,所述自动生成方法包括以下步骤:
(1)基于SysML扩展包,构建系统设计模型并进行语义强化;
(2)基于系统设计模型的系统设计知识进行分布式控制软件自动设计,生成平台无关软件设计;
(3)基于本体映射,将平台无关软件设计自动转换生成平台相关控制软件设计并导出控制软件模型。
本发明提供的自动生成方法的构思为:(1)基于面向自动化加工系统建模的SysML扩展包,构建具有自动化加工语义的系统设计模型,并自动导入本体知识库中以分析其语义正确性;(2)对于分析后的系统设计模型中的系统设计知识,采用分布式控制应用设计模式将系统设计知识与平台无关控制软件设计知识相联系,实现自动推理,自动生成平台无关软件设计;(3)基于本体映射,将平台无关软件设计自动转换生成平台相关控制软件设计并导出控制软件模型。
在步骤(1)中,所述构建系统设计模型并进行语义强化的方法包括:
(1-1)对SysML进行扩展,形成面向自动化加工系统建模的SysML-MF扩展包,并采用SysML-MF扩展包构建具有自动化加工语义的系统设计模型;
(1-2)基于SysML-MF扩展包,建立MFO本体(加工本体);
(1-3)将具有自动化加工语义的系统设计模型导入为本体知识库中的MFO本体实例;
(1-4)对MFO本体实例描述的系统设计模型的系统设计知识的语义正确性进行验证,实现对系统设计模型的语义强化。
在步骤(1-1)中,所述SysML-MF扩展包中采用模块(Block)的版型对自动化加工系统中各种加工资源进行描述,采用不透明动作(OpaqueAction)的版型对自动化加工系统中各种操作进行描述。
在步骤(1-2)中,所述MFO本体与SysML-MF扩展包之间均有映射关系,所述MFO本体中的概念通过公理形式化。
所述MFO本体采用OWL2语言中的相关原语对概念的语义进行描述。这些对概念进行形式化描述的公理可以被语义网推理机所理解,从而自动识别本体中的实例是否符合其所声明的概念,或基于此对本体实例进行分类以确定其所属概念。
在步骤(2)中,所述生成平台无关软件设计的方法包括:
(2-1)定义描述分布式控制软件设计的DCO本体(分布式控制本体);
(2-2)基于DCO本体与MFO本体之间的知识关联,开展自动设计过程,自动生成平台无关控制软件设计。
在步骤(2-2)中,所述自动设计过程包括:
(2-2-1)将自动加工系统中的加工资源分组并分配相应控制器以组成控制闭环,从而识别控制器的结构;
(2-2-2)根据自动加工系统中加工资源的分配情况,将加工资源所实现的加工操作分配给相应的控制闭环;
(2-2-3)根据加工操作的分配情况,识别控制器之间的数据与物理交互,从而形成整个分布式控制应用。
在步骤(3)中,将平台无关软件设计自动转换生成基于IEC 61499的控制软件设计并导出基于IEC 61499的控制软件模型。
所述将平台无关软件设计自动转换生成基于IEC 61499的控制软件设计的方法包括:
(3-1)基于IEC 61499功能块定义FBO本体(功能块本体),并比较FBO与DCO本体的异同;
(3-2)基于本体映射,实现FBO本体的设计知识生成;
(3-3)FBO本体和基于IEC 61499的控制软件模型具有映射关系,利用模型转换技术将FBO本体实例自动转换成基于IEC 61499的控制软件模型。
在本发明提供的自动生成方法中,SysML-MF扩展包可以对自动化加工系统的加工资源以及加工操作采用领域相关模型元素进行建模。MFO本体包含自动化加工系统相关概念以及这些概念的形式化描述公理,支持系统模型在本体知识库中的表示和验证。DCO本体(分布式控制本体)将自动化控制软件描述为由控制器所组成的控制应用,每个控制器与其所控制的加工设备共同形成闭环控制回路。该本体支持采用平台无关的形式对自动化加工系统的控制软件进行描述,并能够与MFO所描述的系统模型知识相关联,从而支持从系统设计知识自动导出控制软件设计知识。
本发明提供的自动生成方法基于SysML所描述的系统设计模型可以自动生成控制软件设计模型(如基于IEC 61499的控制软件模型,即,符合IEC 61499标准的控制软件模型),可以减轻软件开发人员的工作量并有助于提高软件设计的正确性。本发明提供的自动生成方法以基于SysML的自动化加工系统设计模型为输入,通过将该模型所描述的系统设计知识导入到本体知识库中进行语义分析、知识推理以及本体映射,可以推导出控制软件设计知识并最终导出为符合IEC 61499标准的控制软件模型。
与现有技术相比,本发明提供的自动生成方法基于本体推理自动实现,可以减轻软件开发人员的工作量并有助于提高软件设计的正确性。并且自动生成的控制软件模型可以作为后续软件开发的基础服务于软件的详细设计及验证过程。
附图说明
图1为本发明提供的基于本体的IEC 61499软件模型生成过程示意图;
图2为本发明提供的SysML-MF扩展包概览示意图;
图3为本发明提供的MFO本体的结构示意图;
图4为本发明提供的分布式控制应用设计模式示意图;
图5为本发明提供的DCO本体的结构示意图;
图6为本发明提供的FBO本体的结构示意图。
具体实施方式
为使本发明的目的、技术方案及优点更加清楚明白,以下结合附图及实施例对本发明进行进一步的详细说明。应当理解,此处所描述的具体实施方式仅仅用以解释本发明,并不限定本发明的保护范围。
本发明提供的自动生成方法如图1所示,以基于IEC 61499的控制软件模型为例,包括三个阶段:(1)语义强化阶段:基于自动化加工系统通用概念,对SysML进行扩展,提出面向自动化加工系统的SysML扩展包;采用该扩展包对目标系统(自动化加工系统)进行建模,并将该模型导入本体知识库的加工本体(MFO)中;对模型语义进行验证以确保系统设计的正确性。(2)自动设计阶段:基于分布式控制应用设计模式,提出描述控制软件设计的分布式控制本体(DCO),并在DCO与MFO之间建立关联;基于知识之间的关联关系,设计相关算法,从MFO所描述系统设计知识自动导出DCO所描述的控制软件设计知识。(3)模型转换阶段:根据IEC 61499标准定义描述平台相关软件设计模型的功能块本体(FBO);基于本体映射技术及相关算法,从基于DCO的平台无关软件设计自动生成基于FBO的平台相关软件设计;最后将该设计知识自动导出为基于IEC 61499的软件设计模型。
具体步骤如下:
步骤一:系统设计模型的语义强化
(1)扩展SysML,形成面向自动化加工系统的SysML-MF扩展包
为了表达系统模型中的自动化加工领域语义以便于识别其中的控制软件部分,需要在系统建模时采用领域相关的模型元素来对系统模型进行表示。然而,由于SysML为通用的领域无关建模语言,因此,需要对SysML进行扩展以表达自动化加工语义。MASON是自动化加工领域的一种上层本体,基于该本体中的部分概念,本发明提出了SysML-MF扩展包。该扩展包中所包含的版型如图2所示。其中,采用模块(Block)的版型对加工系统中各种资源(Resource)进行描述,这些资源包括加工资源(ManufacturingResource),如机器(Machine)、工具(Tool)、工具组件(ToolPart),以及控制系统(ControlSystem)、传感器(Sensor)以及促动器(Actuator)。资源之间通过数据端口(DataPort)与物理端口(PhysicalPort)传递数据或能量、物料等物理信息。采用不透明行为(OpaqueAction)的版型对系统中各种操作(Operation)进行描述,这些操作分为加工操作(ManufacturingOperation)与控制操作(ControlOperation),它们之间通过相应类型的栓(Pin)来传递数据或物理信息,包括数据输入栓(DataInputPin)、物理输入栓(PhysicalInputPin)、数据输出栓(DataOutputPin)和物理输出栓(PhysicalOutputPin)。采用该扩展包,系统设计人员可以在通用SysML建模平台中构建具有自动化加工语义的系统设计模型。
(2)定义加工本体MFO,从模型导入系统设计知识
为了将系统设计模型导入本体知识库以支持对其语义正确性的验证以及自动模型生成,以扩展包为基础,构建加工本体(MFO)。该本体中的概念如图3所示。该本体与SysML语言紧密联系,图中虚线框表示来自于SysML的相关概念,如模块(Block)、完全端口(FullPort)、不透明行为(OpaqueAction)、输入栓(InputPin)和输出栓(OutputPin),其他概念来自SysML-MF扩展包中的版型。该本体采用OWL2本体语言进行定义。由于MFO与SysML-MF之间具有映射关系,因此,可以采用模型转换技术将基于SysML-MF的系统设计模型自动导入为MFO的本体实例。
(3)通过公理形式化描述MFO概念,验证模型语义正确性
除了定义概念以及概念之间的关系之外,该本体还采用OWL2语言中的相关原语对概念的语义进行描述。这些对概念进行的形式化描述的公理可以被语义网推理机所理解,从而自动识别本体中的实例是否符合其所声明的概念,或基于此对本体实例进行分类以确定其所属概念。例如,MFO中概念工具(Tool)被定义为由工具组件(ToolPart)所组成的系统模块,这一定义可以被形式化的描述为OWL类表达式(Class Expression):Block and(hasAttribute some(PartProperty and(hasType some ToolPart)));该类表达式被声明为工具(Tool)这一OWL类的等价类,从而作为对工具(Tool)这一概念的相关实例进行分类或语义判断的公理。由于系统模型与本体知识库中的实例相对应,对本体实例的自动语义分析等价于对系统模型中版型使用正确性的自动验证。这一验证过程可以保证系统设计模型语义的正确性。
步骤二:基于系统设计知识的分布式控制软件自动设计
语义强化后的系统设计知识描述了目标自动化加工系统中所包含的加工资源以及系统所实现的加工过程,基于这些知识,可以借助于如图4所示的分布式控制应用设计模式这一通用的、领域无关的设计模式,自动推导出控制软件设计知识。该模式是对控制设计问题的一种通用解决办法。其中,一个系统由一个分布式控制应用来进行控制,该应用由多个互相连接的控制器所组成。每个控制器控制一个由多个加工资源所组成的加工设备,它们之间通过传感器和促动器相连进而共同组成一个闭环控制回路。加工资源所涉及到的加工过程由控制器的过程功能所控制。基于该模式,控制软件的自动设计过程包括以下两个步骤:
(1)定义DCO,关联控制软件设计与系统设计知识
基于该设计模式,可以定义描述自动化加工软件的本体DCO。该本体如图5所示。该本体对分布式控制应用及其所包含的控制器进行描述,并且与MFO紧密关联,图中虚线框表示来自于MFO的相关概念。控制器(Controller)与其受控对象(Plant)相连,并且通过其过程功能(ProcessFunction)实现相应的操作(Operation)。控制器(Controller)之间具有行为交互(BehaviorInteraction)与数据交互(DataInteraction),并通过这些交互组成控制应用(ControlApplication)。
(2)开展自动设计过程,自动生成平台无关软件设计
基于DCO与MFO之间的关系,可以采用如下步骤实现分布式控制软件的自动设计过程。(1)将系统中的加工资源分组(如以工具组件(ToolPart)、工具(Tool)或机器(Machine)为单位进行分组)并分配相应控制器以组成控制闭环,从而识别控制器的结构;(2)根据系统中加工资源的分配情况,将加工资源所实现的加工操作分配给相应的控制闭环;(3)根据加工操作的分配情况,识别控制器之间的数据与物理交互,从而形成整个分布式控制应用。
步骤三:平台无关软件设计自动转换生成基于IEC 61499的平台相关软件模型
(1)基于IEC 61499标准定义FBO,比较FBO与DCO异同
基于DCO的软件设计具有平台无关性,它与IEC 61499标准之间仍存在较大差距,因此,还需要进一步将其转化为基于IEC 61499的软件设计以导出符合标准的软件设计模型。为实现这一过程,首先需要基于IEC 61499功能块标准定义FBO(功能块本体),来对IEC61499平台相关设计进行描述。该本体如图6所示。其中,最基本的概念为功能块类型(FBType),它分为基本功能块(BasicFB)、组合功能块(CompositeFB)以及服务接口功能块(ServiceInterfaceFB)三种。基本功能块(BasicFB)的行为通过执行控制图(ECC)进行描述。各种功能块类型(FBType)实例化为功能块(FB)并通过连接(Connection)组成功能块网络(FBNetwork)从而描述控制应用(Application)。
之后,对FBO与DCO之间的概念进行比较。通过比较可以得知,二者在控制器及控制应用的结构描述方面具有相似性,即控制器均通过其接口互连形成控制应用,且二者对于控制器的行为均通过一个操作序列进行描述。但由于IEC 61499采用的基于事件的行为驱动模式,使得其在控制器行为的某些细节描述上与DCO不同。
(2)基于本体映射,实现FBO设计知识生成
基于DCO与FBO之间的相似性,采用本体映射技术可以实现FBO中部分设计知识的产生。应用本体映射技术时,首先需要建立DCO与FBO中概念之间的对应关系,如DCO中的控制器(Controller)与FBO中的基本功能块(BasicFB)具有对应关系;之后,基于该对应关系,采用表示及声明本体映射语言(EDOAL)将映射关系定义为计算机可理解的映射规则;通过映射引擎,可以将EDOAL映射规则转化为SPARQL语句,通过执行检索语句,可以自动提取并产生FBO中的相关知识。
DCO与FBO的差异部分主要由IEC 61499功能块的执行控制图(ECC)的事件驱动执行语义所造成的。执行控制图(ECC)采用异步数据传输机制在功能之间收发数据,即当与数据端口相关的事件端口收到或发出相应事件时,该数据端口上的数据才能被读取或写入。然而,DCO中并没有事件这一概念,其数据传输也与事件的发生无关。这一问题可以通过为DCO中控制器之间的数据传输添加相应的事件以及事件端口来解决。
(3)导出IEC 61499软件设计模型
由于FBO与IEC 61499模型具有映射关系,当FBO中的描述平台相关控制软件设计的知识被提取完全后,可以基于模型转换技术将FBO本体实例自动转换生成IEC 61499模型。以该模型为基础,软件设计人员可以在其上进一步开展软件详细设计与开发。同时,由于IEC 61499建模平台同时支持对模型的仿真,该模型也可以做为模型验证的基础,对控制软件行为的正确性进行仿真。
Claims (4)
1.一种基于本体的控制软件模型的自动生成方法,其特征在于,所述自动生成方法包括以下步骤:
(1)基于系统建模语言SysML扩展包,构建系统设计模型并进行语义强化;
所述构建系统设计模型并进行语义强化的方法包括:
(1-1)对SysML进行扩展,形成面向自动化加工系统建模的SysML-MF扩展包,并采用SysML-MF扩展包构建具有自动化加工语义的系统设计模型;
(1-2)基于SysML-MF扩展包,建立加工本体-MFO本体;
(1-3)将具有自动化加工语义的系统设计模型导入为本体知识库中的MFO本体实例;
(1-4)对MFO本体实例描述的系统设计模型的系统设计知识的语义正确性进行验证,实现对系统设计模型的语义强化;
(2)基于系统设计模型的系统设计知识进行分布式控制软件自动设计,生成平台无关软件设计;
所述生成平台无关软件设计的方法包括:
(2-1)定义描述分布式控制软件设计的分布式控制本体-DCO本体;
(2-2)基于DCO本体与MFO本体之间的知识关联,开展自动设计过程,自动生成平台无关控制软件设计;
(3)基于本体映射,将平台无关软件设计自动转换生成平台相关控制软件设计并导出控制软件模型;
将平台无关软件设计自动转换生成基于IEC 61499的控制软件设计并导出基于IEC61499的控制软件模型;所述将平台无关软件设计自动转换生成基于IEC 61499的控制软件设计的方法包括:
(3-1)基于IEC 61499功能块定义功能块本体-FBO本体,并比较FBO本体与DCO本体的异同;
(3-2)基于本体映射,实现FBO本体的设计知识生成;
(3-3)FBO本体和基于IEC 61499的控制软件模型具有映射关系,利用模型转换技术将FBO本体实例自动转换成基于IEC 61499的控制软件模型。
2.根据权利要求1所述的基于本体的控制软件模型的自动生成方法,其特征在于,在步骤(1-1)中,所述SysML-MF扩展包中采用模块Block的版型对自动化加工系统中各种加工资源进行描述,采用不透明动作OpaqueAction的版型对自动化加工系统中各种操作进行描述。
3.根据权利要求1所述的基于本体的控制软件模型的自动生成方法,其特征在于,在步骤(1-2)中,所述MFO本体与SysML-MF扩展包之间具有映射关系,所述MFO本体中的概念通过公理形式化。
4.根据权利要求1所述的基于本体的控制软件模型的自动生成方法,其特征在于,在步骤(2-2)中,所述自动设计过程包括:
(2-2-1)将自动加工系统中的加工资源分组并分配相应控制器以组成控制闭环,从而识别控制器的结构;
(2-2-2)根据自动加工系统中加工资源的分配情况,将加工资源所实现的加工操作分配给相应的控制闭环;
(2-2-3)根据加工操作的分配情况,识别控制器之间的数据与物理交互,从而形成整个分布式控制应用。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201910458320.4A CN110221815B (zh) | 2019-05-29 | 2019-05-29 | 一种基于本体的控制软件模型的自动生成方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201910458320.4A CN110221815B (zh) | 2019-05-29 | 2019-05-29 | 一种基于本体的控制软件模型的自动生成方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN110221815A CN110221815A (zh) | 2019-09-10 |
CN110221815B true CN110221815B (zh) | 2020-12-01 |
Family
ID=67818446
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201910458320.4A Active CN110221815B (zh) | 2019-05-29 | 2019-05-29 | 一种基于本体的控制软件模型的自动生成方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN110221815B (zh) |
Families Citing this family (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN113031526A (zh) * | 2019-12-24 | 2021-06-25 | 沈阳智能机器人创新中心有限公司 | 基于4diac的分布式多轴运动控制系统实现方法 |
CN112068805B (zh) * | 2020-09-02 | 2024-05-03 | 中国航空无线电电子研究所 | 一种需求开发方法 |
CN113064579B (zh) * | 2021-03-24 | 2022-05-17 | 浙江大学 | 一种基于异构语言信息的系统设计方法 |
CN112988124B (zh) * | 2021-05-10 | 2021-07-30 | 湖南高至科技有限公司 | 多视图平台无关模型系统 |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102243677A (zh) * | 2011-07-18 | 2011-11-16 | 浙江大学 | 基于SysML驱动的产品详细设计模型自动生成方法 |
US20160188752A1 (en) * | 2014-12-24 | 2016-06-30 | International Business Machines Corporation | Defining reusable metrics for architectural optimization |
CN105893668A (zh) * | 2016-03-30 | 2016-08-24 | 浙江大学 | 一种基于流语义的物料形态变化功能分解方法 |
-
2019
- 2019-05-29 CN CN201910458320.4A patent/CN110221815B/zh active Active
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102243677A (zh) * | 2011-07-18 | 2011-11-16 | 浙江大学 | 基于SysML驱动的产品详细设计模型自动生成方法 |
US20160188752A1 (en) * | 2014-12-24 | 2016-06-30 | International Business Machines Corporation | Defining reusable metrics for architectural optimization |
CN105893668A (zh) * | 2016-03-30 | 2016-08-24 | 浙江大学 | 一种基于流语义的物料形态变化功能分解方法 |
Also Published As
Publication number | Publication date |
---|---|
CN110221815A (zh) | 2019-09-10 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN110221815B (zh) | 一种基于本体的控制软件模型的自动生成方法 | |
Saldivar et al. | Industry 4.0 with cyber-physical integration: A design and manufacture perspective | |
Forster et al. | Verification of business process quality constraints based on visual process patterns | |
JP5475996B2 (ja) | モデル化およびシミュレーション方法 | |
CN107341294B (zh) | 基于Modelica语言的航天器信息系统建模仿真方法 | |
CN111813814A (zh) | 一种支持多种机器学习框架的通用模型管理方法和装置 | |
Jurasky et al. | Transformation of semantic knowledge into simulation-based decision support | |
Kamburjan et al. | Knowledge structures over simulation units | |
Cansell et al. | Predicate diagrams for the verification of reactive systems | |
CN116909543A (zh) | 基于微服务架构的ot域工业组件建模及其代码生成方法 | |
CN115469860B (zh) | 基于指令集的需求到软件领域模型的自动生成方法及系统 | |
D'Ambrogio et al. | A Model Transformation Approach for the Development of HLA-based Distributed Simulation Systems. | |
CN115421940A (zh) | 一种基于共享内存技术的多源异构模型白盒集成方法 | |
Horváth et al. | Hardware-software allocation specification of ima systems for early simulation | |
CN113204409A (zh) | 一种基于s2ml的安全攸关系统建模方法 | |
Yoong et al. | Combining iec 61499 model-based design with component-based architecture for robotics | |
CN105975695B (zh) | 不确定性环境下ThingML模型的量化分析方法 | |
Clements et al. | Discovering a system modernization decision framework: a case study in migrating to distributed object technology | |
Amar et al. | Knowledge driven approach to auto-generate digital twins for industrial plants | |
Mengist | Methods and Tools for Efficient Model-Based Development of Cyber-Physical Systems with Emphasis on Model and Tool Integration | |
Norhidayah et al. | Development of virtual assembly layout with modeling languages approach and Simulation using Delmia Quest | |
Taktak et al. | A Computer-assisted Performance Analysis and Optimization (CPAO) of Manufacturing Systems based on ARENA® Software | |
Isazadeh et al. | A new formalism for mathematical description and verification of component-based systems | |
Van Tendeloo | A foundation for multi-paradigm modelling | |
Wunck | Implementation of mobile event monitoring agents for manufacturing execution and intelligence systems using a domain specific language |
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 |