An outline of the use of transition systems to formalize JADE agents and multi-agent systems

被引：2
|
作者：
Bergenti, Federico [1 ]
Iotti, Eleonora [2 ]
Poggi, Agostino [2 ]
机构：
[1] Univ Parma, Dipartimento Matemat & Informat, I-43100 Parma, Italy
[2] Univ Parma, Dipartimento Ingn Informaz, I-43100 Parma, Italy
来源：
INTELLIGENZA ARTIFICIALE | 2015年 / 9卷 / 02期
关键词：
JADE; transition systems; formal semantics;
D O I：
10.3233/IA-150085
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper presents the key aspects of a proposed formalization of JADE agents and multi-agent systems based on transition systems. Such a formalization is meant to be useful to describe and clarify how JADE multi-agent systems work and to provide a theoretical instrument to validate and analyze the semantics of JADE agents. This is needed to decouple agent-oriented and object-oriented parts of an agent design and to avoid misunderstandings on the semantics of JADE agents. The chosen approach is to define a structural operational semantics for Java programs written using JADE, and the proposed formalization consists in two parts: the first identifies and defines the main entities that together compose a JADE multi-agent system; the second provides the transition system and rewriting rules. The paper terminates with two explanatory examples of the usage of the transition system. A brief recapitulation of the work concludes the paper.
引用
收藏
页码：149 / 161
页数：13
相关论文
共 50 条
  • [1] Using JADE for the development of multi-agent systems
    Al-Aidaroos, H
    Yang, SH
    [J]. MEASUREMENT & CONTROL, 2005, 38 (10): : 299 - 303
  • [2] Statecharts-Based JADE Agents and Tools for Engineering Multi-Agent Systems
    Fortino, Giancarlo
    Rango, Francesco
    Russo, Wilma
    [J]. KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT I, 2010, 6276 : 240 - +
  • [3] Using decision theory to formalize emotions in multi-agent systems
    Gmytrasiewicz, PJ
    Lisetti, CL
    [J]. FOURTH INTERNATIONAL CONFERENCE ON MULTIAGENT SYSTEMS, PROCEEDINGS, 2000, : 391 - 392
  • [4] AGENTS AND MULTI-AGENT SYSTEMS
    Schweitzer, Frank
    Taylor, Matthew E.
    [J]. ADVANCES IN COMPLEX SYSTEMS, 2011, 14 (02): : III - iv
  • [5] Using ontologies to formalize services specifications in multi-agent systems
    Breitman, KK
    Haendchen, A
    Haeusler, EH
    von Staa, A
    [J]. FORMAL APPROACHES TO AGENT-BASED SYSTEMS, 2005, 3228 : 92 - 110
  • [6] JAMDER: JADE to MULTI-Agent Systems Development Resource
    Lopes, Yrleyjander S.
    Cortes, Mariela, I
    Tavares Goncalves, Enyo Jose
    Oliveira, Robson
    [J]. ADCAIJ-ADVANCES IN DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE JOURNAL, 2018, 7 (03): : 63 - 98
  • [7] A Review on Multi-Agent Systems and JADE Applications in Microgrids
    Eyimaya, Suleyman Emre
    Altin, Necmi
    Nasiri, Adel
    [J]. 12TH INTERNATIONAL CONFERENCE ON SMART GRID, ICSMARTGRID 2024, 2024, : 623 - 628
  • [8] Engineering multi-agent systems through statecharts-based JADE agents and tools
    [J]. Fortino, G. (g.fortino@unical.it), 1600, Springer Verlag (7270 LNCS):
  • [9] Agents & Multi-agent Systems in Construction
    Liu, Chunlu
    [J]. CONSTRUCTION MANAGEMENT AND ECONOMICS, 2007, 25 (03) : 330 - 331
  • [10] Agents & Multi-agent Systems in Construction
    Ahmad, Irtishad
    [J]. CONSTRUCTION MANAGEMENT AND ECONOMICS, 2006, 24 (06) : 657 - 657
12345