浙江师范大学学报（自然科学版）
浙江師範大學學報（自然科學版）
절강사범대학학보（자연과학판）
JOURNAL OF ZHEJIANG NORMAL UNIVERSITY(NATURAL SCIENCES)
2006年
3期
293-296
,共4页
考试系统%π-演算%并发%形式化
攷試繫統%π-縯算%併髮%形式化
고시계통%π-연산%병발%형식화
在分析了基于Web的网络考试系统需求的基础上,针对其具有多进程并发通讯的特点,采用π-演算对系统进行结构和功能的描述;在简单介绍π-演算的语法和操作语义的基础上,用进程表达式对整个系统进行形式化的描述;最后,通过实际编程实现,表明用π-演算描述这一类系统是非常适合的.
在分析瞭基于Web的網絡攷試繫統需求的基礎上,針對其具有多進程併髮通訊的特點,採用π-縯算對繫統進行結構和功能的描述;在簡單介紹π-縯算的語法和操作語義的基礎上,用進程錶達式對整箇繫統進行形式化的描述;最後,通過實際編程實現,錶明用π-縯算描述這一類繫統是非常適閤的.
재분석료기우Web적망락고시계통수구적기출상,침대기구유다진정병발통신적특점,채용π-연산대계통진행결구화공능적묘술;재간단개소π-연산적어법화조작어의적기출상,용진정표체식대정개계통진행형식화적묘술;최후,통과실제편정실현,표명용π-연산묘술저일류계통시비상괄합적.
