CN116339708A - 基于Modelica状态机的建模方法、装置、电子设备和存储介质 - Google Patents

Abstract

本发明实施例公开了一种基于Modelica状态机的建模方法、装置、电子设备和存储介质。该方法包括：接收用户发送的Modelica文件；对Modelica文件中的注解信息进行分析，得到Modelica文件的分析结果；基于Modelica文件的分析结果生成状态图元；并将状态图元发送至用户；接收用户基于状态图元发送的转移线，并基于转移线和状态图元生成Modelica文件对应的模型；其中，转移线包括转移线段和限制信息。本发明实施例的方法，定义了基于Modelica语法的状态机文本，通过解析Modelica文本提取分析结果再生成图形图元，通过状态图元和转移线生成Modelica模型，实现了Modelica文本到图形的转换。

Description

基于Modelica状态机的建模方法、装置、电子设备和存储介质

技术领域

本发明实施例涉及软件工程领域，尤其涉及一种基于Modelica状态机的建模方法、装置、电子设备和存储介质。

背景技术

Modelica是一种开放、面向对象、基于方程的计算机语言，也是一种面向设计工程师的业务描述语言，可以跨越不同领域，方便地实现复杂物理系统的建模。Modelica3.5语义规范推出了状态机相关语义，能够有力地支撑由状态和转移线组成的模型，使得模型可以应用在系统工程中。

现阶段的基于Modelica的多领域统一建模服务中，可以基于Modelica状态机进行面向对象的建模。但是现阶段的方法不能基于Modelica状态机进行图形化建模，导致建模过程操作复杂，并且建模效果差，降低了用户体验。

发明内容

本发明提供一种基于Modelica状态机的建模方法、装置、电子设备和存储介质，能够根据用户自定义的Modelica文件，实现基于Modelica状态机的图形化建模，使得用户可以简便快速的完成建模，从而提高用户体验。

第一方面，本发明实施例提供了一种基于Modelica状态机的建模方法，所述方法包括：

接收用户发送的Modelica文件；

对所述Modelica文件中的注解信息进行分析，得到所述Modelica文件的分析结果；

基于所述Modelica文件的分析结果生成状态图元，并将所述状态图元发送至所述用户；

接收所述用户基于所述状态图元发送的转移线，并基于所述转移线和所述状态图元生成图形图元；其中，所述转移线包括转移线段和限制信息；

基于所述图形图元生成所述Modelica文件对应的模型。

第二方面，本发明实施例还提供了一种基于Modelica的建模装置，所述装置包括：

第一接收模块，用于接收用户发送的Modelica文件；

分析模块，用于对所述Modelica文件中的注解信息进行分析，得到所述Modelica文件的分析结果；

第一生成模块，用于基于所述Modelica文件的分析结果生成状态图元；并将所述状态图元发送至所述用户；

第二接接收模块，用于接收所述用户基于所述状态图元发送的转移线，并基于所述转移线和所述状态图元生成图形图元；其中，所述转移线包括转移线段和限制信息；

第二生成模块，用于基于所述图形图元生成所述Modelica文件对应的模型；其中，所述转移线包括转移线段和限制信息。

第三方面，本发明实施例还提供了一种电子设备，所述电子设备包括：

一个或多个处理器；

存储器，用于存储一个或多个程序；

当所述一个或多个程序被所述一个或多个处理器执行，使得所述一个或多个处理器实现如本发明任意实施例提供的基于Modelica状态机的建模方法。

第四方面，本发明实施例还提供了一种计算机可读存储介质，其上存储有计算机程序，该程序被处理器执行时实现如本发明任意实施例提供的基于Modelica状态机的建模方法。

本发明实施例中，接收用户发送的Modelica文件；对Modelica文件中的注解信息进行分析，得到Modelica文件的分析结果；基于Modelica文件的分析结果生成状态图元；并将状态图元发送至用户；接收用户基于状态图元发送的转移线，并基于转移线和状态图元生成图形图元；其中，转移线包括转移线段和限制信息；基于图形图元生成Modelica文件对应的模型。即本发明实施例的方法，可以根据用户定义的Modelica文件自动生成状态图元，使得用户可以直接在显示界面上定义状态图元的转移线，为用户提供了快速、简便地基于Modelica状态机的图形化建模方法，提高用户体验。

附图说明

图1是本发明实施例提供的基于Modelica状态机的建模方法的第一流程图；

图2是本发明实施例提供的状态图元与转移线的示意图；

图3是本发明实施例提供的基于Modelica状态机的建模方法的第二流程图；

图4是本发明实施例提供的一个状态图元的示意图；

图5是本发明实施例提供的非初始化状态下的状态图元的示意图；

图6是本发明实施例提供的图形图元的示意图；

图7是本发明实施例提供的基于Modelica状态机的建模装置的结构示意图；

