A formal specification of M-agent architecture

被引：0
|
作者：
Cetnarowicz, K
Gruer, P
Hilaire, V
Koukam, A
机构：
[1] AGH Univ Min & Met, Inst Comp Sci, PL-30059 Krakow, Poland
[2] Belfort Technopole, UTBM Syst & Transports, F-90000 Belfort, France
来源：
FROM THEORY TO PRACTICE IN MULTI-AGENT SYSTEMS | 2002年 / 2296卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Complexity of distributed and decentralized systems demands new tools for designing and programming processes. An idea of autonomous agents that arises as an extension of the object and process concepts may be applied to distributed and decentralized systems development. In the paper the authors have undertaken an attempt to describe formally the architecture of multiagent systems using a method of specification based upon the combination of Object-Z, Statecharts and M-agent architecture. The proposed method of multiagent system description may be considered as a starting point to develop a multi-agent system description method covering a gap existing between theoretical analysis and practical realization of multiagent systems.
引用
收藏
页码：62 / 72
页数：11
相关论文
共 50 条
  • [1] Agent oriented technology of decentralized systems based on the M-agent architecture
    Nawarecki, ECE
    Cetnarowicz, K
    MANAGEMENT AND CONTROL OF PRODUCTION AND LOGISTICS, VOL 1 AND 2, 1998, : 381 - 386
  • [2] Formal specification of an immune based agent architecture
    Hilaire, Vincent
    Lauri, Fabrice
    Gruer, Pablo
    Koukam, Abderrafia
    Rodriguez, Sebastian
    ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2010, 23 (04) : 505 - 513
  • [3] 基于移动Agent(M-Agent)的WebGIS研究
    郑云开
    福建地理, 2004, (01) : 50 - 53
  • [4] Formal Specification of Reconfigurable Architecture
    Chang, Zhiming
    Cui, Yonghua
    Han, Xueyan
    He, Junan
    SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING: THEORY AND PRACTICE, VOL 1, 2012, 114 : 481 - 490
  • [5] A FORMAL SPECIFICATION OF THE PVM ARCHITECTURE
    BORGER, E
    GLASSER, U
    INFORMATION PROCESSING '94, VOL I: TECHNOLOGY AND FOUNDATIONS, 1994, 51 : 402 - 409
  • [6] Formal specification of a multi-agent system architecture for manufacture:: the contribution of the π-calculus
    Dumond, Y
    Roche, C
    JOURNAL OF MATERIALS PROCESSING TECHNOLOGY, 2000, 107 (1-3) : 209 - 215
  • [7] Formal specification and testing of a management architecture
    Fernandes, GPA
    Derrick, J
    INTEGRATED NETWORK MANAGEMENT V: INTEGRATED MANAGEMENT IN A VIRTUAL WORLD, 1997, : 473 - 484
  • [8] A formal specification language for agent conversations
    Soriano, J
    Alonso, F
    López, G
    MULTI-AGENT SYSTEMS AND APPLICATIONS III, PROCEEDINGS, 2003, 2691 : 214 - 225
  • [9] Formal specification of interaction in agent societies
    Dignum, V
    Meyer, JJC
    Dignum, F
    Weigand, H
    FORMAL APPROACHES TO AGENT-BASED SYSTEMS, 2003, 2699 : 37 - 52
  • [10] Formal Specification of Software Architecture Security Tactics
    Wyeth, Andrew
    Zhang, Cui
    22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING & KNOWLEDGE ENGINEERING (SEKE 2010), 2010, : 172 - 175
12345