| On modeling and analyzing multi-agent systems using π-calculus |
| |
| 引用本文： | 于振华,蔡远利.On modeling and analyzing multi-agent systems using π-calculus[J].上海大学学报(英文版),2007(1). |
| |
| 作者姓名： | 于振华 蔡远利 |
| |
| 作者单位： | School of Electronic and Information Engineering Xi'an Jiaotong University，School of Electronic and Information Engineering Xi'an Jiaotong University Xi'an 710049，P.R.China，Xi'an 710049，P.R.China |
| |
| 基金项目： | Project supported by the National High-Technology Research and Development Program of China(Grant No.8632003AA721070) |
| |
| 摘 要： | Dynamic architecture of multi-agent systems(MAS)is important for critical systems.As the existing formal specifications of MAS cannot describe its dynamic architecture,a formal approach usingπ-calculus is presented,which is suited for the describing and analyzing of concurrent MAS with dynamic topology,π-calculus describes the belief-desire- intention(BDI)model that represents agent's mental states and provides many useful facilities to analyze MAS model such as deadlock,behavior equivalence,and model checking.To illustrate the favorable representation capability ofπ-calculus,an example of dynamic multi-agent systems in e-commerce is provided.Finally,by using an existingπ-calculus supporting tool, MAS model and some key behaviors properties are analyzed and verified.
|
| 关 键 词： | multi-agent systems π-calculus dynamic architecture modeling and analyzing |
| 本文献已被 CNKI 等数据库收录！ |