图8是本发明实施例提供的电子设备的一个结构示意图。

具体实施方式

下面结合附图和实施例对本发明作进一步的详细说明。可以理解的是，此处所描述的具体实施例仅仅用于解释本发明，而非对本发明的限定。另外还需要说明的是，为了便于描述，附图中仅示出了与本发明相关的部分而非全部结构。

图1是本发明实施例提供的基于Modelica状态机的建模方法的第一流程图，本实施例的方法能够根据用户自定义的Modelica文件，实现基于Modelica状态机的图形化建模，使得用户可以简便快速的完成建模，从而提高用户体验。该方法可以由本发明实施例中的基于Modelica状态机的建模装置来执行，该装置可集成在电子设备中，所述电子设备可以是服务器，该方法可以采用软件和/或硬件的方式实现。本实施例提供的基于Modelica的建模方法具体包括如下步骤：

步骤101、接收用户发送的Modelica文件。

其中，Modelica文件是用户根据自身需求创建的文本文件。本方案中，用户发送的Modelica文件是基于Modelica状态机生成的。Modelica状态机是一种对事物运行规则的一种抽象方法，也是一种进行对象行为建模的工具。Modelica状态机具有使用性强、可读和易理解的特点，可以将复杂的逻辑问题变得清晰与简单。Modelica文件中的语句遵循Modelica状态机的标准语义。

在一种可选的实施方式中，用户可以预先创建好Modelica文件，再将预先创建好的Modelica文件上传至服务器。当然，用户也可以通过服务器的显示屏编辑、创建Modelica状态机语句，并将创建好的Modelica文件发送给服务器，服务器可以接收到用户发送的Modelica文件。

步骤102、对Modelica文件中的注解信息进行分析，得到Modelica文件的分析结果。

其中，Modelica文件的注解信息包括Modelica语句的关键字和注释信息等。Modelica文件中的注解信息中定义了利用Modelica状态机建立可视化模型的基础信息，基础信息中包括Modelica图形元素和图形属性。图形元素包括：组件图像、常规图像(矩形、椭圆、多段线和多边形)、文字、图片、接口和转移线等。图形属性包括：位置、大小、填充颜色、边框颜色、边框粗细、字体、字号和透明度等。

在一种可选的实施方式中，在获取到Modelica文件后，遍历Modelica文件中的注解信息，提取出Modelica文件中用于表示建立可视化模型的基础信息的注解信息，对其注解信息所在的语句进行分析，得到其语句对应的建立可视化模型的基础信息。例如，Modelica状态机使用annotation注解语法表达图形图标，则在遍历Modelica文件时，对带有annotation的语句进行分析，得到表示图形的语句为annotation(Diagram(……))；表示图标的语句为annotation(Icon(……))，对其语句中定义的图形和图标的具体参数信息进行分析，得到用户自定义的图形和图表的属性信息。

步骤103、基于Modelica文件的分析结果生成状态图元，并将状态图元发送至用户。

其中，状态图元是Modelica状态机模型中的一个组件，状态图元包括文字图元，文字图元包括状态名称和状态方程。状态图元可以用图形的方式直观的为用户展示出状态名称和状态方程。将状态图元展示给用户前需要确定状态图元的显示内容和显示形式，再按照状态图元的显示形式将状态图元的显示内容显示出来。

在一种可选的实施方式中，在对Modelica文件中的注解信息进行分析后，基于其注解信息的分析结果生成Modelica文件对应的图形数据，并将该图形数据存储起来；再根据图形数据确定状态图元的文字图元，将状态图元的状态名称和状态方程确定为状态图元的显示内容。在确定出状态图元的显示内容后，将显示内容中的文字图元提取出来，根据文字图元中的状态方程和状态名称确定状态图元的显示位置。进一步地，根据文字图元中文字内容量的大小确定出文字图元所占用的尺寸，基于状态图元的显示位置和文字图元的尺寸绘制状态图元的边界线。在确定了状态图元的边界线和显示位置后，基于状态图元的显示位置和状态图元的边界线确定状态图元的显示形式，最后按照状态图元的显示形式为用户展示状态图元的显示内容。

步骤104、接收用户基于状态图元发送的转移线，并基于转移线和状态图元生成图形图元。

其中，转移线包括转移线段和限制信息。转移线段是将状态图元连接起来的线段，限制信息是两个连接起来的状态图元的状态转换条件。转移线可以实现模型中从一个状态转换到另一个状态的过程。多个状态图元和其之间的转移线可以构成图形图元，多个图形图元可以组成Modelica状态机模型。在一种可选的实施方式中，用户可以直接在显示界面中展示的状态图元之间绘制转移线，服务器可以接收到用户通过显示界面绘制的转移线。或者，用户可以用转移语句将转移线写入Modelica文件中，将带有转移语句的Modelica文件发送给服务器。

