Formal Specification of Multi-Agent Systems: A Real-World Case.
Frances M. T. BrazierBarbara Dunin-KepliczNick R. JenningsJan TreurPublished in: ICMAS (1995)
Keyphrases
- formal specification
- multi agent systems
- real world
- specification languages
- object oriented design
- specification language
- model checking
- process algebra
- data abstraction
- case study
- formal methods
- reverse engineering
- concurrent systems
- databases
- agent architecture
- game theory
- database
- object oriented
- relational databases
- database systems