摘要
根据人的行为建模形式化方法需求,针对直接应用π演算形式化建模人的行为所存在的不足,尝试以π演算为基础扩展定义了一种人的行为建模形式化方法πr-BFMBM(π-Based Formal Method of Behavioral Modeling);并结合具体示例,阐述了扩展内容为π-BFMBM方法带来的、增强的行为描述能力及其实现方法.研究表明,相比于π演算,π-BFMBM方法能够为人的行为建模提供更为有力地支持.
The research on the formal method of human behavioral modeling is an important content of the theory, method and technology research supporting human behavioral modeling. Becauseof its eminent capabilities of analyzing hierarchically, expressing the dynamic structure and articulating the complicated concurrent interaction, the π-calculus can be used as a good starting-point of the formal method research supporting human behavioral modeling. According to the requirement of the formal method supporting human behavioral modeling, aiming at the deficiencies of using π-calculus to formally model human behavior, tries to define a formal method of human behavioral modeling based on π-calculus-- π-BFMBM(π-Based Formal Method of Behavioral Modeling). Moreover, by some examples, describes the enhanced capabilities of the π-BFMBM in modeling human behavior. Compared with π-calculus, π-BFMBM can provide more powerful support for human behavioral modeling.
出处
《系统工程理论与实践》
EI
CSCD
北大核心
2009年第5期175-185,共11页
Systems Engineering-Theory & Practice