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, Dept Informat, Oum El Bouaghi, Algeria

[2] Univ Quebec Trois Rivieres, Dept Math & Informat, Trois Rivieres, PQ, Canada

来源：

INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS | 2007年 / 31卷 / 03期

关键词：

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.

引用

页码：337 / 350

页数：14

共 30 条

[11]

Mazouzi H., 2002, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems, P517

[12]

McCombs T., 2003, INTERNAL REPORT

[13]

MESEGUER J, 1990, LECT NOTES COMPUT SC, V458, P384

[14]

Meseguer J., 2000, FORMAL METHODS OPEN

[15]

Meseguer J., 1992, RES DIRECTIONS OBJEC

[16]

MOKHATI F, 2004, P MOCA 04 C ARRH DEN, P169

[17]

Mokhati F., 2004, P CSITEA 04 C CAIR E

[18]

Nathalie F., 2001, MODELISATION SIMULAT

[19]

Odell J., 2000, C AAAI AG 2000 BARC, P3

[20]

Odell J. J., 2001, Agent-Oriented Software Engineering. First International Workshop, AOSE 2000. Revised Papers (Lecture Notes in Computer Science Vol.1957), P121

← 1 2 3 →