A Formal Methodology to Specify Hierarchical Agent-Based Systems.
César AndrésCarlos MolineroManuel NúñezPublished in: SITIS (2008)
Keyphrases
- agent based systems
- agent systems
- multi agent systems
- dynamic environments
- reference architecture
- agent technology
- distributed systems
- hierarchical structure
- formal model
- software agents
- multiagent systems
- hierarchical structures
- database
- fuzzy logic
- data sets
- decision support system
- formal methods
- hierarchical model
- multiscale
- case study