借鉴π演算的进程构造能力和类型系统表达能力,以π演算为需求建模语言,提出一种需求建模的形式化方法,给出构造功能行为交互系统的良类型性质。
作者:王晓虎
作者单位:浙江师范大学软件研发中心,浙江金华321004
分类:计算机与自动化
中文关键词:π演算行为交互需求建模形式化
刊名:《微型机与应用》 2007 (S1)
页码/页数:P.169-171,3
评论