|
|||||
|
|
| 一种基于π演算的行为建模形式化方法 | |
| 引用本文： | 仲辉,王维平,黄炎焱,李群.一种基于π演算的行为建模形式化方法[J].系统工程理论与实践,2009,29(5):175-185. |
| 作者姓名： | 仲辉 王维平 黄炎焱 李群 |
| 作者单位： | 国防科技大学系统工程系,长沙,410073 |
| 摘 要： | 根据人的行为建模形式化方法需求, 针对直接应用π演算形式化建模人的行为所存在的不足, 尝试以π演算为基础扩展定义了一种人的行为建模形式化方法π-BFMBM(π-Based Formal Method of Behavioral Modeling); 并结合具体示例,阐述了扩展内容为π-BFMBM方法带来的、增强的行为描述能力及其实现方法. 研究表明,相比于π演算, π-BFMBM方法能够为人的行为建模提供更为有力地支持. |
| 关 键 词： | 人的行为建模 形式化方法 π演算 π-BFMBM |
| 本文献已被 万方数据 等数据库收录！ | |
| 点击此处可从《系统工程理论与实践》浏览原始摘要信息 | |
| 点击此处可从《系统工程理论与实践》下载免费的PDF全文 | |