|
|||||
|
|
| 用π-演算描述网络考试系统 | |
| 作者姓名： | 黄银强 钟发荣 |
| 作者单位： | 浙江师范大学,数理与信息工程学院,浙江,金华,321004 |
| 摘 要： | 在分析了基于W eb的网络考试系统需求的基础上,针对其具有多进程并发通讯的特点,采用π-演算对系统进行结构和功能的描述;在简单介绍π-演算的语法和操作语义的基础上,用进程表达式对整个系统进行形式化的描述;最后,通过实际编程实现,表明用π-演算描述这一类系统是非常适合的. |
| 关 键 词： | 考试系统 π-演算 并发 形式化 |
| 文章编号： | 1001-5051（2006）03-0293-04 |
| 收稿时间： | 2005-12-26 |
| 修稿时间： | 2006-05-12 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |