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

摘要：

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

关键词：人的行为建模、形式化方法、π演算、π-BFMBM

所属期刊栏目：29

分类号：TP391(计算技术、计算机技术)

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

页数：共11页

页码：175-185