Compositional Formal Specification of Multi-Agent Systems.
Barbara Dunin-KepliczJan TreurPublished in: ECAI Workshop on Agent Theories, Architectures, and Languages (1994)
Keyphrases
- formal specification
- multi agent systems
- model checking
- specification languages
- specification language
- object oriented design
- process algebra
- formal methods
- data abstraction
- game theory
- multi agent
- reverse engineering
- intelligent agents
- concurrent systems
- cooperative
- agent architecture
- software components
- artificial intelligence
- multiagent systems
- fine grained
- bounded model checking
- databases
- high level
- user interface
- software engineering
- temporal logic
- database