用π-演算描述网络考试系统

• 作者: 钟发荣 黄银强
• 来源期刊: 浙江师范大学学报（自然科学版）
• 学科: 工学
• 关键词: 考试系统 π-演算 并发 形式化
• 年，卷（期）: 2006,（3）
• 所属期刊栏目: 计算机
• 页码范围: 293-296
• 页数: 4页
• 分类号: TP311.52
• 字数: 2693字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-5051.2006.03.012

摘要

在分析了基于Web的网络考试系统需求的基础上,针对其具有多进程并发通讯的特点,采用π-演算对系统进行结构和功能的描述;在简单介绍π-演算的语法和操作语义的基础上,用进程表达式对整个系统进行形式化的描述;最后,通过实际编程实现,表明用π-演算描述这一类系统是非常适合的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钟发荣	浙江师范大学数理与信息工程学院	25	46	4.0	5.0
2	黄银强	浙江师范大学数理与信息工程学院	3	4	2.0	2.0