[发明专利]基于Modelica状态机的建模方法、装置、电子设备和存储介质

权利要求书

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文件对应的模型；其中，所述转移线包括转移线段和限制信息。