基于π演算的网络考试系统动态建模研究

摘要

研究网络考试系统动态建模中动态性和并发性问题,针对目前对网络考试系统的建模所使用的面向对象或面向过程的建模方法,无法完整地、有效地描述系统的动态性和并发性.为正确分析和描述网络考试系统的动态性和并发性,从而降低故障发生率,保证系统稳定性,应用π演算,建立了NESAM抽象模型来描述.对NESAM模型的进行分析和仿真,得出NESAM模型能够表征网络考试系统的动态性和并发性的结论.进行仿真计算,结果证明,对提高网络考试系统的开发效率和系统可靠性等方面具有很高的价值.