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