离散事件系统规范(DEVS)介绍

离散事件系统规范(DEVS)是美国学者B.P.Zeigler提出的一种离散事件系统形式化描述体系。它把每个子系统看作为一个具有内部独立结构和输入输出接口的模块，这些模块通过连接关系组合为更大的模块，从而形成对模型层次化、模块化的描述。

1 DEVS是什么？

• DEVS是离散事件系统规范（Discrete Event System Specification）的简称。
• DEVS可以表达现实的动态系统（现有的或假设的），因此通过对系统进行仿真可以回答如下问题：现有系统是如何工作的？它们在构建后将如何工作？
• DEVS是建模和仿真框架理论的一部分。
• DEVS提供了一种基于系统数学理论构建仿真模型的独特方法。

2 DEVS特性简介

• DEVS形式化描述了：模型是什么、必须包含什么、不包含什么。
• DEVS的普遍性：任何接受随时间推移的输入事件，并生成随时间推移的输出事件的系统都等同于DEVS模型。
• DEVS模型的分类：原子模型用于表示基本模型,为系统组件的动态特性提供技术规范；耦合模型用于描述如何将多个组件模型（可以是原子模型或耦合模型）结合在一起形成新模型。