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

摘要：

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

关键词： 离散事件系统 分布式仿真 可组合仿真 耦合模型 构件模型

作者: 刘峻 范植华

作者单位: 广西大学,计算机与电子信息学院,广西,南宁,530004;中国科学院,软件研究所,北京,100080 中国科学院,软件研究所,北京,100080

会议类型: 国内会议

会议名称: 2008年全国开放式分布与并行计算学术年会

会议地点: 扬州

会议语种:中文

页码: 225-228

在线出版日期: 2008-10-25（万方平台首次上网日期，不代表论文的发表时间）