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

关键词：人的行为建模 形式化方法 

单位：国防科技大学系统工程系 长沙410073