示例性的，转移语句中包括源状态、目的状态、条件等属性，转移语句为：transitio(from，to，condition，immediate＝imm，reset＝reset，synchronize＝synch，priority＝prio)。服务器在接收到用户发送的Modelica文件后，解析到“transition”时，可以从transition对应的转移语句中或取到转移线的属性，并根据转移线的属性自动绘制转移线。

或者，在Modelica文件中定义转移线的转移设置语句(状态图元的状态)，服务器对该语句进行解析后可以支持用户直接通过显示界面，从状态图元的边缘拖出转移线。示例性的，图2是本发明实施例提供的状态图元与转移线的示意图。图2中包括2个状态图元，状态图元1和状态图元2为状态图元的名称，每个状态图都带有状态方程，例如：“x＝previous(x)-1”为状态方程，带箭头的线条为两个状态图元之间的转移线。

步骤105、基于所述图形图元生成所述Modelica文件对应的模型。

其中，Modelica文件对应的模型可以是Modelica状态机模型，modelica状态机模型可以由多个图形图元构成，图形图元中包括状态图元和转移线，状态图元中包括文字图元。例如，状态图元1和状态图元2之间由一条带有限制信息的转移线连接，则状态图元1和状态图元2构成一个图形图元，多个图形图元可以组成Modelica状态机模型。

本实施例的技术方案中，接收用户发送的Modelica文件；对Modelica文件中的注解信息进行分析，得到Modelica文件的分析结果；基于Modelica文件的分析结果生成状态图元；并将状态图元发送至用户；接收用户基于状态图元发送的转移线，并基于转移线和状态图元生成图形图元；其中，转移线包括转移线段和限制信息；基于图形图元生成Modelica文件对应的模型。本实施例的技术方案中，可以根据用户定义的Modelica文件自动生成状态图元，使得用户可以直接在显示界面上定义状态图元的转移线，为用户提供了快速、简便地基于Modelica状态机的图形化建模方法，提高用户体验。

图3是本发明实施例提供的基于Modelica状态机的建模方法的第二流程图，如图3所示，该方法主要包括如下步骤：

步骤301、接收用户发送的Modelica文件。

步骤302、对Modelica文件中的注解信息进行分析，得到Modelica文件的分析结果。

步骤303、基于Modelica文件的分析结果确定状态图元的显示内容。

其中，状态图元的显示内容包括文字图元，文字图元包括状态名称和状态方程。本方案实施例中，可选的，基于Modelica文件的分析结果确定状态图元的显示内容，包括如下步骤A1-步骤A3：

步骤A1：基于Modelica文件的分析结果生成Modelica文件对应的图形数据。

其中，图形数据是服务器对Modelica文件的注解信息进行分析后，得到的所有的建模基础信息，图形数据也是Modelica文件与可视化模型的中间数据。

服务器在获取到Modelica文件后，对Modelica文件中的注解信息进行分析，可以得到用户自定义的关于可视化模型的所有属性信息。例如状态图元的状态信息、状态名称、状态方程、状态图元支持的修改方式、状态方式的编辑方式、状态方程和状态名称的字体、颜色以及字号大小等各个信息。服务器根据Modelica文件的注解信息确定出这些图形数据后，将图形数据独立存储服务器的内存中。

步骤A2：基于图形数据确定状态图元的文字图元。

其中，文字图元包括状态图元的状态名称和状态图元的状态方程。具体地，服务器将图形数据存储在内存后，对图形数据进行分析和筛选，筛选出图形数据中与状态图元的状态名称和状态方程相关的数据，并根据与状态图元的状态名称和状态方程的相关图形数据确定状态图元的文字图元。

示例性的，Modelica状态机中用“State(stateTitle，stateText)”的语句表示状态名称和状态方程，用％name和％equation表示状态名称和状态方程在图形界面显示方式和编辑的对象。服务器接收到的Modelica文件中的注解信息包括：annotation(Diagram(State(stateTitle＝Text(textString＝“％name”，……)，stateText＝Text(textString＝“％equation”，……))))；服务器对该语句进行分析，得出状态方程和状态名称在显示界面上的显示方式和编辑对象，再根据状态方程和状态名称在显示界面上的显示方式和编辑对象确定状态图元对应的文字图元。

步骤A3：基于文字图元确定状态图元的显示内容。

其中，状态图元的显示内容包括文字图元，即状态图元的显示内容包括状态名称和状态方程。

示例性的，Modelica文件中的注解信息包括“equationx＝previous(x)-1y＝previous(y)+1；Statetopstates”。服务器对“equation”语句进行解析后，可以确定状态方程为“x＝previous(x)-1；y＝previous(y)+1”，对“State”语句进行解析后，可以确定状态名称为“topstates”。进一步地，可以确定该状态图元对应的显示内容为“x＝previous(x)-1y＝previous(y)+1”和“topstates”。

