An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event B.
Leila Jemni Ben AyedFatma SialaPublished in: MSVVEIS (2008)
Keyphrases
- interaction protocols
- multi agent systems
- agent systems
- formal verification
- multi agent
- asynchronous circuits
- agent communication
- model checking
- protocol specification
- formal methods
- multiagent systems
- autonomous agents
- agent communication language
- intelligent agents
- software agents
- cooperative
- coalition formation
- software systems
- operational semantics
- communicative acts
- agent architecture
- game theory
- dynamic environments
- agent societies
- agent interactions
- artificial intelligence