Automated testing sequences generation from AUML diagrams: a formal verification of agents' interaction protocols.
Farid MokhatiMourad BadriLinda BadriFathi HamidaneSofiane BouazdiaPublished in: Int. J. Agent Oriented Softw. Eng. (2008)
Keyphrases
- formal verification
- interaction protocols
- agent systems
- multiagent systems
- multi agent systems
- multi agent
- model checking
- agent communication
- communicative acts
- automated verification
- bounded model checking
- model checker
- symbolic model checking
- intelligent agents
- agent technology
- multiple agents
- dynamic environments
- agent societies
- autonomous agents
- agent architecture
- agent model
- coalition formation
- temporal logic
- cooperative
- modal logic
- agent communication language
- resolve conflicts
- mobile agents
- electronic commerce