Formal Modeling and Verification of Multi-Agent System Architecture

被引：1
|
作者：
Yuan, Ling [2 ]
Fan, Ping [1 ]
机构：
[1] Hubei Univ Sci & Technol, Sch Comp Sci, Shijiazhuang, Hubei, Peoples R China
[2] Huazhong Univ Sci & Technol, Sch Comp Sci, Wuhan 430074, Peoples R China
来源：
2013 AASRI CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING AND SYSTEMS | 2013年 / 5卷
关键词：
Formal Modeling; Formal Verification; Multi-agent; System Architecture; Theorem prover; Fault Tolerance;
D O I：
10.1016/j.aasri.2013.10.068
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
a multi-agent system, the multiple distributed intelligent agents interact with each other to solve problems. To guide the development of multi-agent system, the multi-agent system architecture would provide a framework. The specific multiagent system can be customized from the multi-agent system architecture, which does not need to rewrite the construction. In order to satisfy the failure recovery property of multi-agent system, we propose dependable multi-agent system architecture with fault tolerant mechanisms. The PVS formal language is used to build a system architecture, which can provide common patterns and idioms to the system developers. In order to satisfy the reliability requirements, the powerful PVS theorem prover can be used to analyze the high reliability property of the proposed architecture. (C) 2013 The Authors. Published by Elsevier B.A.
引用
收藏
页码：126 / 132
页数：7
相关论文
共 50 条
  • [1] Multi-Agent Verification and Validation for RFID System Architecture
    Lockman, Muhammad Tarmizi
    Selamat, Ali
    [J]. ICED: 2008 INTERNATIONAL CONFERENCE ON ELECTRONIC DESIGN, VOLS 1 AND 2, 2008, : 356 - 360
  • [2] A formal verification method of obligation policy in multi-agent system
    Tao, Zhang
    Hong, Xie
    Shao-Bin, Huang
    [J]. International Journal of u- and e- Service, Science and Technology, 2015, 8 (11) : 113 - 124
  • [3] Formal Verification of Open Multi-Agent Systems
    Kouvaros, Panagiotis
    Lomuscio, Alessio
    Pirovano, Edoardo
    Punchihewa, Hashan
    [J]. AAMAS '19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, 2019, : 179 - 187
  • [4] Formal Specification and Verification of Multi-Agent Systems
    Bourahla, Mustapha
    Benmohamed, Mohamed
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 123 : 5 - 17
  • [5] On the formal specification and verification of multi-agent systems
    Fisher, M
    Wooldridge, M
    [J]. INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 1997, 6 (01) : 37 - 65
  • [6] Formal specification of a multi-agent system architecture for manufacture:: the contribution of the π-calculus
    Dumond, Y
    Roche, C
    [J]. JOURNAL OF MATERIALS PROCESSING TECHNOLOGY, 2000, 107 (1-3) : 209 - 215
  • [7] Architecture of Multi-Agent System
    Tomasek, M.
    [J]. 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING ELEARNING TECHNOLOGIES AND APPLICATIONS (ICETA 2012), 2012, : 387 - 390
  • [8] Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework
    Moscato, Francesco
    Venticinque, Salvatore
    Aversa, Rocco
    Di Martino, Beniamino
    [J]. INTELLIGENT DISTRIBUTED COMPUTING, SYSTEMS AND APPLICATIONS, 2008, 162 : 187 - +
  • [9] THE ARCHITECTURE OF A HIGH-PERFORMANCE MULTI-AGENT MODELING SYSTEM
    Nabiullin, O. R.
    Norkin, V. M.
    [J]. BIZNES INFORMATIKA-BUSINESS INFORMATICS, 2008, 4 (02): : 48 - 60
  • [10] Pushdown Multi-Agent System Verification
    Murano, Aniello
    Perelli, Giuseppe
    [J]. PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 1090 - 1096
12345