A Formal Framework Supporting the Specification of the Interactions between Agents

被引：0
|
作者：
Mokhati, Farid [1 ]
Badri, Mourad [2 ]
Badri, Linda [2 ]
机构：
[1] Univ Oum El Bouaghi Algerie, Dept Informat, Oum El Bouaghi, Algeria
[2] Univ Quebec Trois Rivieres, Dept Math & Informat, Trois Rivieres, PQ, Canada
来源：
INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS | 2006年 / 30卷 / 01期
关键词：
multi-agent systems; RCA; Maude; translation; behavior; interactions; formal specification; verification and validation;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper we present a formal framework supporting the translation of interactions between agents (the interactions are described with the help of the RCA formalism) in a Maude specification. Based on rewriting logic, the formal and object-oriented language Maude supports formal specification and programming for a wide range of applications. The main motivations of our work are essentially: (1) to formally specify the behavior of multi-agent systems and (2) to provide a solid basis for their verification and validation. The translation process is illustrated by means of a real case study.
引用
收藏
页码：97 / 110
页数：14
相关论文
共 50 条
  • [1] A formal framework supporting the specification of the interactions between agents
    Mokhati, Farid
    Badri, Mourad
    Badri, Linda
    Informatica (Ljubljana), 2007, 31 (03) : 337 - 350
  • [2] Formal Framework Supporting the Specification of the Interactions between Agents
    Mokhati, Farid
    Badri, Mourad
    Badri, Linda
    INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2007, 31 (03): : 337 - 350
  • [3] Formal Specification of the Framework for NSSA
    Bhandari, Pardeep
    Singh, Manpreet
    2ND INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTING, COMMUNICATION & CONVERGENCE, ICCC 2016, 2016, 92 : 23 - 29
  • [4] SPECTRUM - A formal specification framework
    不详
    FORMAL FOUNDATIONS FOR SOFTWARE ENGINEERING METHODS, 1997, 1322 : 27 - 36
  • [5] Formal specification of evolutionary software agents
    Zhu, H
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 249 - 261
  • [6] Games that agents play: A formal framework for dialogues between autonomous agents
    McBurney P.
    Parsons S.
    Journal of Logic, Language and Information, 2002, 11 (3) : 315 - 334
  • [7] A framework for formal specification of embedded systems
    Bures, F
    Rysavy, O
    Scuglik, F
    Sveda, M
    12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, Proceedings, 2005, : 323 - 330
  • [8] Towards a formal framework for the search of a consensus between autonomous agents
    Amgoud, Leila
    Belabbes, Sihem
    Prade, Henri
    ARGUMENTATION IN MULTI-AGENT SYSTEMS, 2006, 4049 : 264 - 278
  • [9] A formal specification framework for smart grid components
    Akram, Waseem
    Niazi, Muaz A.
    COMPLEX ADAPTIVE SYSTEMS MODELING, 2018, 6
  • [10] A formal specification of interaction widgets hierarchy framework
    Wang, L. J.
    Sajeev, A. S. M.
    Inchaiwong, L.
    THIRD INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, PROCEEDINGS, 2006, : 658 - +
12345