本方案中，一个状态图元中可以包括多个子状态图元。具体地，子状态图元对应的注解信息为“showDiagram”，服务器可以获取到“showDiagram”对应的子状态语句，为状态图元生成子状态图元。

上述步骤中，服务器可以根据Modelica文件的分析结果直接确定出状态图元的显示内容，提高了Modelica状态机建模的效率，节约人力资源的同时提高了用户体验。

步骤304、基于状态图元的显示内容确定状态图元的显示形式。

其中，状态图元的显示形式规定了如何为用户展示状态图元的显示内容，状态图元的显示形式包括状态图元的显示位置和状态图元的边界线。本方案实施例中，可选的，基于状态图元的显示内容确定状态图元的显示形式，包括如下步骤B1-步骤B3：

步骤B1：确定显示内容的尺寸，并基于显示内容的尺寸绘制状态图元的边界线。

其中，显示内容包括状态图元的状态方程和状态名称。服务器可以从图形数据中确定出状态方程和状态名称的文本长度、字体和字号等相关信息。进一步地，根据状态方程和状态名称的相关信息确定出显示内容的尺寸，根据显示内容的尺寸绘制状态图元的边界线。

在实际应用中，由于状态图元之间信息是共享的，并且用户可以通过显示界面对状态图元的显示内容进行编辑和修改。因此，服务器根据显示内容的尺寸绘制状出的态图元的边界线的尺寸是大于显示内容的尺寸的。状态图元的边界线一般可以组成一个圆角的矩形，将状态方程和状态名称在圆角矩形内展出给用户。

步骤B2：在状态图元的显示内容中提取出文字图元，并根据文字图元确定状态图元的显示位置。

其中，显示内容包括子状态图元和文字图元，文字图元包括状态图元的状态名称和状态方程。状态图元的显示位置包括状态名称的显示位置和状态方程的显示位置。具体地，在服务器根据图形数据确定状态图元的显示内容后，将状态图元的显示内容中的文字图元提取出来，根据图形数据中文字图元的相关信息确定出状态名称和状态方程的显示位置。当状态图元中包括子状态图元是，服务器可以根据图形数据中子状态图元的相关信息确定出子状态图元的显示位置。

步骤B3：基于状态图元的显示位置和状态图元的边界线确定状态图元的显示形式。

其中，状态图元的显示形式中规定了如何为用户展示状态图元。根据状态图元的显示位置和状态图元的边界线可以确定状态图元的显示形式。

在一种可选的实施方式中，服务器可以根据状态名称和状态方程的显示位置绘制状态名称和状态方程之间的边界线，然后按照状态图元的显示位置，依据状态图元的边界线为用户展示状态名称和状态方程。示例性的，图4是本发明实施例提供的一个状态图元的示意图。如图4所示，文字图元包括状态方程和状态名称(状态图元1)。子状态图元的子状态名称为子状态图元1，子状态图元中还包括子状态图元的状态方程。服务器对图形数据进行分析可知，状态方程的显示位置为状态图元的下方，子状态图元的显示位置为状态方程的下方，状态名称的显示位置为状态图元的顶部。状态方程和状态名称之间有一条边界线。

上述步骤中，服务器可以根据状态图元的显示内容确定状态图元的显示形式，提高了Modelica状态机建模的效率，准确直观为用户展示出Modelica文件对应的模型，满足用户需求。

步骤305、基于状态图元的显示内容和状态图元的显示形式生成状态图元。

具体地，在服务器确定了状态图元后，可以将状态图元发送至显示界面，以使得用户通过显示界面接收到状态图元。

步骤306、在Modelica文件中提取出状态语句，并根据状态语句确定状态图元的当前状态。

其中，状态图元的状态包括初始化状态和非初始化状态。状态语句是Modelica文件中规定状态图元的状态的语句。状态语句对应的注解信息的标志为“initialState”。具体地，服务器在接收到Modelica文件后，对Modelica文件进行分析，获取到带有“initialState”的状态语句，并根据该状态语句的具体内容确定出状态图元的当前状态为初始化状态或非初始化状态。

步骤307、确定状态图元的当前状态对应的状态显示方式，并按照状态显示方式在显示界面上展示在当前状态下的状态图元。

其中，用户可以在Modelica文件中预先设置状态图元的状态显示方式。若用户没有在Modelica中规定状态图元的状态显示方式，则服务器可以按照默认的状态显示方式在显示界面上展示房钱状态下的状态图元。

示例性的，服务器确定出状态图元的状态显示方式为：当状态图元的状态为初始化状态时，在状态名称前添加一个实心的圆圈；当状态图元的状态为非初始化状态时，在状态图元的名称前添加一个空心的圆圈。图5是本发明实施例提供的非初始化状态下的状态图元的示意图。如图5所示，状态图元1为状态图元的状态名称，状态名称前有一个空心的圆圈，表示该状态图元的当前状态为非初始化状态。

