A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude.
Farid MokhatiBrahim SahraouiSoufiane BouzaherMohamed Tahar KimourPublished in: J. Object Technol. (2010)
Keyphrases
- interaction protocols
- multiagent systems
- agent systems
- multi agent systems
- multi agent
- agent communication
- intelligent agents
- communicative acts
- autonomous agents
- multiple agents
- agent technology
- software agents
- agent societies
- mobile agents
- dynamic environments
- agent architecture
- software systems
- agent model
- sequence diagrams
- single agent
- interacting agents
- artificial agents
- agent receives
- software engineering
- interface agent
- coalition formation
- dynamic logic
- agent interactions
- object oriented
- reinforcement learning
- agent programming
- decision making
- cooperative