需求建模的形式化方法研究

摘要：

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

关键词： π演算 行为交互 需求建模 建模语言

作者: 王晓虎

作者单位: 浙江师范大学,软件研发中心,浙江,金华,321004

会议类型: 国内会议

会议名称: 第四届中国软件工程大会

会议地点: 杭州

会议语种:中文

页码: 169-171

在线出版日期: 2007-06-16（万方平台首次上网日期，不代表论文的发表时间）