步骤308、接收用户基于状态图元发送的转移线，并基于转移线和状态图元生成图形图元。

其中，转移线包括转移线段和限制信息。示例性的，图6是本发明实施例提供的图形图元的示意图。如图6所示，该图形图元包括两个状态图元，分别是状态图元1和状态图元2。状态图元1包括状态方程和子状态图元1，子状态图元1包括子状态图元的状态名称和子状态图元的状态方程。状态图元2和状态图元1之间有一条转移线，转移线中包括限制信息，表示当状态方程满足显示信息时，模型会从状态图元1转换到状态图元2。状态图元1和子状态图元1前面的黑色实心圆圈表示状态图元1和子状态图元1的状态为初始化状态。状态图元2前面的圆圈表示状态图元2的状态为非初始化状态。

步骤309、基于图形图元生成Modelica文件对应的模型。

在一种可选的实施方式中，在为用户展示了Modelica文件对应的模型后，用户可以对模型中的状态图元进行修改。本方案中，对状态图元进行修改包括如下步骤C1-步骤C3：

步骤C1：接收用户通过显示界面发送的第一修改指令。

其中，第一修改指令用于修改状态图元。在一种可选的实施方式中，当用户需要对状态图元进行修改时，用户可以直接通过显示界面选中需要修改的状态图元，服务器可以为用户提供修改界面，用户可以直接在修改界面上修改状态图元。

示例性的，当用户需要对状态图元的状态名称进行修改时，用户可以双击状态图元的状态名称，显示界面会为用户展示一个文本输入框，用户可以将修改后的状态名称输入进文本输入框，完成对状态名称的修改。当然，用户也可以直接对Modelica文件进行修改，重新定义状态名称，并将修改后的Modelica文件发送至服务器，使得服务器根据修改后的Modelica文件对状态名称进行修改。

步骤C2：响应于第一修改指令对图形数据进行修改。

具体地，当用户通过显示界面对状态图元进行修改后，为了对修改后的状态图元进行存储，服务器可以根据第一修改指令对图形数据进行同步修改，实现存储修改后的状态图元。

步骤C3：基于修改后的图形数据对Modelica文件进行修改。

具体地，当服务器根据第一修改指令对图形数据进行同步修改后，可以根据修改后的图形数据同步对Modelica文件进行修改，并且用户可以从服务器中导出修改后的Modelica文件。

在一种可选的实施方式中，在为用户展示了Modelica文件对应的模型后，用户可以对模型中的转移线的限制信息进行修改。本方案中，对转移线的限制信息进行修改包括如下步骤D1-步骤D3：

步骤D1：接收用户通过显示界面发送的第二修改指令。

其中，第二修改指令用于修改转移线的限制信息。在一种可选的实施方式中，当用户需要对转移线的限制信息进行修改时，用户可以直接通过显示界面选中需要修改的转移线，服务器可以为用户提供修改界面，用户可以直接在修改界面上修改转移线的限制信息。

示例性的，用户需要对转移线的限制信息进行修改，用户可以双击转移线的限制信息，显示界面会为用户展示一个文本输入框，用户可以将修改后的转移线的限制信息输入进文本输入框，完成对转移线的限制信息的修改。当然，用户也可以直接对Modelica文件进行修改，重新定义转移线的限制信息，并将修改后的Modelica文件发送至服务器，使得服务器根据修改后的Modelica文件对转移线的限制信息进行修改。

步骤D2：响应于第二修改指令对转移线的限制信息进行修改。

具体地，当用户通过显示界面对转移线的限制信息进行修改后，为了对修改后的转移线进行存储，服务器可以根据第二修改指令对图形数据进行同步修改，实现存储修改后的转移线的限制信息。

步骤D3：基于修改后的转移线对Modelica文件进行修改。

具体地，当服务器根据第二修改指令对图形数据进行同步修改后，可以根据修改后的图形数据同步对Modelica文件进行修改，并且用户可以从服务器中导出修改后的Modelica文件。

通过上述步骤，用户可以通过显示界面直接对建立好的Modelica状态机模型进行修改和编辑，并且可以获取到修改后的Modelica文件，提高了模型修改的效率。

本发明实施例提供的基于Modelica状态机的建模方法，可以接收用户发送的Modelica文件。对Modelica文件中的注解信息进行分析，得到Modelica文件的分析结果。基于Modelica文件的分析结果确定状态图元的显示内容；基于状态图元的显示内容确定状态图元的显示形式。基于状态图元的显示内容和状态图元的显示形式生成状态图元。在Modelica文件中提取出状态语句，并根据状态语句确定状态图元的当前状态；其中，状态图元的状态包括初始化状态和非初始化状态；确定状态图元的当前状态对应的状态显示方式，并按照状态显示方式在显示界面上展示在当前状态下的状态图元。接收用户基于状态图元发送的转移线，并基于转移线和状态图元生成图形图元；其中，转移线包括转移线段和限制信息；基于图形图元生成Modelica文件对应的模型。本实施例的技术方案可以根据用户定义的Modelica文件自动生成状态图元，使得用户可以直接在显示界面上定义状态图元的转移线，为用户提供了快速、简便地基于Modelica状态机的图形化建模方法，提高用户体验。

