Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols.
Farid MokhatiNoura BoudiafMourad BadriLinda BadriPublished in: J. Object Technol. (2007)
Keyphrases
- formal verification
- interaction protocols
- agent systems
- multi agent systems
- multiagent systems
- model checking
- formal specification
- bounded model checking
- automated verification
- multi agent
- model checker
- agent communication
- communicative acts
- intelligent agents
- symbolic model checking
- agent technology
- cooperative
- multiple agents
- temporal logic
- mobile agents
- operational semantics
- autonomous agents
- dynamic environments
- mental states
- specification language
- agent communication language
- coalition formation
- resource allocation
- agent interactions
- software agents
- mobile robot
- agent model
- web services