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 条
  • [21] On the formal specification and verification of multi-agent systems
    Fisher, M
    Wooldridge, M
    INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 1997, 6 (01) : 37 - 65
  • [22] Agent-oriented formal specification of Web services
    Zhu, H
    Zhou, B
    Mao, XJ
    Shan, LJ
    Duce, D
    GRID AND COOPERATIVE COMPUTING GCC 2004 WORKSHOPS, PROCEEDINGS, 2004, 3252 : 633 - 641
  • [23] Developing an ROV software control architecture: a formal specification approach
    de Assis, Fabio Henrique
    Takase, Fabio Kawaoka
    Maruyama, Newton
    Miyagi, Paulo Eigi
    38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012), 2012, : 3107 - 3112
  • [24] Experience with applying formal methods to protocol specification and system architecture
    Azimi, M
    Chou, CT
    Kumar, A
    Lee, VW
    Mannava, PK
    Park, S
    FORMAL METHODS IN SYSTEM DESIGN, 2003, 22 (02) : 109 - 116
  • [25] Practical application of formal methods for specification and analysis of software architecture
    Maxwell, C
    Parakhine, A
    Leaney, J
    2005 Australian Software Engineering Conference, Proceedings, 2005, : 302 - 311
  • [26] Formal specification of multi-agent systems by using EUSMs
    Merayo, Mercedes G.
    Nunez, Manuel
    Rodriguez, Ismael
    INTERNATIONAL SYMPOSIUM ON FUNDAMENTALS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2007, 4767 : 318 - +
  • [27] Formal specification of role assignment for open multi agent system
    Wang Hongbing
    Fan Zhihua
    She Chundong
    CHINESE JOURNAL OF ELECTRONICS, 2007, 16 (02): : 212 - 216
  • [28] THE FORMAL SPECIFICATION OF THE ISO OPEN DOCUMENT ARCHITECTURE (ODA) STANDARD
    APPELT, W
    TETTEHLARTEY, N
    COMPUTER JOURNAL, 1993, 36 (03): : 269 - 279
  • [29] Experience with Applying Formal Methods to Protocol Specification and System Architecture
    Mani Azimi
    Ching-Tsun Chou
    Akhilesh Kumar
    Victor W. Lee
    Phamndra K. Mannava
    Seungjoon Park
    Formal Methods in System Design, 2003, 22 : 109 - 116
  • [30] Formal specification of holonic multi-agent systems framework
    Rodriguez, S
    Hilaire, V
    Koukam, A
    COMPUTATIONAL SCIENCE - ICCS 2005, PT 3, 2005, 3516 : 719 - 726
12345