摘要
借鉴π演算的进程构造能力和类型系统表达能力,以π演算为需求建模语言,提出一种需求建模的形式化方法,给出构造功能行为交互系统的良类型性质。
Using π-Calculus for reference and combining mobile processes algebra,the paper presents a formal modeling requirement. At the same time, consistent process interaction system is defined based on the notion of welltypedness in π-calculus.
出处
《微型机与应用》
北大核心
2007年第S1期169-171,共3页
Microcomputer & Its Applications
基金
浙江省自然科学基金项目(Y105092)
关键词
Π演算
行为交互
需求建模
形式化
π-calculus
process interaction
modeling requirement
formalizing