图7是本发明实施例提供的基于Modelica的建模装置的结构示意图。本发明实施例提供了一种基于Modelica的建模装置，所述装置包括：

第一接收模块701，用于接收用户发送的Modelica文件；

分析模块702，用于对所述Modelica文件中的注解信息进行分析，得到所述Modelica文件的分析结果；

第一生成模块703，用于基于所述Modelica文件的分析结果生成状态图元；并将所述状态图元发送至所述用户；

第二接接收模块704，用于接收所述用户基于所述状态图元发送的转移线，并基于所述转移线和所述状态图元生成图形图元；其中，所述转移线包括转移线段和限制信息；

第二生成模块705，用于基于所述图形图元生成所述Modelica文件对应的模型；其中，所述转移线包括转移线段和限制信息。

可选的，第一生成模块703具体用于：基于所述Modelica文件的分析结果确定所述状态图元的显示内容；

基于所述状态图元的显示内容确定所述状态图元的显示形式；

基于所述状态图元的显示内容和所述状态图元的显示形式生成所述状态图元。

可选的，第一生成模块703还用于：基于所述Modelica文件的分析结果生成所述Modelica文件对应的图形数据；

基于所述图形数据确定所述状态图元的文字图元；其中，所述文字图元包括所述状态图元的状态名称和所述状态图元的状态方程；

基于所述文字图元确定所述状态图元的显示内容。

可选的，第一生成模块703还用于：确定所述显示内容的尺寸，并基于所述显示内容的尺寸绘制所述状态图元的边界线；

在所述状态图元的显示内容中提取出文字图元，并根据所述文字图元确定所述状态图元的显示位置；

基于所述状态图元的显示位置和所述状态图元的边界线确定所述状态图元的显示形式。

可选的，第一生成模块703还用于：在所述Modelica文件中提取出状态语句，并根据所述状态语句确定所述状态图元的当前状态；其中，所述状态图元的状态包括初始化状态和非初始化状态；

确定所述状态图元的当前状态对应的状态显示方式，并按照所述状态显示方式在所述显示界面上展示在所述当前状态下的状态图元。

可选的，第二接收模块704具体用于：接收用户通过所述显示界面发送的第一修改指令；其中，所述第一修改指令用于修改所述状态图元；

响应于所述第一修改指令对所述图形数据进行修改；

基于修改后的图形数据对所述Modelica文件进行修改。

可选的，第二接收模块704还用于：接收用户通过所述显示界面发送的第二修改指令；其中，所述第二修改指令用于修改所述转移线的限制信息；

响应于所述第二修改指令对所述转移线的限制信息进行修改；

基于修改后的转移线对所述Modelica文件进行修改。

本发明实施例所提供的基于Modelica的建模装置可执行本发明任意实施例所提供的基于Modelica的建模方法，具备执行方法相应的功能模块和有益效果。

图8是本发明实施例提供的电子设备的一个结构示意图，参考图8，其示出了适于用来实现本发明实施例的电子设备的计算机系统12的结构示意图。图8示出的电子设备仅仅是一个示例，不应对本发明实施例的功能和使用范围带来任何限制。电子设备12的组件可以包括但不限于：一个或者多个处理器或者处理单元16，系统存储器28，连接不同系统组件(包括系统存储器28和处理单元16)的总线18。

总线18表示几类总线结构中的一种或多种，包括存储器总线或者存储器控制器，外围总线，图形加速端口，处理器或者使用多种总线结构中的任意总线结构的局域总线。举例来说，这些体系结构包括但不限于工业标准体系结构(ISA)总线，微通道体系结构(MAC)总线，增强型ISA总线、视频电子标准协会(VESA)局域总线以及外围组件互连(PCI)总线。

电子设备12典型地包括多种计算机系统可读介质。这些介质可以是任何能够被电子设备12访问的可用介质，包括易失性和非易失性介质，可移动的和不可移动的介质。

系统存储器28可以包括易失性存储器形式的计算机系统可读介质，例如随机存取存储器(RAM)30和/或高速缓存存储器32。电子设备12可以进一步包括其它可移动/不可移动的、易失性/非易失性计算机系统存储介质。仅作为举例，存储系统34可以用于读写不可移动的、非易失性磁介质(图8未显示，通常称为“硬盘驱动器”)。尽管图8中未示出，可以提供用于对可移动非易失性磁盘(例如“软盘”)读写的磁盘驱动器，以及对可移动非易失性光盘(例如CD-ROM,DVD-ROM或者其它光介质)读写的光盘驱动器。在这些情况下，每个驱动器可以通过一个或者多个数据介质接口与总线18相连。存储器28可以包括至少一个程序产品，该程序产品具有一组(例如至少一个)程序模块，这些程序模块被配置以执行本发明各实施例的功能。

