Specification and Testing of E-Commerce Agents Described by Using UIOLTSs.
Juan José PardoManuel NúñezM. Carmen RuizPublished in: FMOODS/FORTE (2010)
Keyphrases
- multi agent systems
- multi agent
- multiagent systems
- agent mediated
- multiple agents
- autonomous agents
- intelligent agents
- reputation models
- cooperative
- software agents
- test case generation
- electronic commerce
- agent technology
- agent systems
- mobile agents
- artificial agents
- formal verification
- resource allocation
- reactive systems
- agent architecture
- formal specification
- single agent
- high level
- agent based simulation
- cognitive agents
- electronic marketplaces
- agent model
- coalition formation
- incomplete information
- test cases
- reasoning process
- learning agents
- business models
- agent communication language
- dynamic environments
- decision making
- agent receives