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 条
  • [31] Agent-oriented modeling by interleaving formal and informal specification
    Perini, A
    Pistore, M
    Roveri, M
    Susi, A
    AGENT-ORIENTED SOFTWARE ENGINEERING IV, 2004, 2935 : 36 - 52
  • [32] Formal Specification and Reasoning for Situated Multi-agent System
    Li, Zhuang
    Miao, Huaikou
    2015 IEEE/ACIS 14TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE (ICIS), 2015, : 455 - 460
  • [33] SLABS: A formal specification language for agent-based systems
    Zhu, H
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2001, 11 (05) : 529 - 558
  • [34] A Formal Security Framework for Mobile Agent Systems: Specification and Verification
    Loulou, Monia
    Kacem, Ahmed Hadj
    Mosbah, Mohamed
    Jmaiel, Mohamed
    CRISIS: 2008 THIRD INTERNATIONAL CONFERENCE ON RISKS AND SECURITY OF INTERNET AND SYSTEMS, PROCEEDINGS, 2008, : 69 - 76
  • [35] 基于M-Agent技术的电网运行决策支持系统
    王志刚
    贾正源
    科技咨询导报, 2007, (30) : 57 - 58
  • [36] A database architecture for reusable CommonKADS agent specification components
    Allsopp, DJ
    Harrison, A
    Sheppard, C
    KNOWLEDGE-BASED SYSTEMS, 2002, 15 (5-6) : 275 - 283
  • [37] A database architecture for reusable CommonKADS agent specification components
    Allsopp, DJ
    Harrison, A
    Sheppard, C
    RESEARCH AND DEVELOPMENT IN INTELLIGENT SYSTEMS XVIII, 2002, : 171 - 184
  • [38] Towards a formal specification of an object-oriented architecture for parallel computing
    Bavan, S
    Berki, E
    Georgiadou, E
    Milankovic-Atkinson, M
    Walker, MJ
    INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-III, PROCEEDINGS, 1997, : 1054 - 1060
  • [39] FORMAL SPECIFICATION SUPPORTING INCREMENTAL AND FLEXIBLE AGENT-BASED MODELING
    Bae, Jang Won
    Lee, GeunHo
    Moon, Il-Chull
    2012 WINTER SIMULATION CONFERENCE (WSC), 2012,
  • [40] Formal specification and verification of reusable communication models for distributed systems architecture
    Rouland, Quentin
    Hamid, Brahim
    Jaskolka, Jason
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2020, 108 : 178 - 197
12345