论文研究-一种基于π演算的行为建模形式化方法.pdf

【文件属性】：
文件名称：论文研究-一种基于π演算的行为建模形式化方法.pdf
文件大小：700KB
文件格式：PDF
更新时间：2022-10-10 04:27:37
论文研究 论文研究-一种基于π演算的行为建模形式化方法.pdf,  根据人的行为建模形式化方法需求, 针对直接应用π演算形式化建模人的行为所存在的不足, 尝试以π演算为基础扩展定义了一种人的行为建模形式化方法π-BFMBM(π-Based Formal Method of Behavioral Modeling); 并结合具体示例,阐述了扩展内容为π-BFMBM方法带来的、增强的行为描述能力及其实现方法. 研究表明,相比于π演算, π-BFMBM方法能够为人的行为建模提供更为有力地支持.