点击量 ：

第一作者 ： 王晓虎

发表时间 ： 2007-01-01

发表刊物 ： 微型机与应用

所属单位 ： 数理与信息工程学院

文献类型 ： 期刊

期号 ： 第A1期

页面范围 ： 169-171

ISSN ： 2096-5133

关键字 ： π演算；行为交互；需求建模；形式化

摘要 ： 借鉴π演算的进程构造能力和类型系统表达能力,以π演算为需求建模语言,提出一种需求建模的形式化方法,给出构造功能行为交互系统的良类型性质。

是否译文 ： 否