Formal Specification and Prototyping of Multi-agent Systems.
Vincent HilaireAbder KoukamPablo GruerJean-Pierre MüllerPublished in: ESAW (2000)
Keyphrases
- formal specification
- multi agent systems
- code generation
- model checking
- specification languages
- object oriented design
- reverse engineering
- specification language
- formal methods
- process algebra
- data abstraction
- multi agent
- development process
- intelligent agents
- concurrent systems
- software components
- rapid prototyping
- multiagent systems
- cooperative
- agent architecture
- key features
- model checker
- software systems
- epistemic logic
- real world