Formal Specification of Matchmakers, Front-agents, and Brokers in Agent Environments using FSP.
Amelia BadicaCostin BadicaPublished in: MSVVEIS (2008)
Keyphrases
- formal specification
- multi agent systems
- software agents
- multiple agents
- multi agent
- multiagent systems
- autonomous agents
- dynamic environments
- intelligent agents
- multi agent environments
- agent systems
- artificial agents
- model checking
- agent architecture
- interacting agents
- agent model
- open environments
- specification language
- object oriented design
- specification languages
- heterogeneous agents
- inter agent
- decentralized control
- autonomous entities
- agent technology
- single agent
- agent receives
- open systems
- agent environment
- communicating agents
- mobile agents
- agent behavior
- process algebra
- cooperative
- action selection
- interface agent
- agent interactions
- social welfare
- cognitive agents
- formal methods
- reverse engineering
- concurrent systems
- reinforcement learning
- bdi agents
- decision making
- distributed systems
- protocol specification
- temporal logic
- database
- data model
- knowledge based systems
- fine grained
- negotiation strategies
- learning agent