文章基本信息

标题：A Formal Framework Supporting the Specification of the Interactions between Agents
本地全文：下载
作者：F. Mokhati ; M. Badri ; L. Badri 等
期刊名称：Informatica
印刷版ISSN：1514-8327
电子版ISSN：1854-3871
出版年度：2006
卷号：30
期号：1
出版社：The Slovene Society Informatika, Ljubljana
摘要：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. Povzetek: Opisano je prevajanje interakcij med agenti.
关键词：multi-agent systems; RCA; Maude; translation; behavior; interactions; formal specification;verification and validation.