Using RSL for the Formal Specification of PopOrg-based Multiagent Systems Organizations.
Raquel de Miranda BarbosaAntônio Carlos da Rocha CostaPublished in: WEIT (2011)
Keyphrases
- multiagent systems
- formal specification
- specification languages
- object oriented design
- multi agent
- specification language
- model checking
- information technology
- process algebra
- concurrent systems
- information systems
- formal methods
- autonomous agents
- reverse engineering
- multiagent reinforcement learning
- multiagent planning
- multi agent systems
- design methodologies
- coalition formation
- distributed artificial intelligence
- design methodology
- knowledge management
- machine learning
- decentralized control
- business rules
- service oriented
- decision making
- artificial intelligence