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 条
  • [1] Specification and Verification of an Agent-Based Auction Service
    Badica, Amelia
    Badica, Costin
    INFORMATION SYSTEMS DEVELOPMENT: TOWARDS A SERVICE PROVISION SOCIETY, 2009, : 239 - +
  • [2] Agent Verification Protocol in Agent-based IDS
    Nasir, LuqmanulHakim Mohd
    Seman, Kamaruzzaman
    Saudi, Madihah Mohd
    8TH IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY WORKSHOPS: CIT WORKSHOPS 2008, PROCEEDINGS, 2008, : 294 - 299
  • [3] Formal Verification of a Distributed Dynamic Reconfiguration Protocol
    Schultz, William
    Dardik, Ian
    Tripakis, Stavros
    PROCEEDINGS OF THE 11TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP '22), 2022, : 143 - 152
  • [4] Formal approach to agent-based dynamic reconfiguration in Networks-On-Chip
    Ostroumov, Sergey
    Tsiopoulos, Leonidas
    Plosila, Juha
    Sere, Kaisa
    JOURNAL OF SYSTEMS ARCHITECTURE, 2013, 59 (09) : 709 - 728
  • [5] Agent-Based Reconfiguration at Controller Level
    Priego, Rafael
    Gangoiti, Unai
    Orive, Dario
    Marcos, Marga
    2014 IEEE EMERGING TECHNOLOGY AND FACTORY AUTOMATION (ETFA), 2014,
  • [6] Reusable Specification of Agent-Based Models
    Fisher, David A.
    19TH IEEE INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE 2010), 2010, : 154 - 159
  • [7] An Agent-Based Approach for the Dynamic and Decentralized Service Reconfiguration in Collaborative Production Scenarios
    Rodrigues, Nelson
    Leitao, Paulo
    Oliveira, Eugenio
    INDUSTRIAL APPLICATIONS OF HOLONIC AND MULTI-AGENT SYSTEMS, 2017, 10444 : 140 - 154
  • [8] A novel dynamic agent scheduling algorithm for distributed agent-based applications
    Lin, J. (linjie.tongji@gmail.com), 1600, Binary Information Press, P.O. Box 162, Bethel, CT 06801-0162, United States (09):
  • [9] Agent-based reconfiguration and control of manufacturing systems
    Anosike, A
    Zhang, Z
    ADVANCES IN MANUFACTURING TECHNOLOGY - XVII, 2003, : 203 - 208
  • [10] Utilizing Electronic Institution For Protocol Specification In Agent-Based E-Learning System
    Abd Latif, Norizal
    Hassan, Mohd Fadzil
    Hasan, Mohd Hilmi
    2009 IEEE STUDENT CONFERENCE ON RESEARCH AND DEVELOPMENT: SCORED 2009, PROCEEDINGS, 2009, : 132 - 135
12345