Checking The Correctness of Agent Designs Against Model-Based Requirements.
Yoosef B. AbusharkMichael WinikoffTim MillerJames HarlandJohn ThangarajahPublished in: ECAI (2014)
Keyphrases
- multi agent systems
- multi agent
- intelligent agents
- software agents
- agent systems
- multiagent systems
- autonomous agents
- dynamic environments
- agent technology
- agent architecture
- design principles
- multiple agents
- agent model
- agent oriented
- consistency checking
- cooperating agents
- decision making
- current situation
- fipa compliant
- design space
- model free
- application specific
- development process
- mobile agents
- bdi agents
- fully unsupervised
- cognitive agents
- interacting agents
- software engineering
- agent environment
- information systems