[发明专利]一种支持复杂系统设计和仿真的统一建模方法

权利要求书

1.一种支持复杂系统设计和仿真的统一建模方法，其特征在于步骤如下：

(1)根据建模需求进行模型层级划分并选取对应的元模型一致的系统图形模型框架及文本模型框架；

(2)根据预设的系统图形模型及文本模型框架建立复杂系统图形形式模型或复杂系统文本形式模型，并通过预设图文转换建模工具实现模型转换；

(3)将复杂系统图形形式模型转换为复杂系统文本形式模型，将各复杂系统文本形式模型通过预设解释器进行解释，根据获取的C++代码于DEVS仿真器环境中进行仿真验证。

2.根据权利要求1所述的一种支持复杂系统设计和仿真的统一建模方法，其特征在于：

所述步骤(1)中，预设模型框架包括：

耦合类模型框架、连续-原子类模型框架、离散-原子类模型框架、连接器类模型框架、函数类模型框架、结构体类模型框架，其中：

耦合类模型框架用于描述复杂系统中由原子模型或其他耦合类模型组件构成的模型；

连续-原子类模型框架用于描述复杂系统中具有连续行为的不可再分模型；

离散-原子类模型框架用于描述复杂系统中具有离散行为的不可再分模型；

连接器类模型框架用于描述耦合类模型的组件间可连接的模型；

函数类模型框架用于描述各类模型中所需实现特定功能的模型；

结构体类模型框架用于描述各类模型中所需复杂数学结构的模型。

3.根据权利要求1所述的一种支持复杂系统设计和仿真的统一建模方法，其特征在于：

所述系统图形模型框架包括：

耦合类图形建模框架、连续-原子类图形建模框架、离散-原子类图形建模框架、连接器类图形建模框架、函数类图形建模框架、结构体类图形建模框架，其中：

耦合类图形建模框架由预设的定义图及连接图组合构成；

连续-原子类图形建模框架由预设的定义图及方程图组合构成；

离散-原子类图形建模框架由预设的定义图及状态机图组合构成；

连接器类图形建模框架由预设的定义图构成；

函数类图形建模框架由预设的定义图及活动图组合构成；

结构体类图形建模框架由预设的定义图构成。

4.根据权利要求1所述的一种支持复杂系统设计和仿真的统一建模方法，其特征在于：

所述文本模型框架包括：

耦合类文本框架、连续-原子类文本建模框架、离散-原子类本建模框架、连接器类文本建模框架、函数类文本建模框架、结构体类文本建模框架，其中：

耦合类文本建模框架由预设的定义区域及连接区域组合构成；

连续-原子类文本建模框架由预设的定义区域及方程区域组合构成；

离散-原子类文本建模框架由预设的定义区域及状态机区域组合构成；

连接器类文本建模框架由预设的定义区域构成；

函数模型类文本建模框架由预设的定义区域及活动区域组合构成；

结构体类文本建模框架由预设的定义区域构成。

5.根据权利要求3所述的一种支持复杂系统设计和仿真的统一建模方法，其特征在于：

所述定义图用于描述系统图形模型框架的组件参数、状态变量以及输入输出端口类型；

所述连接图用于描述耦合类模型的组件间的连接关系；

所述方程图用于描述连续-原子类图形模型中由常微分/偏微分方程组表示的行为约束关系；

所述状态机图用于描述连续-原子类图形模型于不同状态间转换约束表示的行为约束关系；

所述活动图用于描述函数图形模型中实现特定功能的算法。

6.根据权利要求4所述的一种支持复杂系统设计和仿真的统一建模方法，其特征在于：

所述定义区域用于描述各类模型的组件参数、状态变量以及输入输出端口类型；

所述连接区域用于描述所述耦合模型的组件间的连接关系；

所述方程区域用于描述连续-原子类文本模型中由常微分/偏微分方程组表示的行为约束关系；

所述状态机区域用于描述离散-原子类文本模型于不同状态间转换约束表示的行为约束关系；

所述活动区域用于描述函数文本模型中实现特定功能的算法。