[发明专利]一种面向SIMSCRIPT语言的离散事件仿真图形化建模方法

权利要求书

1.一种面向SIMSCRIPT语言的离散事件仿真图形化建模方法，其特征在于，所述建模方法包括如下步骤：

步骤S1、初始化工程，构建离散建模系统运行所需的两个资源文件，所述资源文件包括全局声明文件和主例程文件；其中，所述全局声明文件用于声明所有全局变量，所述主例程文件用于整个仿真应用的入口；针对所述全局声明文件和主例程文件，生成全局声明文件画布和主例程文件画布；

步骤S2、将包括实体、事件和进程的图元拖拽到全局声明文件画布中，实现新增图元的声明功能；编辑各图元的属性值；

步骤S3、将仿真过程需要调用的基本图元、逻辑图元和功能图元拖拽到主例程文件画布中；在画布中构建基本图元间的逻辑关系；

步骤S4、基于画布间的父子层级关系，通过双击方式跳转至基本图元的子画布中，通过拖拽方式将逻辑图元拖拽到子画布中，完成子画布的绘制；

步骤S5、将步骤S2-S4中的画布保存为工程文件；

步骤S6、对工程文件进行规则校验；

步骤S7、使用语法映射规则，将生成的工程文件转换为可执行的SIMSCRIPT代码。

2.如权利要求1所述的建模方法，其特征在于，步骤S2中，实体是系统的组成部分，分为临时实体和永久实体，临时实体是系统中活动的部分，在系统中停留一段时间后离开系统，永久实体是系统中固定的部分，永久停留在系统中；事件是引起系统状态发生变化的行为；例程是系统对外提供的功能接口或服务的集合；进程是描述实体在系统中经历的完整过程。

3.如权利要求1所述的建模方法，其特征在于，步骤S3中，所述基本图元代表SIMSCRIPT语言中包括实体、事件、进程、例程和队列的语法单元，每个基本图元具有名称和属性，图元属性包括属性名称、属性类型和属性注释；所述逻辑图元代表SIMSCRIPT语言中包括循环、判断和分支的语法单元；所述功能图元代表SIMSCRIPT语言中包括打印、仿真时间操作的语法单元。

4.如权利要求1所述的建模方法，其特征在于，步骤S3中，基本图元间的逻辑关系包括顺序关系、从属关系和调度关系；每种关系通过不同的线形和箭头进行标记，通过连接两个图元间的锚点新增图元关系，通过双击图元连线修改或删除图元间的关系。

5.如权利要求1所述的建模方法，其特征在于，执行步骤S5后，每个画布都存储为JSON数据，画布中的图元保存在节点数组中，每个节点包含节点ID、节点名称、节点位置和节点属性数组；图元关系保存在边数组中，每条边包括源节点ID，目标节点ID和边的类型。

6.如权利要求1所述的建模方法，其特征在于，步骤S6中，所述规则校验包括属性校验和调用关系校验。

7.如权利要求6所述的建模方法，其特征在于，步骤S6中，属性校验的内容包括不同永久实体是否包含同名属性、同一实体中是否包含同名属性、永久实体和系统是否包含同名属性；调用关系校验的内容包括例程、事件和进程的调用关系是否正确。

8.如权利要求6所述的建模方法，其特征在于，步骤S6中，当出现校验错误时，显示错误列表。

9.如权利要求1所述的建模方法，其特征在于，步骤S7中，包括生成全局声明文件的代码、主例程文件的代码和子例程文件的代码。

10.如权利要求9所述的建模方法，其特征在于，步骤S7中，所述全局声明文件的代码包括临时实体声明代码、永久实体声明代码、进程声明代码、队列声明代码、事件声明代码；所述主例程文件的代码包括主例程的框架代码，事件、进程和例程的调度代码，分支、循环、判断语句代码；所述子例程文件的代码包括事件、进程、例程和函数的框架代码、输入输出代码、调度关系代码、分支、循环、判断语句代码。