基于DEVS的分布式仿真构件形式描述

• 作者: 刘峻 范植华
• 来源期刊: 微电子学与计算机
• 关键词: 离散事件系统规范 分布式仿真 构件 可组合仿真
• 年，卷（期）: 2008,（9）
• 页码范围: 225-228
• 页数: 4页
• 分类号: TP319.9
• 语种: 中文

摘要

构件理论在分布式仿真领域正扮演着越来越重要的角色.为了规范化地描述和设计仿真构件,基于离散事件系统规范对构件进行了研究.通过扩展经典离散事件系统规范,形式化地定义了仿真原子构件模型和耦合模型,并对构件的组合过程和机制进行了研究.通过定理证明,该仿真耦合构件具有耦合封闭性,使得可以通过仿真原子构件和耦合构件不断地进行层次式迭代组合,构造出一个更加复杂的构件或系统,为基于DEVS的形式化组合仿真研究进行了前期理论探讨.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	范植华	中国科学院软件研究所	44	491	12.0	20.0
2	刘峻	广西大学计算机与电子信息学院	13	25	2.0	4.0