Specification and verification of a dynamic reconfiguration protocol for agent-based applications

被引：0
|
作者：
Cornejo, MA [1 ]
Garavel, H [1 ]
Mateescu, R [1 ]
de Palma, N [1 ]
机构：
[1] INRIA Rhone Alpes, F-38330 Montbonnot St Martin, France
来源：
NEW DEVELOPMENTS IN DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS | 2001年 / 70卷
关键词：
compositional verification; distributed application; dynamic reconfiguration; LOTOS; mobile agent; model-checking; specification;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Dynamic reconfiguration increases the availability of distributed applications by allowing them to evolve at run-time. This paper deals with the formal specification and model-checking verification of a dynamic reconfiguration protocol used in industrial agent-based applications. Starting from a reference implementation in JAVA, we produced a specification of the protocol using the Formal Description Technique LOTOS. We also specified a set of temporal logic formulas characterizing the correct behaviour of each protocol primitive. Finally, we studied various finite state configurations of the protocol, on which we verified these requirements using the CADP protocol engineering tool set.
引用
收藏
页码：229 / 242
页数：14
相关论文
共 50 条
  • [21] Logic-based specification and verification of homogeneous dynamic multi-agent systems
    Riccardo De Masellis
    Valentin Goranko
    Autonomous Agents and Multi-Agent Systems, 2020, 34
  • [22] Logic-based specification and verification of homogeneous dynamic multi-agent systems
    De Masellis, Riccardo
    Goranko, Valentin
    AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2020, 34 (02)
  • [23] Specification and verification of a multi-agent coordination protocol with TLA+
    Arbs Paiva, Pedro Yuri
    Saotome, Osamu
    Brandauer, Christof
    2018 VIII BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING (SBESC 2018), 2018, : 207 - 212
  • [24] Development and Specification of a Reference Model for Agent-Based Systems
    Regli, William C.
    Mayk, Israel
    Dugan, Christopher J.
    Kopena, Joseph B.
    Lass, Robert N.
    Modi, Pragnesh Jay
    Mongan, William M.
    Salvage, Jeff K.
    Sultanik, Evan A.
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2009, 39 (05): : 572 - 596
  • [25] Formal design of dynamic reconfiguration protocol for cloud applications
    Abid, Rim
    Salauen, Gwen
    De Palma, Noel
    SCIENCE OF COMPUTER PROGRAMMING, 2016, 117 : 1 - 16
  • [26] Verification of Information Flow in Agent-Based Systems
    Sabri, Khair Eddin
    Khedri, Ridha
    Jaskolka, Jason
    E-TECHNOLOGIES-INNOVATION IN AN OPEN WORLD, 2009, 26 : 252 - 266
  • [27] Agent-based Model Checking Verification Framework
    Abu Bakar, Najwa
    Selamat, Ali
    2012 IEEE CONFERENCE ON OPEN SYSTEMS (ICOS 2012), 2012, : 233 - 236
  • [28] AgentTest: A specification language for agent-based system testing
    Babac, Marina Bagic
    Jevtic, Dragan
    NEUROCOMPUTING, 2014, 146 : 230 - 248
  • [29] SLABS: A formal specification language for agent-based systems
    Zhu, H
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2001, 11 (05) : 529 - 558
  • [30] Agent-based Security System for User Verification
    Dovgan, Erik
    Kaluza, Bostjan
    Tusar, Tea
    Gams, Matjaz
    2009 IEEE/WIC/ACM INTERNATIONAL JOINT CONFERENCES ON WEB INTELLIGENCE (WI) AND INTELLIGENT AGENT TECHNOLOGIES (IAT), VOL 3, 2009, : 331 - 334
12345