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 条
  • [41] Towards the formal specification of an OPS5 production system architecture
    Gold, David I.
    Plant, R.T.
    International Journal of Intelligent Systems, 1994, 9 (08): : 739 - 768
  • [42] Conception, behavioural semantics and formal specification of multi-agent systems
    Chainbi, W
    Jmaiel, M
    Abdelmajid, BH
    MULTI-AGENT SYSTEMS: THEORIES, LANGUAGES, AND APPLICATIONS, 1998, 1544 : 16 - 28
  • [43] TOWARDS THE FORMAL SPECIFICATION OF AN OPS5 PRODUCTION SYSTEM ARCHITECTURE
    GOLD, DI
    PLANT, RT
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1994, 9 (08) : 739 - 768
  • [44] Formal Specification of Fault-Tolerant Multi-agent Systems
    Troubitsyna, Elena
    ADVANCES IN PRACTICAL APPLICATIONS OF AGENTS, MULTI-AGENT SYSTEMS, AND SOCIAL GOOD: THE PAAMS COLLECTION, PAAMS 2021, 2021, 12946 : 291 - 302
  • [45] Agent Coordination Contexts for the formal specification and enactment of coordination and security policies
    Omicini, Andrea
    Ricci, Alessandro
    Viroli, Mirko
    SCIENCE OF COMPUTER PROGRAMMING, 2006, 63 (01) : 88 - 107
  • [46] Formal specification of multi-agent e-barter systems
    Núñez, M
    Rodríguez, I
    Rubio, F
    SCIENCE OF COMPUTER PROGRAMMING, 2005, 57 (02) : 187 - 216
  • [47] FORMAL SPECIFICATION
    BROKATE, K
    COMPUTER JOURNAL, 1988, 31 (02): : 190 - 190
  • [48] A formal framework for agent itinerary specification, security reasoning and logic analysis
    Lu, SY
    Xu, CZ
    25TH IEEE INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS, PROCEEDINGS, 2005, : 580 - 586
  • [49] A formal specification and verification of normative multi-agent systems by DisCSP
    Boudhaouia, Aida
    Mazigh, Belhassen
    Missaoui, Ezzine
    2017 IEEE/ACS 14TH INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS (AICCSA), 2017, : 399 - 406
  • [50] Synchronized petri net: A formal specification model for multi agent systems
    Kouah, S. (kouah@misc-umc.org), 1600, Academy Publisher (08):
12345