Back to Search
Start Over
A Formal Framework Supporting the Specification of the Interactions between Agents.
- Source :
- Informatica (03505596); Jan2006, Vol. 30 Issue 1, p97-110, 14p
- Publication Year :
- 2006
-
Abstract
- 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. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 03505596
- Volume :
- 30
- Issue :
- 1
- Database :
- Supplemental Index
- Journal :
- Informatica (03505596)
- Publication Type :
- Academic Journal
- Accession number :
- 20500208