具有一组(至少一个)程序模块42的程序/实用工具40，可以存储在例如存储器28中，这样的程序模块42包括——但不限于——操作系统、一个或者多个应用程序、其它程序模块以及程序数据，这些示例中的每一个或某种组合中可能包括网络环境的实现。程序模块42通常执行本发明所描述的实施例中的功能和/或方法。

电子设备12也可以与一个或多个外部设备14(例如键盘、指向设备、显示器24等)通信，还可与一个或者多个使得用户能与该电子设备12交互的设备通信，和/或与使得该电子设备12能与一个或多个其它计算设备进行通信的任何设备(例如网卡，调制解调器等等)通信。这种通信可以通过输入/输出(I/O)接口22进行。另外，本实施例中的电子设备12，显示器24不是作为独立个体存在，而是嵌入镜面中，在显示器24的显示面不予显示时，显示器24的显示面与镜面从视觉上融为一体。并且，电子设备12还可以通过网络适配器20与一个或者多个网络(例如局域网(LAN)，广域网(WAN)和/或公共网络，例如因特网)通信。如图所示，网络适配器20通过总线18与电子设备12的其它模块通信。应当明白，尽管图8中未示出，可以结合电子设备12使用其它硬件和/或软件模块，包括但不限于：微代码、设备驱动器、冗余处理单元、外部磁盘驱动阵列、RAID系统、磁带驱动器以及数据备份存储系统等。

处理单元16通过运行存储在系统存储器28中的程序，从而执行各种功能应用以及基于Modelica的建模，例如实现本发明实施例所提供的一种基于Modelica的建模方法：接收用户发送的Modelica文件；对所述Modelica文件中的注解信息进行分析，得到所述Modelica文件的分析结果；基于所述Modelica文件的分析结果生成状态图元，并将所述状态图元发送至所述用户；接收所述用户基于所述状态图元发送的转移线，并基于所述转移线和所述状态图元生成图形图元；其中，所述转移线包括转移线段和限制信息；基于所述图形图元生成所述Modelica文件对应的模型；其中，所述转移线包括转移线段和限制信息。

本发明实施例提供了一种计算机可读存储介质，其上存储有计算机程序，该程序被处理器执行时实现如本发明所有发明实施例提供的一种基于Modelica的建模方法：接收用户发送的Modelica文件；对所述Modelica文件中的注解信息进行分析，得到所述Modelica文件的分析结果；基于所述Modelica文件的分析结果生成状态图元，并将所述状态图元发送至所述用户；接收所述用户基于所述状态图元发送的转移线，并基于所述转移线和所述状态图元生成图形图元；其中，所述转移线包括转移线段和限制信息；基于所述图形图元生成所述Modelica文件对应的模型；其中，所述转移线包括转移线段和限制信息。计算机可读介质可以是计算机可读信号介质或者计算机可读存储介质。计算机可读存储介质例如可以是但不限于电、磁、光、电磁、红外线、或半导体的系统、装置或器件，或者任意以上的组合。计算机可读存储介质的更具体地例子(非穷举的列表)包括：具有一个或多个导线的电连接、便携式计算机磁盘、硬盘、随机存取存储器(RAM)、只读存储器(ROM)、可擦式可编程只读存储器(EPROM或闪存)、光纤、便携式紧凑磁盘只读存储器(CD-ROM)、光存储器件、磁存储器件、或者上述的任意合适的组合。在本文件中，计算机可读存储介质可以是任何包含或存储程序的有形介质，该程序可以被指令执行系统、装置或者器件使用或者与其结合使用。

计算机可读的信号介质可以包括在基带中或者作为载波一部分传播的数据信号，其中承载了计算机可读的程序代码。这种传播的数据信号可以采用多种形式，包括但不限于电磁信号、光信号或上述的任意合适的组合。计算机可读的信号介质还可以是计算机可读存储介质以外的任何计算机可读介质，该计算机可读介质可以发送、传播或者传输用于由指令执行系统、装置或者器件使用或者与其结合使用的程序。

计算机可读介质上包含的程序代码可以用任何适当的介质传输，包括但不限于无线、电线、光缆、RF等等，或者上述的任意合适的组合。

