From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems.
Leila Jemni Ben AyedFatma SialaPublished in: COMPSAC (2008)
Keyphrases
- interaction protocols
- multi agent systems
- formal verification
- agent systems
- protocol specification
- multi agent
- asynchronous circuits
- agent communication
- model checking
- agent communication language
- formal methods
- formal specification
- autonomous agents
- multiagent systems
- intelligent agents
- cooperative
- communicative acts
- operational semantics
- uml diagrams
- game theory
- software agents
- model checker
- coalition formation
- agent technology
- dynamic environments
- agent interactions
- platform independent
- sequence diagrams
- agent societies
- agent architecture
- learning algorithm