35、特定领域离散事件时间仿真的图变换

特定领域离散事件时间仿真的图变换

1. 引言

仿真在实时系统、生态、经济和物理等多个研究领域处于核心地位，具有多学科性质。其用户常为领域专家，他们熟悉特定领域的符号表示，但不一定精通编程语言。离散事件仿真（DES）研究的系统中，时间以连续方式建模，但在有限时间间隔内只有有限数量的事件或状态变化。多年来，DES 领域提出了许多语言、系统和工具，但这些要么需要领域专家通常缺乏的专业知识，要么是基于 Java 等编程语言的库。因此，领域特定的图形语言对仿真人员非常有益。

本文通过将显式时间处理融入图变换（GT）形式化方法，提出了这样一种语言。基于事件调度方法，允许规则对未来其他规则的发生进行编程，利用了显式规则调用（和取消）及参数传递，以及匹配的时间调度这两个概念，提高了效率。目标是提供最简单的时间处理原语，在此基础上可添加更高级的构造。

2. 离散事件仿真的世界观

离散事件系统可以用不同的风格或世界观进行建模，主要关注系统的事件、活动或过程三个方面：
- 事件调度（ES） ：专注于事件，提供描述事件、其对当前状态的影响以及未来事件调度的原语，能高效管理时间，将仿真时间推进到下一个事件发生的时间。
- 活动扫描（AS） ：关注活动开始的条件，由于缺乏事件概念来标记状态变化，需要以小的离散增量推进时间，效率较低。为提高效率，可采用三相方法，结合 ES 和 AS，仅在处理事件后检查新活动的开始。
- 过程交互（PI） ：提供描述系统中活动实体生命周期的构造。

在这三种方法中，ES 最为基础，因为事件界定了