Modeling and analysis of multi-agent systems based on π-calculus

被引：0
|
作者：
Liu, FL
Yu, ZH [2 ]
Cai, YL
机构：
[1] Xidian Univ, Sch Electromech Engn, Xian 710071, Peoples R China
[2] Lanzhou Jiaotong Univ, Minist Educ, Key Lab Optoelect Technol & Intelligent Control, Lanzhou, Peoples R China
[3] Xi An Jiao Tong Univ, Sch Elect & Informat Engn, Xian 710049, Peoples R China
来源：
COMPUTATIONAL INTELLIGENCE AND SECURITY, PT 1, PROCEEDINGS | 2005年 / 3801卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Dynamic architecture of multi-agent systems (MAS) is very important for the critical systems. As the existing formal specifications cannot describe the dynamic architecture of MAS, while pi-calculus is specially suited for the description and analysis of concurrent systems with dynamic or evolving topology, a formal approach using pi-calculus is presented to describe MAS. pi-calculus can describe the interactions among agents and permit their analysis for some key properties, e.g. deadlock, bisimilarity. By constructing a MAS model in electronic commerce, the modeling process using pi-calculus are illustrated.
引用
收藏
页码：410 / 415
页数：6
相关论文
共 50 条
  • [1] On modeling and analyzing multi-agent systems using π-calculus
    于振华
    蔡远利
    [J]. Advances in Manufacturing, 2007, (01) : 58 - 63
  • [2] Ecological calculus framework for multi-agent systems
    Zhang Hong
    He Huacan
    [J]. 2007 INAUGURAL IEEE INTERNATIONAL CONFERENCE ON DIGITAL ECOSYSTEMS AND TECHNOLOGIES, 2007, : 536 - +
  • [3] Modeling multi-agent systems
    da Silva, Viviane Torres
    de Lucena, Carlos J. P.
    [J]. COMMUNICATIONS OF THE ACM, 2007, 50 (05) : 103 - 108
  • [4] Modeling and analyzing multi-agent systems based on π-net
    Yu, Zhen-Hua
    Cai, Yuan-Li
    Xu, Hai-Ping
    [J]. Xitong Gongcheng Lilun yu Shijian/System Engineering Theory and Practice, 2007, 27 (07): : 77 - 84
  • [5] Modeling Malaria with Multi-Agent Systems
    Rateb, Fatima
    Pavard, Bernard
    Bellamine-BenSaoud, Narjes
    Merelo, J. J.
    Arenas, M. G.
    [J]. INTERNATIONAL JOURNAL OF INTELLIGENT INFORMATION TECHNOLOGIES, 2005, 1 (02) : 17 - 27
  • [6] Social Modeling for Multi-agent Systems
    Sukthankar, Gita
    [J]. 2016 INTERNATIONAL CONFERENCE ON COLLABORATION TECHNOLOGIES AND SYSTEMS (CTS), 2016, : 454 - 454
  • [7] Modeling multi-agent systems with ANote
    Choren R.
    Lucena C.
    [J]. Software & Systems Modeling, 2005, 4 (2) : 199 - 208
  • [8] Behavior modeling based on multi-agent and multi-agent simulation environment
    Yin, QJ
    Du, XY
    Huang, K
    [J]. SYSTEM SIMULATION AND SCIENTIFIC COMPUTING, VOLS 1 AND 2, PROCEEDINGS, 2005, : 1531 - 1536
  • [9] Modeling and analysis of multi-agent systems using Petri nets
    Celaya, Jose R.
    Desrochers, Alan A.
    Graves, Robert J.
    [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-8, 2007, : 2281 - +
  • [10] Modeling and Analysis of Multi-agent Systems using Petri Nets
    Celaya, Jose R.
    Desrochers, Alan A.
    Graves, Robert J.
    [J]. JOURNAL OF COMPUTERS, 2009, 4 (10) : 981 - 996
12345