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 条
  • [31] Development and Specification of a Reference Architecture for Agent-Based Systems
    Regli, William C.
    Mayk, Israel
    Cannon, Christopher T.
    Kopena, Joseph B.
    Lass, Robert N.
    Mongan, William M.
    Nguyen, Duc N.
    Salvage, Jeff K.
    Sultanik, Evan A.
    Usbeck, Kyle
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2014, 44 (02): : 146 - 161
  • [32] Agent-based dynamic part family formation for cellular manufacturing applications
    Baykasoglu, A.
    Gorkemli, L.
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2015, 53 (03) : 774 - 792
  • [33] A secure proxy signature protocol for agent-based M-commerce applications
    Bamasak, O
    Zhang, N
    ISCC2004: NINTH INTERNATIONAL SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1 AND 2, PROCEEDINGS, 2004, : 399 - 406
  • [34] Specification and verification of applications based on function blocks
    Zhang, Wei
    Halang, Wolfgang A.
    Dietrich, Christian
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2005, 3778 LNCS : 8 - 34
  • [35] Agent-based Reconfiguration in a Micro-flow Production Cell
    Dias, Jose
    Vallhagen, Johan
    Barbosa, Jose
    Leitao, Paulo
    2017 IEEE 15TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2017, : 1123 - 1128
  • [36] Specification and verification of applications based on function blocks
    Zhang, W
    Halang, WA
    Dietrich, C
    COMPONENT-BASED SOFTWARE DEVELOPMENT FOR EMBEDDED SYSTEMS: AN OVERVIEW OF CURRENT RESEARCH TRENDS, 2005, 3778 : 8 - 34
  • [37] Agent-Based Approach to Distributed Information and Control System Reconfiguration
    Melnik, Eduard
    Klimenko, Anna
    CYBERNETICS APPROACHES IN INTELLIGENT SYSTEMS: COMPUTATIONAL METHODS IN SYSTEMS AND SOFTWARE 2017, VOL. 1, 2018, 661 : 196 - 205
  • [38] PROTOCOL SPECIFICATION, TESTING AND VERIFICATION
    不详
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1984, 8 (01): : 57 - 65
  • [39] PROTOCOL SPECIFICATION, TESTING AND VERIFICATION
    不详
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1984, 8 (02): : 146 - 155
  • [40] PROTOCOL SPECIFICATION, TESTING AND VERIFICATION
    不详
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1985, 10 (3-4): : 231 - 237
12345