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