可以以一种或多种程序设计语言或其组合来编写用于执行本发明操作的计算机程序代码，程序设计语言包括面向对象的程序设计语言，诸如Java、SMalltalk、C++，还包括常规的过程式程序设计语言，诸如“C”语言或类似的程序设计语言。程序代码可以完全地在用户计算机上执行、部分地在用户计算机上执行、作为一个独立的软件包执行、部分在用户计算机上部分在远程计算机上执行、或者完全在远程计算机或服务器上执行。在涉及远程计算机的情形中，远程计算机可以通过任意种类的网络——包括局域网(LAN)或广域网(WAN)—连接到用户计算机，或者，可以连接到外部计算机(例如利用因特网服务提供商来通过因特网连接)。

注意，上述仅为本发明的较佳实施例及所运用技术原理。本领域技术人员会理解，本发明不限于这里的特定实施例，对本领域技术人员来说能够进行各种明显的变化、重新调整和替代而不会脱离本发明的保护范围。因此，虽然通过以上实施例对本发明进行了较为详细的说明，但是本发明不仅仅限于以上实施例，在不脱离本发明构思的情况下，还可以包括更多其他等效实施例，而本发明的范围由所附的权利要求范围决定。

Claims (10)

1.一种基于Modelica状态机的建模方法，其特征在于，所述方法包括：

接收用户发送的Modelica文件；

对所述Modelica文件中的注解信息进行分析，得到所述Modelica文件的分析结果；

基于所述Modelica文件的分析结果生成状态图元，并将所述状态图元发送至所述用户；

接收所述用户基于所述状态图元发送的转移线，并基于所述转移线和所述状态图元生成图形图元；其中，所述转移线包括转移线段和限制信息；

基于所述图形图元生成所述Modelica文件对应的模型。

2.根据权利要求1所述的方法，其特征在于，基于所述Modelica文件的分析结果生成状态图元，包括：

基于所述Modelica文件的分析结果确定所述状态图元的显示内容；

基于所述状态图元的显示内容确定所述状态图元的显示形式；

基于所述状态图元的显示内容和所述状态图元的显示形式生成所述状态图元。

3.根据权利要求2所述的方法，其特征在于，基于所述Modelica文件的分析结果确定所述状态图元的显示内容，包括：

基于所述Modelica文件的分析结果生成所述Modelica文件对应的图形数据；

基于所述图形数据确定所述状态图元的文字图元；其中，所述文字图元包括所述状态图元的状态名称和所述状态图元的状态方程；

基于所述文字图元确定所述状态图元的显示内容。

4.根据权利要求3所述的方法，其特征在于，基于所述状态图元的显示内容确定所述状态图元的显示形式，包括：

确定所述显示内容的尺寸，并基于所述显示内容的尺寸绘制所述状态图元的边界线；

在所述状态图元的显示内容中提取出文字图元，并根据所述文字图元确定所述状态图元的显示位置；

基于所述状态图元的显示位置和所述状态图元的边界线确定所述状态图元的显示形式。

5.根据权利要求1所述的方法，其特征在于，所述方法还包括：

在所述Modelica文件中提取出状态语句，并根据所述状态语句确定所述状态图元的当前状态；其中，所述状态图元的状态包括初始化状态和非初始化状态；

确定所述状态图元的当前状态对应的状态显示方式，并按照所述状态显示方式在所述显示界面上展示在所述当前状态下的状态图元。

6.根据权利要求3所述的方法，其特征在于，所述方法还包括：

接收用户通过所述显示界面发送的第一修改指令；其中，所述第一修改指令用于修改所述状态图元；

响应于所述第一修改指令对所述图形数据进行修改；

基于修改后的图形数据对所述Modelica文件进行修改。

7.根据权利1所述的方法，其特征在于，所述方法还包括：

接收用户通过所述显示界面发送的第二修改指令；其中，所述第二修改指令用于修改所述转移线的限制信息；

响应于所述第二修改指令对所述转移线的限制信息进行修改；

基于修改后的转移线对所述Modelica文件进行修改。

8.一种基于Modelica状态机的建模装置，其特征在于，所述装置包括：

第一接收模块，用于接收用户发送的Modelica文件；

分析模块，用于对所述Modelica文件中的注解信息进行分析，得到所述Modelica文件的分析结果；

第一生成模块，用于基于所述Modelica文件的分析结果生成状态图元；并将所述状态图元发送至所述用户；

第二接收模块，用于接收所述用户基于所述状态图元发送的转移线，并基于所述转移线和所述状态图元生成图形图元；其中，所述转移线包括转移线段和限制信息；

第二生成模块，用于基于所述图形图元生成所述Modelica文件对应的模型；其中，所述转移线包括转移线段和限制信息。

9.一种电子设备，包括存储器、处理器及存储在所述存储器上并可在所述处理器上运行的计算机程序，其特征在于，所述处理器执行所述程序时实现如权利要求1至7中任一所述的基于Modelica状态机的建模方法。

10.一种计算机可读存储介质，其上存储有计算机程序，其特征在于，该程序被处理器执行时实现如权利要求1-7中任一所述的基于Modelica状态机的建模方法。

Images