id}>
X: {MAC frame,stop signal,next signal}
Y: {MAC frame}
{Md}={queueIn ,queueOut}
{Id}={IqueueIn={Switcher.in, SwitchStructure.next, SwitchStructure .stop},
IqueueOut={SwitchStructure.next,SwitchStructure.stop,
outside done signal}}
{Zid}={SwitcherInterface.in=IqueueIn. in,
SwitcherInterface.out=IqueueOut.out}
至此,该二层交换机的仿真建模完成。
通常对于离散系统的描述可以使用集合论、系统论的形式化方法,典型的有微分方程、有限状态机和离散事件模型等。DEVS的优势在于将每一类这样的模型所确定的系统的静态和动态结构施以特定的约束,从而确定系统的分解方法。使用DEVS描述模型使离散系统仿真不再是随意的、个人化的艺术性工作[1]。从这个意义上说,使用DEVS描述的模型克服了其他模型可复用性差、不规范以及互操作性差等缺点,以更强的规范性、确定性和可复用性等优点,更好地解决了由于网络流量的动态变化、统计复用的随机性及网络的规模扩展所带来的新问题。
目前,基于DEVS的网络系统建模主要集中在性能仿真方面,针对功能模拟的研究比较少。其中,形式化描述比较难于理解是出现这种情况的原因之一。近年来,在基于DEVS的可视化建模方面的研究成果在一定程度上弥补了这方面的不足[3]。
此外,对于网络仿真系统而言,模型抽象到何种层次,能够既比较好地反映真实状况,又不至于产生过多的运算量是一个值得深入研究的工程实践问题。
综上,基于DEVS的网络设备仿真模型,采用了DEVS这种形式化的仿真建模方法,使网络通信交换机这种离散系统的仿真建模得到规范化,其准确性和可复用性是不言而喻的。在标准化的趋势下,基于DEVS的仿真方法可望在网络仿真和模拟中发挥更重要的作用。
参考文献
[1] 黄柯棣,张金槐.系统仿真技术. 长沙:国防科技大学出版社,1998.
[2] Zeigler B P. 制模与仿真理论. 李育才译. 北京:机械工业出版社,1984.
[3] 刘忠,邓苏. DEVS的面向对象可视化建模. 计算机仿真,2001,18(1).
[4] 刘宝宏,黄柯棣.基于 DEVS 的多分辨率建模形式化描述规范研究,系统仿真学报, 2005(17).
[5] Mohaemd Abd El-Salam, KhalilYonis, Abdul-Rahman Elsahfei. Fourth year project report: Building a library for parallel simulation of networking protocols,Carleton University, Canada.
[6] PETRIU D, WAINER G. A library of layered queuing networks using the DEVS formalism, Proceedings of the SCS 1st Mediterranean Multiconference on Modeling and Simulation. Genoa, Italy. 2004.