一种基于π演算的行为建模形式化方法

？根据人的行为建模形式化方法需求,针对直接应用π演算形式化建模人的行为所存在的不足,尝试以π演算为基础扩展定义了一种人的行为建模形式化方法π-bfmbm(π-basedformalmethodofbehavioralmodeling);并结合具体示例,阐述了扩展内容为π-bfmbm方法带来的、增强的行为描述能力及其实现方法.研究表明,相比于π演算,π-bfmbm方法能够为人的行为建模提供更为有力地支持.