| On modeling and analyzing multi-agent systems using n-calculus |
| |
| 作者姓名： | 于振华 蔡远利 |
| |
| 作者单位： | School of Electronic and Information Engineering,Xi＇an Jiaotong University, Xi＇an 710049, P. R. China |
| |
| 基金项目： | Project supported by the National High-Technology Research and Development Program of China （Grant No.863- 2003AA721070） |
| |
| 摘 要： | 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 n-calculus is presented, which is suited for the describing and analyzing of concurrent MAS with dynamic topology, n-calculus describes the belief-desireintention （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 n-calculus, an example of dynamic multi-agent systems in e-commerce is provided. Finally, by using an existing n-calculus supporting tool, MAS model and some key behaviors properties are analyzed and verified.
|
| 关 键 词： | π演算 多AGENT系统 系统建模 动力体系 |
| 收稿时间： | 2005-09-17 |
| 修稿时间： | 2005-11-30 |
On modeling and analyzing multi-agent systems using π-calculus |
| |
| Zheng-hua Yu PhD Candidate,Yuan-li Cai.On modeling and analyzing multi-agent systems using n-calculus[J].Journal of Shanghai University(English Edition),2007,11(1):58-63. |
| |
| Authors: | Zheng-hua Yu PhD Candidate Yuan-li Cai |
| |
| Institution: | (1) School of Electronic and Information Engineering, Xi’an Jiaotong University, Xi’an, 710049, P. R. China |
| |
| Abstract: | 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.
Project supported by the National High-Technology Research and Development Program of China (Grant No.863-2003AA721070) |
| |
| Keywords: | multi-agent systems g-calculus dynamic architecture modeling and analyzing |
| 本文献已被 维普 SpringerLink 等数据库收录！ |
