【作者】 李旭晖； 何炎祥； 彭智勇；

【机构】 武汉大学软件工程国家重点实验室；

【摘要】 <正> 1 引言离散事件系统(Discrete Event System,DEVS)模型是仿真的主要建模方法,也是系统仿真的基本模型,其主要功能是对实时系统建模并模拟其运行过程。建模过程是一个从问题域到计算域的映射过程,而映射即建立模型过程的正确性取决于对实际系统的认识是否全面。离散事件系统作为对实时系统外延的一种刻画,其能否反映实时系统的真实情况取决于其语义是否与所反映的实时系统一致。当前建模仿真理论中,研究者们的重点常集中更多还原

【Abstract】 Discrete event system(DEVS) is the major modeling approach in system simulation. However, the semantics of DEVS is often neglected by studies of modeling theory. In this paper, we propose a semantic model for DEVS based on time sequence, which can correctly describe the semantics of some common DEV Smodels. We also discuss the features of the DEVS systems based on the semantic model.更多还原