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