摘要
研究网络考试系统动态建模中动态性和并发性问题,针对目前对网络考试系统的建模所使用的面向对象或面向过程的建模方法,无法完整地、有效地描述系统的动态性和并发性。为正确分析和描述网络考试系统的动态性和并发性,从而降低故障发生率,保证系统稳定性,应用π演算,建立了NESAM抽象模型来描述。对NESAM模型的进行分析和仿真,得出NESAM模型能够表征网络考试系统的动态性和并发性的结论。进行仿真计算,结果证明,对提高网络考试系统的开发效率和系统可靠性等方面具有很高的价值。
In this paper,the problems of dynamics and simultaneity in dynamic modeling of network examination system is researched.The modeling methods of object-oriented or process oriented in network examination system cannot fully and effectively describe the system.For the correct analysis and description to dynamics and simultaneity of network examination system,NESAM Abstract model was established to describe network examination system.NESAM model was analyzed and simulated to prove that the model is able to characterize the dynamics and concurrent of network examination system.The MESAM model can improve the efficiency of network exam system and the system has high reliability,etc.
出处
《计算机仿真》
CSCD
北大核心
2010年第12期365-368,405,共5页
Computer Simulation
关键词
网络考试系统
Π演算
动态建模
Network examination system（NES）
π-calcuse
Dynamic modeling
